Business process modeling languages: Sorting through the alphabet soup

ACM Computing Surveys

Volumn 43, Issue 1, 2010, Pages

  Mili, Hafedh ^a   Tremblay, Guy ^a   Jaoude, Guitta Bou ^a   Lefebvre, Éric ^b   Elabed, Lamia ^c   Boussaidi, Ghizlane El ^a  

^a UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

^b ÉCOLE DE TECHNOLOGIE SUPÉRIEURE   (Canada)

^c UNIVERSITY OF TUNIS   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION USE; MANAGEMENT INFORMATION SYSTEMS; MODELING LANGUAGES; PROCESS ENGINEERING; SYSTEMS ENGINEERING; WORKFLOW MANAGEMENT;

BUSINESS MODELS; BUSINESS PROCESS; BUSINESS PROCESS MODELING LANGUAGES; DEVELOPMENT PROCESS; REQUIREMENTS CAPTURE; SOFTWARE ENGINEERING RESEARCH; SOFTWARE REQUIREMENTS; SOFTWARE-SYSTEMS; SYSTEM MODELS; USER REQUIREMENTS;

INFORMATION SYSTEMS;

EID: 78650157271     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/1824795.1824799     Document Type: Article

References (76)

1. 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/.
2. BARROS, A.,DUMAS,M., ANDOAKS, 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.
3. BOLOGNESI, T. AND BRINKSMA, E. 1987. Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst.14, 25-59.
4. BOOCH, G., RUMBAUCH, J., AND JACOBSON, I. 1999. The Unified Modeling Language User Guide. Addison- Wesley, Reading, MA.
5. BPMI. 2003. Business Process Modeling Language. Business Process Management Institute.
6. BROOKS, F. 1987. No silver bullet: Essence and accidents of software engineering. Computer 20, 4, 10-19.
7. CARLSON,W.M. 1979. Business information analysis and integration technique (BIAIT)-The new horizon. Data Base 10, 4, 3-9.
8. 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.
9. COAD, P. AND YOURDON, E. 1989. Object-Oriented Analysis. 1st Ed. Prentice-Hall, Englewood Cliffs, NJ.
10. COLEMAN, D., ARNOLD, P., BODOFF, S., DOLLIN, C., AND GILCHRIST, H. 1994. Object-Oriented Development: The Fusion Method. Prentice-Hall, Englewood Cliffs, NJ.
11. CURTIS, B., KELLNER, M.I., AND OVER, J. 1992. Process modeling. Comm. ACM 35, 9, 75-90.
12. 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.
13. DIJKMAN, R. AND DUMAS, M. 2004. Service-oriented design: A multi-viewpoint approach. Int. J. Coop, Inform. Syst. 13, 4, 337-378.
14. 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.
15. 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.
16. ebXML. 2001a. ebXML Business process specification schema version 1.01. www.ebxml.org/specs/ebBPSS.pdf.
17. ebXML. 2001b. Collaboration-protocol profile and agreement specification version 1.0. www.ebxml.org/specs/ebCCP.pdf.
18. ebXML. 2001c. ebXML registry service specification version 1.0. http://www.ebxml.org/specs/ebRS.pdf.
19. 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.
20. ERIKSSON, H-E. AND PENKER, M. 2000. Business Modeling with UML: Business Patterns at Work. OMG Press, Wiley.
21. 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.
22. FIPS. 1993. Integration definition for information modeling (IDEF1X). Federal Information Processing Standards, publication 184.
23. GALE, T. AND ELDRED, J. 1996. Getting Results with the Object-Oriented Enterprise Model. SIGS Books.
24. 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.
25. GLYKAS, M. AND VALIRIS, G. 1999. Formal methods in object-oriented business modeling. J. Syst. Softw. 48, 27-41.
26. GRUHN, V. AND WELLEN, U. 2001. Analyzing a process landscape by simulation. J. Syst. Softw. 59, 333-342.
27. HAMMER, M. 1990. Reengineering work: Don't automate, obliterate. Harvard Bus. Rev. (July-Aug.), 104-112.
28. HAMMER, M. AND CHAMPY, J. 1993. Reengineering the Corporation. Harper Business, New York.
29. 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.
30. HENDERSON-SELLERS, B. AND EDWARDS, J. M. 1990. The object-oriented systems life cycle. Comm. ACM 33, 9, 143-159.
31. HOLLINGSWORTH, D. 1995. The workflow reference model. Doc. TC00-1003, Workflow Management Coalition.
32. IJIRI, Y. 1975. The Theory of Accounting Measurement. American Accounting Association, Sarasota, FL.
33. ISODA, S. 2001. Object-oriented real-world modeling revisited. J. Syst. Softw. 59, 153-162.
34. JACKSON, M. AND TWADDLE, D. 1997. Business Process Implementation: Building Workflow Systems. Addison Wesley, Reading, MA.
35. JACOBSON, I., CHRISTERSON, M., JONSSON, P., AND OVERGAARD, G. 1992. Object-Oriented Software Engineering-A Use Case Driven Approach. Addison-Wesley, Reading, MA.
36. 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.
37. 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.
38. 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.
39. KINDLER, E. 2003. On the semantics of EPCs: A framework for resolving the vicious circle. Tech. rep., Reihe Informatik, University of Paderborn.
40. 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.
41. 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.
42. 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.
43. 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.
44. 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.
45. MILNER, R. 1999. Communicating and Mobile Systems: The p-Calculus. Cambridge University Press.
46. MURATA, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4, 541-580.
47. NIST. 2002. The process specification language (PSL 2.0). http://ats.nist.gov/psl/.
48. OASIS. 2001. Business process and business information analysis overview. version 1.0 (ebXML). http://www.ebxml.org/specs/bpOVER.pdf.
49. OMG-EDOC. 2001. OMG, EDOC: UML profile for enterprise distributed object computing. Document ptc/2001-12-04.
50. OMG-BPDM. 2007. Business process definition metamodel. OMG document bmi/2007-03-01.
51. OMG-BPMN. 2008. Business process modeling notation, V1.1. OMG document formal/2008-01-17.
52. OMG-MDA. 2003. MDA guide version 1.0.1. J. Miller et al.. (eds.), OMG document omg/2003-06-01.
53. OMG-UML-SUP. 2005. Unified modeling language: Superstructure. OMG document formal/05-07-04.
54. 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.
55. OULD,M. A. 1995. Business Processes: Modelling and Analysis for Reengineering and Improvement.Wiley, New York.
56. PALMER, N. 2006. Understanding the BPMN-XPDL-BPEL value chain. Bus. Integration J. (Nov./Dec.), 54-55.
57. PETERSON, J. L. 1981. Petri Nets Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ.
58. PHALP, K. 1998. The CAP framework for business process modeling. Inform. Softw. Technol. 40, 731-744.
59. PHALP, K. AND SHEPPERD, M. 2000. Quantitative analysis of static models of processes. J. Syst. Softw. 52, 105-112.
60. PELTZ, C. 2003. Web services orchestration and choreography. IEEE Computer 36, 10, 46-52.
61. REENSKAUG, T. 1996. Working with Objects: The OORAM Software Engineering Methodology. Manning.
62. ROSETTANET. 2003. http://www.rosettanet.org.
63. ROSS, D. T. AND SCHOMAN, K.E. 1977. Structured analysis for requirements definition. IEEE Trans. Softw. Eng. 3, 1, 6-15.
64. RUMBAUGH, J., BLAHA, M., PREMERLANI, W., EDDY, F., AND LORENSEN, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ.
65. RUMBAUGH, J., JACOBSON, I., AND BOOCH, G. The Unified Modeling Language Reference Manual. Addison- Wesley, Reading, MA.
66. SHLAER, S. AND MELLOR, S. J. 1992. Object Lifecycles-Modeling the World in States. Yourdon Press Computing Series.
67. TURBAN, E., LEE, J., KING, D., AND CHUNG, H. M. 1999. Electronic Commerce: A Managerial Perspective. Prentice-Hall, Englewood Clidfs, NJ.
68. AALST, W. M. P. 1999. Formalization and verification of event-driven process chains. Inform. Softw. Technol. 41,10, 639-650.
69. WfMC. 1995. Workflow management coalition. The Workflow Reference Model, document TC00-1003. http://www.wfmc.org.
70. WfMC. 1998. Workflow management coalition. The Workflow Management Application Programming Interface Specification,WfMC-TC-1009 - V 2.0.
71. WfMC. 1999a. Workflow management coalition. Interface 1: Process definition interchange process model. WfMC-TC-1016-P, version 1.1.
72. WfMC. 1999b. Workflow management coalition. Terminology and glossary, document WfMC-TC-1011.
73. WfMC. 2002a. An introduction to workflow. In The Workflow Handbook, L. Fischer (Ed.), Workflow Management Coalition.
74. WfMC. 2002b. Workflow management coalition. Workflow process definition interface-XML process definition language, WfMC-TC-1025.
75. YOURDON, E. N. 1989. Modern Structured Analysis. Prentice-Hall, Englewood Cliffs, NJ.
76. YU, S. C. 1976. The Structure of Accounting Theory. The University Presses of Florida.