On the enactability of business protocols

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2008, Pages 1126-1131

  Desai, Nirmit ^a   Singh, Munindar P ^b  

^a IBM INDIA RESEARCH LAB   (India)

^b North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIONICS;

BUSINESS INTERACTIONS; BUSINESS PROTOCOLS; CAUSAL LOGICS; DECISION PROCEDURES; NECESSARY AND SUFFICIENT CONDITIONS; SET OF RULES;

THEOREM PROVING;

EID: 57749188042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Baldoni, M., Baroglio, C., Martelli, A., and Patti, V. 2005. Verification of protocol conformance and agent interoperability. CLIMA VI, 265-283.
2. Bultan, T., Su, J., and Fu, X. 2006. Analyzing conversations of web services. Internet Computing 10(1): 18-25.
3. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., and Zavattaro, G. 2006. Choreography and orchestration conformance for system design. COORDINATION, 63-81.
4. Chopra, A. K. and Singh, M. P. 2008. Constitutive interoperability. In AAMAS. To appear.
5. Desai, N. and Singh, M. P. 2004. Protocol-based business process modeling and enactment. ICWS, 35-42.
6. Desai, N., Chopra, A. K., Arrott, M., Specht, B., and Singh, M. P. 2007. Engineering foreign exchange processes via commitment protocols. SCC, 514-521.
7. Endriss, U., Maudet, N., Sadri, F., and Toni, F. 2003. Protocol conformance for logic-based agents. IJCAI, 679-684.
8. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., and Turner, H. 2004. Nonmonotonic causal theories. Artificial Intelligence 153(1-2):49-104.
9. Khalaf, R. 2007. From RosettaNet PIPs to BPEL processes. Data and Knowledge Engineering 61 (1):23-38.
10. Ladkin, P. B. and Leue, S. 1995. Interpreting message flow graphs. Formal Aspects of Computing 7(5):473-509.
11. Malone, T. W., Crowston, K., and Herman, G. A., eds. 2003. Organizing Business Knowledge. MIT Press.
12. Singh, M. P. and Huhns, M. N. 2005. Service-Oriented Computing: Semantics, Processes, Agents. Wiley.
13. Singh, M. P. 1999. An ontology for commitments in multiagent systems. Artificial Intelligence and Law 7:97-113.
14. Yang, H., Zhao, X., Qiu, Z., Pu, G., and Wang, S. 2006. A formal model for web service choreography description language (WS-CDL). ICWS, 893-894.
15. Zaha, J. M., Dumas, M., Hofstede, A. T., Barros, A., and Decker, G. 2006. Service interaction modeling. EDOC, 45-55.