Fundamentals of database systems (2nd ed.)
Fundamentals of database systems (2nd ed.)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Engineering Societies in the Agents World VIII
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Semantics and verification of information-based protocols
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Declarative choreographies for artifacts
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Norms as a basis for governing sociotechnical systems
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
| Hi-index | 0.01 |
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing features. First, it treats a protocol as an engineering abstraction in its own right. Second, it models a protocol in terms of the information that the protocol needs to proceed (so agents enact it properly) and the information the protocol would produce (when it is enacted). Third, it naturally maps traditional operational constraints to the information needs of protocols, thereby obtaining the desired interactions without additional effort or reasoning. Fourth, our approach naturally supports shared nothing enactments: everything of relevance is included in the communications and no separate global state need be maintained. Fifth, our approach accommodates, but does not require, formal representations of the meanings of the protocols. We evaluate this approach via examples from the literature.