A Process algebraic framework for service coordination

A. Badica; C. Badica; E. Popescu; M. Scafes

doi:10.1109/SACI.2009.5136303

A Process algebraic framework for service coordination

Badica, A., Badica, C., Popescu, E., Scafes, M.

Source

2009 5th International Symposium on Applied Computational Intelligence and Informatics > 515 - 520

Abstract

We propose a formal framework based on finite state process algebra for modeling service coordination in agent systems. The model is inspired by WS-coordination specification. Several participant agents can coordinate their actions towards reaching a semantically consistent outcome in a distributed activity. The model defines coordinator and participant agents and their generic interaction protocols and allows integration of application specific protocols by means of protocol handlers. The approach is demonstrated by a sample model showing how coordination is achieved between a set of agents involved in contracting activities.