Hafedh Mili
Skip Abstract Section
Abstract
Requirements capture is arguably the most important step in software engineering, and yet the most difficult and the least formalized one [Phalp and Shepperd 2000]. Enterprises build information systems to support their business processes. Software engineering research has typically focused on the development process, starting with user requirements—if that—with business modeling often confused with software system modeling [Isoda 2001]. Researchers and practitioners in management information systems have long recognized that understanding the business processes that an information system must support is key to eliciting the needs of its users (see e.g., Eriksson and Penker 2000]), but lacked the tools to model such business processes or to relate such models to software requirements. Researchers and practitioners in business administration have long been interested in modeling the processes of organizations for the purposes of understanding, analyzing, and improving such processes [Hammer and Champy 1993], but their models were often too coarse to be of use to software engineers. The advent of ecommerce and workflow management systems, among other things, has led to a convergence of interests and tools, within the broad IT community, for modeling and enabling business processes. In this article we present an overview of business process modeling languages. We first propose a categorization of the various languages and then describe representative languages from each family.
- Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, A., and Weerawarana, S. 2003. Business process execution language for web services, version 1.1. http://www.ibm.com/developerworks/library/ws-bpel/.Google Scholar
- Barros, A., Dumas, M., and Oaks, P. 2005. A critical overview of the web services choreography description language (WS-CDL). http://www.bptrends. com/publicationfiles/03--05 WP WS-CDL Barros et al.pdf.Google Scholar
- Bolognesi, T. and Brinksma, E. 1987. Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst.14, 25--59. Google ScholarDigital Library
- Booch, G., Rumbauch, J., and Jacobson, I. 1999. The Unified Modeling Language User Guide. Addison-Wesley, Reading, MA. Google ScholarDigital Library
- BPMI. 2003. Business Process Modeling Language. Business Process Management Institute.Google Scholar
- Brooks, F. 1987. No silver bullet: Essence and accidents of software engineering. Computer 20, 4, 10--19. Google ScholarDigital Library
- Carlson, W. M. 1979. Business information analysis and integration technique (BIAIT)--The new horizon. Data Base 10, 4, 3--9. Google ScholarDigital Library
- Carbone, M., Honda, K., and Yoshida, N. 2007. Structured communication-centered programming for Web services. In Proceedings of the 16th European Symposium on Programming (ESOP). R. De Nicola Ed., Lecture Notes in Computer Science, vol. 4421, Springer, Berlin, 2--17. Google ScholarDigital Library
- Coad, P. and Yourdon, E. 1989. Object-Oriented Analysis. 1st Ed. Prentice-Hall, Englewood Cliffs, NJ. Google ScholarDigital Library
- Coleman, D., Arnold, P., Bodoff, S., Dollin, C., and Gilchrist, H. 1994. Object-Oriented Development: The Fusion Method. Prentice-Hall, Englewood Cliffs, NJ. Google ScholarDigital Library
- Curtis, B., Kellner, M.I., and Over, J. 1992. Process modeling. Comm. ACM 35, 9, 75--90. Google ScholarDigital Library
- Dayal, U., Hsu, M., and Ladin, R. 2001. Business process coordination: State of the art, trends and open issues. In Proceedings of the 27th International Conference on Very Large Data Bases (VLDB'01). 3--13. Google ScholarDigital Library
- Dijkman, R. and Dumas, M. 2004. Service-oriented design: A multi-viewpoint approach. Int. J. Coop, Inform. Syst. 13, 4, 337--378.Google ScholarCross Ref
- Dogac, A., Tambag, Y., Pembecioglu, P., Pektas, S., Laleci, G., Kurt, G., Toprak, S., and Kabak, Y. 2002. An ebXML infrastructure implementation through UDDI registries and RosettaNet PIPs. In Proceedings of the ACM SIGMOD Conference. ACM, New York, 512--523. Google ScholarDigital Library
- Dussart, A., Aubert, B., and Patry, M. 2002. An Evaluation of inter-organizational workflow modeling formalisms. Tech. rep. 2002 s-64, CIRANO. http://www.cirano. qc. ca.Google Scholar
- ebXML. 2001a. ebXML Business process specification schema version 1.01. www.ebxml.org/specs/ebBPSS.pdf.Google Scholar
- ebXML. 2001b. Collaboration-protocol profile and agreement specification version 1.0. www.ebxml.org/specs/ebCCP.pdf.Google Scholar
- ebXML. 2001c. ebXML registry service specification version 1.0. http://www.ebxml.org/specs/ebRS.pdf.Google Scholar
- Eertink, H., Janssen, W., Luttighuis, P. A., Teeuw, W., and Vissers, C. 1999. A business process design language. In Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM'99). Lecture Notes in Computer Science, vol. 1119, Springer, Berlin, 76--95. Google ScholarDigital Library
- Eriksson, H-E. and Penker, M. 2000. Business Modeling with UML: Business Patterns at Work. OMG Press, Wiley. Google ScholarDigital Library
- Fernandez, J.-C., Garavel, H., Kerbrat, A., Mounier, L., Mateescu, R., and Sighireanu, M. 1996. CADP: A protocol validation and verification toolbox. In Computer-Aided Verification, Lecture Notes in Computer Science, vol. 1102, Springer, Berlin, 437--440. Google ScholarDigital Library
- FIPS. 1993. Integration definition for information modeling (IDEF1X). Federal Information Processing Standards, publication 184.Google Scholar
- Gale, T. and Eldred, J. 1996. Getting Results with the Object-Oriented Enterprise Model. SIGS Books. Google ScholarDigital Library
- Geerts, G. L. and McCarthy, W. E. 1997. Modeling business enterprises as value-added process hierarchies with resource-event-agent object templates. In Business Object Design and Implementation, J. Sutherland and D. Patel Eds., Springer, Berlin, 94--113.Google Scholar
- Glykas, M. and Valiris, G. 1999. Formal methods in object-oriented business modeling. J. Syst. Softw. 48, 27--41. Google ScholarDigital Library
- Gruhn, V. and Wellen, U. 2001. Analyzing a process landscape by simulation. J. Syst. Softw. 59, 333--342.Google ScholarCross Ref
- Hammer, M. 1990. Reengineering work: Don't automate, obliterate. Harvard Bus. Rev. (July-Aug.), 104--112.Google Scholar
- Hammer, M. and Champy, J. 1993. Reengineering the Corporation. Harper Business, New York.Google Scholar
- Haughen, R. and McCarthy, W. E. 2000. REA, a semantic model for Internet supply chain collaboration. In Proceedings of the OOPSLA Workshop on Business Object Components: Enterprise Application Integration.Google Scholar
- Henderson-Sellers, B. and Edwards, J. M. 1990. The object-oriented systems life cycle. Comm. ACM 33, 9, 143--159. Google ScholarDigital Library
- Hollingsworth, D. 1995. The workflow reference model. Doc. TC00--1003, Workflow Management Coalition.Google Scholar
- Ijiri, Y. 1975. The Theory of Accounting Measurement. American Accounting Association, Sarasota, FL.Google Scholar
- Isoda, S. 2001. Object-oriented real-world modeling revisited. J. Syst. Softw. 59, 153--162. Google ScholarDigital Library
- Jackson, M. and Twaddle, D. 1997. Business Process Implementation: Building Workflow Systems. Addison Wesley, Reading, MA. Google ScholarDigital Library
- Jacobson, I., Christerson, M., Jonsson, P., and Overgaard, G. 1992. Object-Oriented Software Engineering—A Use Case Driven Approach. Addison-Wesley, Reading, MA. Google Scholar
- Janssen, W., Mateescu, R., Mauw, S., and Springintveld, J. 1998. Verifying business processes using SPIN. In Proceedings of the 4th International SPIN Workshop. G. Holzman et al. Eds., 21--36.Google Scholar
- Kavantas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., and Barreto, C. 2005. Web services choreography description language, version 1.0. http://www. w3.org/TR/ws-cdl-10.Google Scholar
- Keller, G., Nüttgens, M., and Scheer, A. W. 1992. Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Institut für Wirtschaftsinformatik. Paper 89, Saarbrucken.Google Scholar
- Kindler, E. 2003. On the semantics of EPCs: A framework for resolving the vicious circle. Tech. rep., Reihe Informatik, University of Paderborn.Google Scholar
- Lee, J., Gruninger, M., Jin, Y., Malone, T., Tate, A., Yost, G., and other members of the PIF Working Group 1996. The PIF Process Interchange Format and Framework. http://ccs. mit.edu/pif8.html.Google Scholar
- McCarthy, W. E. 1980. Construction and use of integrated accounting systems with entity-relationship modeling. In Entity-Relationship Approach to Systems Analysis and Design, P. Chen Eds., North Holland, Amsterdam, 625--637. Google ScholarDigital Library
- McCarthy, W. E. 1982. The REA Accounting model: A generalized framework for accounting systems in a shared data environment. The Accounting Rev. (July), 554--578.Google Scholar
- Malone, T. W., Crowston, K., Lee, J., Pentland, B., Dellarocas, C., Wyner, G., Quimby, J., Osborn, C. S., Bernstein, A., Herman, G., Klein, M., and O'Donnell, E. 1999. Tools for inventing organizations: Toward a handbook of organizational processes. Manage. Sci. 45, 3, 425--443. Google ScholarDigital Library
- Mayer, R. J., Menzel, C.P., Painter, M. K., deWitte, P. S., Blinn, T., and Parakath, B. 1995. Information integration for concurrent engineering (IICE) IDEF3 process description capture method report. Knowledge Based Systems Inc.Google Scholar
- Milner, R. 1999. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press. Google ScholarDigital Library
- Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4, 541--580.Google ScholarCross Ref
- NIST. 2002. The process specification language (PSL 2.0). http://ats.nist.gov/psl/.Google Scholar
- OASIS. 2001. Business process and business information analysis overview. version 1.0 (ebXML). http://www.ebxml.org/specs/bpOVER.pdf.Google Scholar
- OMG-EDOC. 2001. OMG, EDOC: UML profile for enterprise distributed object computing. Document ptc/2001--12-04.Google Scholar
- OMG-BPDM. 2007. Business process definition metamodel. OMG document bmi/2007-03-01.Google Scholar
- OMG-BPMN. 2008. Business process modeling notation, V1.1. OMG document formal/2008-01-17.Google Scholar
- OMG-MDA. 2003. MDA guide version 1.0.1. J. Miller et al. (eds.), OMG document omg/2003-06-01.Google Scholar
- OMG-UML-Sup. 2005. Unified modeling language: Superstructure. OMG document formal/05-07-04.Google Scholar
- Ould, M. A. and Roberts, C. 1987. Defining formal models of the software development process. In Software Engineering Environments, P. Brereton and E. Horwood Eds.Google Scholar
- Ould, M. A. 1995. Business Processes: Modelling and Analysis for Reengineering and Improvement. Wiley, New York.Google Scholar
- Palmer, N. 2006. Understanding the BPMN-XPDL-BPEL value chain. Bus. Integration J. (Nov./Dec.), 54--55.Google Scholar
- Peterson, J. L. 1981. Petri Nets Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ. Google ScholarDigital Library
- Phalp, K. 1998. The CAP framework for business process modeling. Inform. Softw. Technol. 40, 731--744.Google ScholarCross Ref
- Phalp, K. and Shepperd, M. 2000. Quantitative analysis of static models of processes. J. Syst. Softw. 52, 105--112. Google ScholarDigital Library
- Peltz, C. 2003. Web services orchestration and choreography. IEEE Computer 36, 10, 46--52. Google ScholarDigital Library
- Reenskaug, T. 1996. Working with Objects: The OORAM Software Engineering Methodology. Manning.Google Scholar
- RosettaNet. 2003. http://www.rosettanet.org.Google Scholar
- Ross, D. T. and Schoman, K. E. 1977. Structured analysis for requirements definition. IEEE Trans. Softw. Eng. 3, 1, 6--15. Google ScholarDigital Library
- Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ. Google ScholarDigital Library
- Rumbaugh, J., Jacobson, I., and Booch, G. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, MA.Google Scholar
- Shlaer, S. and Mellor, S. J. 1992. Object Lifecycles—Modeling the World in States. Yourdon Press Computing Series. Google ScholarDigital Library
- Turban, E., Lee, J., King, D., and Chung, H. M. 1999. Electronic Commerce: A Managerial Perspective. Prentice-Hall, Englewood Clidfs, NJ. Google ScholarDigital Library
- v. d. Aalst, W. M. P. 1999. Formalization and verification of event-driven process chains. Inform. Softw. Technol. 41,10, 639--650.Google ScholarCross Ref
- WfMC. 1995. Workflow management coalition. The Workflow Reference Model, document TC00--1003. http://www.wfmc.org.Google Scholar
- WfMC. 1998. Workflow management coalition. The Workflow Management Application Programming Interface Specification, WfMC-TC-1009 -- V 2.0.Google Scholar
- WfMC. 1999a. Workflow management coalition. Interface 1: Process definition interchange process model. WfMC-TC-1016-P, version 1.1.Google Scholar
- WfMC. 1999b. Workflow management coalition. Terminology and glossary, document WfMC-TC-1011.Google Scholar
- WfMC. 2002a. An introduction to workflow. In The Workflow Handbook, L. Fischer (Ed.), Workflow Management Coalition.Google Scholar
- WfMC. 2002b. Workflow management coalition. Workflow process definition interface--XML process definition language, WfMC-TC-1025.Google Scholar
- Yourdon, E. N. 1989. Modern Structured Analysis. Prentice-Hall, Englewood Cliffs, NJ. Google ScholarDigital Library
- Yu, S. C. 1976. The Structure of Accounting Theory. The University Presses of Florida.Google Scholar
Index Terms
- Business process modeling languages: Sorting through the alphabet soup
Recommendations
Business Process Modeling and Challenges through Examples
ISEC '24: Proceedings of the 17th Innovations in Software Engineering ConferenceBusiness processes are modeled visually to comprehend them from the perspectives at architectural levels and of stakeholders at higher end of the organizations. These business process models are logical models of process architectures which are ...
A literature review on business process modelling: new frontiers of reusability
Business process modelling (BPM) has become fundamental for modern enterprises due to the increasing rate of organisational change. As a consequence, business processes need to be continuously (re-)designed as well as subsequently aligned with the ...
The structure and composition of the business process model
ICEMIS'20: Proceedings of the 6th International Conference on Engineering & MIS 2020In this paper authors proposes tool to simplify, accelerate and improve the efficiency of design processes. Such tool is the modeling of business processes that reflects the specification of a business process and acts as a pattern for designing ...
Comments