Sciweavers

8 search results - page 2 / 2
» Formal Conversations for the Contract Net Protocol
Sort
View
ATAL
2005
Springer
13 years 7 months ago
A formal framework for agent interaction semantics
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
Shamimabi Paurobally, Jim Cunningham, Nicholas R. ...
KESAMSTA
2010
Springer
13 years 3 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
ESWS
2005
Springer
13 years 11 months ago
Optimally Distributing Interactions Between Composed Semantic Web Services
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
Ion Constantinescu, Walter Binder, Boi Faltings