Specifying and verifying cross-organizational business models: An agent-oriented approach

IEEE Transactions on Services Computing

Volumn 5, Issue 3, 2012, Pages 305-318

  Telang, Pankaj R ^a   Singh, Munindar P ^a  

^a North Carolina State University   (United States)

Author keywords

Methodologies; model checking; patterns; specification

Indexed keywords

AGENT-ORIENTED APPROACH; BUSINESS MODELS; BUSINESS PARTNERS; BUSINESS PROCESS; CONTRACTUAL RELATIONSHIPS; DATA FLOW; HETEROGENEOUS SOFTWARE; HIGH-LEVEL ABSTRACTION; HIGH-LEVEL MODELS; LOW LEVEL; METHODOLOGIES; OPERATIONAL MODEL; PATTERNS; PRODUCTS AND SERVICES; TEMPORAL MODELS;

ABSTRACTING; MODEL CHECKING; SPECIFICATIONS;

INDUSTRY;

EID: 84865693874     PISSN: 19391374     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSC.2011.4     Document Type: Article

References (30)

1. N. Desai, A.K. Chopra, and M.P. Singh, "Amoeba: A Methodology for Modeling and Evolution of Cross-Organizational Business Processes," ACM Trans. Software Eng. and Methodology, vol. 19, no. 2, pp. 6:1-6:45, Oct. 2009.
2. M.P. Singh and M.N. Huhns, Service-Oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, 2005.
3. BPEL, "Web Services Business Process Execution Language, Version 2.0," http://docs.oasis-open.org/wsbpel/2.0, July 2007.
4. WS-CDL, "Web Services Choreography Description Language Version 1.0," www.w3.org/TR/ws-cdl-10, Nov. 2005.
5. M. Winikoff, "Designing Commitment-Based Agent Interactions," Proc. IEEE/WIC/ACM Int'l Conf. Intelligent Agent Technology, pp. 363-370, 2006. (Pubitemid 351210147)
6. N. Fornara and M. Colombetti, "Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology," Proc. Seventh AAMAS Workshop Declarative Agent Languages and Technologies, pp. 101-118, 2009.
7. M.P. Singh, "An Ontology for Commitments in Multiagent Systems," Artificial Intelligence and Law, vol. 7, pp. 97-113, 1999.
8. UML 2.0 Superstructure Specification, Object Management Group, Oct. 2004.
9. P.R. Telang and M.P. Singh, "Business Modeling via Commitments," Proc. Seventh AAMAS Workshop Service-Oriented Computing: Agents, Semantics, and Eng. (SOCASE), LNCS 5907, pp. 111-125, Springer, 2009.
10. M.B. van Riemsdijk, M. Dastani, and M. Winikoff, "Goals in Agent Systems: A Unifying Framework," Proc. Seventh Int'l Conf. Autonomous Agents and Multiagent Systems (AAMAS), pp. 713-720, 2008.
11. M.P. Singh, A.K. Chopra, and N. Desai, "Commitment-Based Service-Oriented Architecture," IEEE Computer, vol. 42, no. 11, pp. 72-79, Nov. 2009.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Professional Computing Series. Addison-Wesley, 1995.
13. P. Yolum and M.P. Singh, "Enacting Protocols by Commitment Concession," Proc. Sixth Int'l Conf. Autonomous Agents and MultiAgent Systems, pp. 116-123, May 2007.
14. E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking. The MIT Press, 1999.
15. B. Hofreiter, C. Huemer, P. Liegl, R. Schuster, and M. Zapletal, "UN/CEFACT's Modeling Methodology (UMM): A UML Profile for B2B e-Commerce," Proc. Second Int'l Workshop Best Practices of UML, pp. 19-31, 2006. (Pubitemid 44850616)
16. L. Bodenstaff, A. Wombacher, M. Reichert, and R. Wieringa, "MaDe4IC: An Abstract Method for Managing Model Dependencies in Inter-Organizational Cooperations," Service Oriented Computing and Applications, vol. 4, pp. 203-228, 2010.
17. F. Rosenberg, A. Michlmayr, and S. Dustdar, "Top-Down Business Process Development and Execution Using Quality of Service Aspects," Enterprise Information Systems, vol. 2, pp. 459-475, 2008.
18. Z. Milosevic, S. Sadiq, and M. Orlowska, "Translating Business Contract into Compliant Business Processes," Proc. IEEE 10th Int'l Enterprise Distributed Object Computing Conf., pp. 211-220, 2006. (Pubitemid 351175450)
19. J. Gordijn and R. Wieringa, "A Value-Oriented Approach to EBusiness Process Design," Proc. 15th Int'l Conf. Advanced Information Systems Eng., pp. 390-403, 2003.
20. P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, "Tropos: An Agent-Oriented Software Development Methodology," Autonomous Agents and Multi-Agent Systems, vol. 8, no. 3, pp. 203-236, 2004. (Pubitemid 39019798)
21. P.R. Telang and M.P. Singh, "Enhancing Tropos with Commitments," Proc. Conceptual Modeling: Foundations and Applications, pp. 417-435, 2009.
22. M. El-Menshawy, J. Bentahar, and R. Dssouli, "Enhancing Engineering Methodology for Communities of Web Services," Proc. Second Multi-Agent Logics, Languages, and Organisations Federated Workshop, vol. 494, 2009.
23. H. Weigand, V. Dignum, J.-J. C. Meyer, and F. Dignum, "Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts," Eng. Societies in the Agents World III, pp. 257-269, 2002. (Pubitemid 36599173)
24. V. Dignum, J.-J.C. Meyer, F. Dignum, and H. Weigand, "Formal Specification of Interaction in Agent Societies," Proc. Formal Approaches to Agent-Based Systems, pp. 37-52, 2002.
25. V.R. Avali and M.N. Huhns, "Commitment-Based Multiagent Decision Making," Proc. 12th Int'l Workshop Cooperative Information Agents, pp. 249-263, 2008.
26. A. Fuxman, J. Mylopoulos, M. Pistore, and P. Traverso, "Model Checking Early Requirements Specifications in Tropos," Proc. IEEE Fifth Int'l Symp. Requirements Eng. (RE), pp. 174-181, 2001. (Pubitemid 32878092)
27. V. Pijpers and J. Gordijn, "Consistency Checking Between Value Models and Process Models: A Best-of-Breed Approach," Proc. Third Int'l Workshop Business/IT Alignment and Interoperability (BUSITAL), pp. 58-72, 2008.
28. S. Browne and M. Kellett, "Insurance (Motor Damage Claims) Scenario," CrossFlow Consortium, Document Identifier D1.a, 1999.
29. P.R. Telang and M.P. Singh, "Abstracting and Applying Business Modeling Patterns from RosettaNet," Proc. Eighth Int'l Conf. Service-Oriented Computing, LNCS 6470, pp. 426-440, Springer, 2010.
30. RosettaNet, "Overview: Clusters, Segments, and PIPs," http://www.rosettanet.org, 2008.