D-CIS Publication Database

Publication

Type of publication:Inproceedings
Entered by:
Title
Bibtex cite ID
Booktitle Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics (SACI'2009)
Year published 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.
Authors
Badica, Amelia
Badica, Costin
Popescu, Elvira
Scafes, Mihnea
Topics
=SEE CLASSIFICATION DIFFERENCE FROM OTHERS=
BibTeXBibTeX
RISRIS
Attachments
saci2009.pdf (main file)
 
Total mark: 5