ML Anthology

On the Enactability of Business Protocols

Nirmit Desai, Munindar P. Singh
AAAI 2008 pp. 1126-1131
/aaai/2008/desai2008aaai-enactability/

Abstract

Protocols specifying business interactions among au-tonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a distributed manner by (agents playing) different roles. Each role describes a local representation. An ill-specified protocol may yield roles that fail to produce correct enact-ments of the protocol. Existing approaches lack a formal and comprehensive treatment of this problem. Building on recent work on declaratively specifying a protocol as a set of rules of causal logic, this paper formally defines the enactability of protocols. It presents necessary and sufficient conditions for the enactability of a protocol as well as a decision procedure for extracting correct roles from enactable protocols.

PDF AAAI Semantic Scholar

Cite

Text

Desai and Singh. "On the Enactability of Business Protocols." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Desai and Singh. "On the Enactability of Business Protocols." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/desai2008aaai-enactability/)

BibTeX

@inproceedings{desai2008aaai-enactability,
  title     = {{On the Enactability of Business Protocols}},
  author    = {Desai, Nirmit and Singh, Munindar P.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1126-1131},
  url       = {https://mlanthology.org/aaai/2008/desai2008aaai-enactability/}
}