Protocols for processes: Programming in the large for open systems

ACM SIGPLAN Notices

Volumn 39, Issue 12, 2004, Pages 73-83

  Singh, Munindar P ^a   Chopra, Amit K ^a   Desai, Nirmit ^a   Mallya, Ashok U ^a  

^a North Carolina State University   (United States)

Author keywords

Business Processes; Interaction Protocols; Open Systems

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; INFORMATION MANAGEMENT; NETWORK PROTOCOLS;

BUSINESS PROCESSES; INTERACTION PROTOCOLS; JOB CONTROL LANGUAGES (JCL); MEGAPROGRAMMING;

OPEN SYSTEMS;

EID: 14544274183     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1052883.1052893     Document Type: Article

References (42)

1. BPEL. Business process execution language for web services, version 1.1, May 2003. www-106.ibm.com/developerworks/webservices/library/ws-bpel.
2. Tevfik Bultan, Xiang Fu, Richard Hull, and Jianwen Su. Conversation specification: A new approach to design and analysis of e-service composition. In Proceedings of the Twelfth International World Wide Web Conference (WWW), pages 403-410, 2003.
3. Doug Bunting, Martin Chapman, Oisin Hurley, Mark Little, Jeff Mischkinsky, Eric Newcomer, Jim Webber, and Keith Swenson. Web services composite application framework (WS-CAF), July 2003. http://www.iona.com/ devcenter/standards/WS-CAF/WS-CAF.pdf.
4. Christoph Bussler, Dieter Fensel, and Alexander Maedche. A conceptual architecture for semantic Web enabled Web services. ACM SIGMOD Record, 31(4):24-29, December 2002.
5. Stefan Bussmann, Nicholas R. Jennings, and Michael Wooldridge. Re-use of interaction protocols for agent-based applications. In Proceedings of the 3rd International Workshop on Agent-Oriented Software Engineering, 2002.
6. Felipe Cabrera, George Copeland, Bill Cox, Tom Freund, Johannes Klein, Tony Storey, and Satish Thatte. Web services transaction (WS-Transaction), August 2002. http://www-106.ibm.com/developerworks/webservices/library/ws- transpec/.
7. Luis Felipe Cabrera, George Copeland, William Cox, Max Feingold, Tom Freund, Jim Johnson, Chris Kaler, Johannes Klein, David Langworthy, Anthony Nadalin, David Orchard, Ian Robinson, John Shewchuk, and Tony Storey. Web services coordination (WS-Coordination), September 2003. ftp://www6.software. ibm.com/software/developer/library/ws-coordination.pdf.
8. Jorge Cardoso and Amit Sheth. Semantic e-workflow composition. Journal of Intelligent Information Systems (JIIS), 12(3): 191-225, November 2003.
9. Amit Chopra and Munindar P. Singh. Nonmonotonic commitment machines. In Frank Dignum, editor, Advances in Agent Communication: Proceedings of the 2003 AAMAS Workshop on Agent Communication Languages, LNAI. Springer-Verlag, 2003.
10. Collaxa. Collaxa BPEL orchestration server, 2003. http://www.collaxa.com/ home.index.jsp.
11. Sanjay Dalal, Sazi Temel, Mark Little, Mark Potts, and Jim Webber. Coordinating business transactions on the Web. IEEE Internet Computing, 7(1):30-39, January 2003.
12. DAML-S. DAML-S: Web service description for the semantic Web. In Proceedings of the 1st International Semantic Web Conference (ISWC), July 2002. Authored by the DAML Services Coalition, which consists of (alphabetically) Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Drew McDermott, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne and Katia Sycara.
13. Frank DeRemer and Hans H. Kron. Programming-in-the-large versus programming-in-the small. IEEE Transactions on Software Engineering, 2(2):80-86, June 1976.
14. ebXML. Electronic business using extensible markup language, 2002. Technical Specifications release, URL: http://www.ebxml.org/specs/index.htm.
15. E. Allen Emerson. Temporal and modal logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. North-Holland, Amsterdam, 1990.
16. Escrow.com. Online escrow process, 2003. http://www.escrow.com/solutions/ escrow/process.asp.
17. Nicoletta Fornara and Marco Colombetti. Defining interaction protocols using a commitment-based agent communication language. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 520-527. ACM Press, July 2003.
18. Benjamin N. Grosof and Terrence C. Poon. SweetDeal: Representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In Proceedings of the 12th International Conference on the World Wide Web, pages 340-349, 2003.
19. David Harel and Eran Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31-42, July 1997.
20. Wesley Newcomb Hohfeld. Fundamental Legal Conceptions as Applied in Judicial Reasoning and other Legal Essays. Yale University Press, New Haven, CT, 1919. A 1919 printing of articles from 1913.
21. IOTP. Internet open trading protocol (IOTP), October 2003. IETF: Internet Engineering Task Force, http://www.ietf.org/html.charters/trade-charter.html.
22. Mark W. Johnson, Peter McBurney, and Simon Parsons. When are two protocols the same? In Marc-Philippe Huget, editor, Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies, volume 2650 of LNAI, pages 253-268. Springer-Verlag, Berlin, 2003.
23. Tom Krazit. Intel conducts $5b in transactions via RosettaNet, December 2002. http://archive.infoworld.com/articles/hn/xml/02/12/10/ 021210hnintelrose.xml.
24. Thomas W. Malone, Kevin Crowston, and George A. Herman, editors. Organizing Business Knowledge: The MIT Process Handbook. MIT Press, Cambridge, MA, 2003.
25. Deborah L. McGuiness and Frank van Harmelen. Web Ontology Language (OWL): Overview. www.w3.org/TR/2003/WD-owl-features-20030210/, February 2003. W3C working draft.
26. Sheila A. McIlraith, Tran Cao Son, and Honglei Zeng. Semantic Web services. IEEE Intelligent Systems, 16(2):46-53, March 2001.
27. L. Greg Meredith and Steve Bjorg. Contracts and types. Communications of the ACM, 46(10):41-47, October 2003.
28. Robin Milner. The polyadic pi-calculus: A tutorial. TR LFCS report ECS-LFCS-91-180, School of Informatics, University of Edinburgh, 1991.
29. Chris Peltz. Web service orchestration and choreography. IEEE Computer, 36(10):46-52, October 2003.
30. RosettaNet. Homepage, 1998. www.rosettanet.org.
31. SET. Secure electronic transactions (SET) specifications, 2003. http://www.setco.org/set_specifications.html.
32. Munindar P. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, 31(12):40-47, December 1998.
33. Munindar P. Singh. An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7:97-113, 1999.
34. Marvin A. Sirbu. Credits and debits on the Internet. IEEE Spectrum, 34(2):23-29, February 1997.
35. Satish Thatte. XLANG, Web services for business process design, 2001. www.gotdotnet.com/team/xml-wsspecs/xlang-~c/default.htm.
36. Egon M. Verharen. A Language-Action Perspective on the Design of Cooperative Information Agents. Catholic University, Tilburg, Holland, 1997.
37. Gio Wiederhold, Peter Wegner, and Stefano Ceri. Toward megapro-gramming. Communications of the ACM, 35(11):89-99, November 1992.
38. Lucian Wischik. Process calculi for Web choreography, March 2003. http://www.wischik.com/lu/research/lucian-piforweb-w3c-mar2003-handout.pdf.
39. WSCI. Web service choreography interface 1.0, July 2002. wwws.sun.com/software/xml/developers/wsci/wsci-spec-10.pdf.
40. George M. Wyner and Jintae Lee. Defining specialization for process models. In Malone et al. [2003], chapter 5, pages 131-174. MIT Press, 2003.
41. Pinar Yolum and Munindar P. Singh. Flexible protocol specification and execution: Applying event calculus planning using commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pages 527-534. ACM Press, July 2002.
42. Pinar Yolum and Munindar P. Singh. Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence, 8(I-II):47-71, 2003.