Issue No. 03 - Third Quarter (2012 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSC.2011.4
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
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.
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
M. P. Singh and P. R. Telang, "Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach," in IEEE Transactions on Services Computing, vol. 5, no. , pp. 305-318, 2012.