The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - Third Quarter (2012 vol.5)
pp: 305-318
P. R. Telang , Dept. of Comput. Sci., NC State Univ., Raleigh, NC, USA
M. P. Singh , Dept. of Comput. Sci., NC State Univ., Raleigh, NC, USA
ABSTRACT
Cross-organizational business processes are routine in today's economy. Of necessity, enterprises conduct their business in cooperation to create products and services for the marketplace. Thus business processes inherently involve autonomous partners with heterogeneous software designs and implementations. Therefore, it would be natural to model such processes via high-level abstractions that reflect the contractual relationships among the business partners. Yet, in today's IT practice, cross-organizational processes are modeled at a low level of abstraction in terms of the control and data flow among the participants. This paper makes the following contributions. First, it proposes a simple, yet expressive, declarative way to specify business models at a high level based on the notion of commitments. Second, it shows how such a high-level model maps to a conventional operational model. Third, it provides a basis for verifying the correctness of the operational representations with respect to the declarative business model using existing temporal model checking tools. This paper validates the above claims using the well-known Quote To Cash business process, e.g., as supported by vendors such as SAP and applied in large enterprises. In this manner, this paper helps bridge the gap between high-level business models and their IT realizations.
INDEX TERMS
organisational aspects, business data processing, formal specification, formal verification, multi-agent systems, high-level business models, cross-organizational business model specification, cross-organizational business model verification, agent-oriented approach, heterogeneous software designs, high-level abstractions, cross-organizational process, conventional operational model, operational representation verification, declarative business model, temporal model checking tools, quote to cash business process, SAP, Unified modeling language, Biological system modeling, Analytical models, Computational modeling, Contracts, Marine vehicles, model checking., Methodologies, patterns, specification
CITATION
P. R. Telang, M. P. Singh, "Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach", IEEE Transactions on Services Computing, vol.5, no. 3, pp. 305-318, Third Quarter 2012, doi:10.1109/TSC.2011.4
REFERENCES
[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/wsbpel2.0, July 2007.
[4] WS-CDL, "Web Services Choreography Description Language Version 1.0," www.w3.org/TRws-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.
[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.
[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.
[19] J. Gordijn and R. Wieringa, "A Value-Oriented Approach to E-Business 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.
[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.
[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.
[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.
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool