@INPROCEEDINGS {,
  title = {A Process Algebraic Framework for Service Coordination},
  author = {Badica, Amelia and Badica, Costin and Popescu, Elvira and Scafes, Mihnea},
  booktitle = {Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics (SACI'2009)},
  year = {2009},
  month = {May},
  pages = {515--520},
  publisher = {IEEE Press},
  location = {Timisoara, Romania},
  note = {IEEE Catalog Number: CFP0945C-CDR},
  keywords = {process algebra, service coordination, formal model},
  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.},
}