Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches

Journal of Systems and Software

Volumn 85, Issue 3, 2012, Pages 607-625

  Fabra, J ^a   De Castro, V ^b   Alvarez P ^a   Marcos, E ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSIDAD REY JUAN CARLOS   (Spain)

Author keywords

Business processes; Model execution; Model transformation; Model driven Engineering; Service oriented development

Indexed keywords

BUSINESS PROCESS; MODEL EXECUTION; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; SERVICE-ORIENTED DEVELOPMENT;

ENTERPRISE RESOURCE MANAGEMENT; HIGH LEVEL LANGUAGES;

COMPUTER SIMULATION;

EID: 84857372437     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2011.09.022     Document Type: Article

References (74)

1. Ameller, D.; 2009. Considering Non-functional Requirements in Model-Driven Engineering, Master Thesis, Universitat Politecnica de Catalunya, Departament de Llenguatges i Sistemes Informatics.
2. Arkin, A.; 2002. Business Process Modeling Language (BPML), Tech. rep.; Business Process Management Initiative (BPMI).
3. E. Biermann, Ermel C.; and Taentzer G. Precise Semantics of EMF Model Transformations by Graph Transformation 2008 pp. 53-67
4. Billington J.; Christensen S.; van Hee K.M.; Kindler E.; Kummer O.; and Petrucci L. The Petri net markup language: concepts technology, and tools International Conference on Applications and Theory of Petri Nets - ATPN 2003, LNCS, vol. 2679 2003 Springer 483 505 (Pubitemid 137638402)
5. BPEL 2.0 Specification - OASIS, 2011. Available from: http://docs.oasis-open.org/wsbpel/.
6. BPMN 1.1 - OMG Final Adopted Specification, 2008. Available from: http://www.omg.org/docs/formal/08-01-17.pdf.
7. Brambilla M. Generation of WebML Web application models from business process specifications 6th International Conference on Web Engineering - ICWE'06 2006 ACM 85 86 (Pubitemid 46946799)
8. Silverás, B.; 2011. BPMS Watch. Available from: http://www.brsilver.com/.
9. Brunswick J. Extending the Business Value of SOA through Business Process Management, Architect: SOA and BPM 2008
10. Budinsky F.; Brodsky S.A.; and Merks E. Eclipse Modeling Framework 2003 Pearson Education
11. Butler Group Application Development Strategies 2003
12. Cáceres P.; de Castro V.; Vara J.M.; and Marcos E. Model transformations for hypertext modeling on web information systems 2006 ACM symposium on Applied computing - SAC'06 2006 ACM 1232 1239 (Pubitemid 44758983)
13. Carriero N.; and Gelernter D. Linda in context Communications of the ACM 32 4 1989 444 458
14. De Castro V.; Marcos E.; and Sanz M.L. A model driven method for service composition modelling: a case study International Journal on Web Engineering Technology 2 4 2006 335 353 (Pubitemid 44231110)
15. De Castro V.; Marcos E.; and Wieringa R. Towards a service-oriented MDA-based approach to the alignment of business processes with IT systems: from the business model to a web service composition model International Journal of Cooperative Information Systems 18 2 2009 225 260
16. De Castro V.; Marcos E.; and Vara J.M. Applying cim-to-pim model transformations for the service-oriented development of information systems Information and Software Technology 53 19 2011 87 105
17. ARIS Design Platform Getting Started with BPM 1st ed. 2007 Springer
18. Dikmans, L.; 2008. Transforming BPMN into BPEL: Why and How, Oracle Technology network.
19. Eclipse, 2011. Available from: http://www.eclipse.org/.
20. Fabra J.; and Álvarez P. BPEL2DENEB: translation of BPEL processes to executable high-level petri nets Fifth International Conference on Internet and Web Applications and Services - ICIW 2010 2010 IEEE Computer Society Press
21. Fabra J.; Álvarez P.; Ba nares J.; and Ezpeleta J. A framework for the development and execution of horizontal protocols in open BPM systems 4th International Conference on Business Process Management - BPM 2006, LNCS 2006 Springer Verlag 209 224 (Pubitemid 44568328)
22. Fabra J.; Álvarez P.; and Ezpeleta J. DRLinda: a distributed message broker for collaborative interactions among business processes 8th International Conference on Electronic Commerce and Web Technologies - EC-Web'07, LNCS, vol. 4655 2007 Springer Verlag 212 221
23. J. Fabra, P. Álvarez, J. Ba nares, and J. Ezpeleta DENEB: a platform for the development and execution of interoperable dynamic web processes Concurrency and Computation: Practice and Experience 2011 10.1002/cpe.1795
24. Frye C. BPM inside the belly of the SOA whale Web Services News 2006 1 3
25. GesIMED System, 2008. Available from: http://ariadna.escet.urjc.es/ gesimed/.
26. Guelfi N.; and Mammar A. A formal framework to generate XPDL specifications from UML activity diagrams 2006 ACM symposium on Applied computing - SAC'06 2006 ACM 1224 1231 (Pubitemid 44758982)
27. Hanson J.E.; Nandi P.; and Kumaran S. Conversation support for business process integration Sixth International Enterprise Distributed Object computing Conference - EDOC'02 2002 IEEE Computer Society 65
28. Harmon P. The OMG's model driven architecture and BPM Business Process Trends 2004 1 3
29. Havey M. Essential Business Process Modeling 2005 O'Reilly Media, Inc
30. Hrastnik P. Execution of business processes based on web services International Journal of Electronic Business 2 5 2004 550 556
31. Ibáñez M.J.; Álvarez P.; and Ezpeleta J. Flow and data compatibility for the correct interaction among web processes International Conference on Intelligent Agents Web Technologies and Internet Commerce - IAWTIC 08 2008 716 722
32. Ibáñez M.; Álvarez P.; Ba nares J.; and Ezpeleta J. Control and data flow compatibility in the interaction between dynamic business processes Concurrency and Computation: Practice and Experience 23 1 2011 57 85
33. Ibáñez M.J.; Álvarez P.; and Ezpeleta J. Checking necessary conditions for control and data flow compatibility between business and interaction logics in web processes 6th IEEE European Conference on Web Services 2008 92 101
34. Ibáñez, M.J.; Álvarez, P.; Ba nares, J.A.; Ezpeleta, J.; 2011b. Analyzing Behavioral Properties of Semantic Business Processes with Parametric Data. Concurrency and Computation: Practice and Experience 23 (5), 525-555.
35. Jiang P.; Mair Q.; and Newman J. Using UML to design distributed collaborative workflows: from UML to XPDL IEEE International Workshops on Enabling Technologies 2003 71
36. Johnson R. Expert One-on-One J2EE Design & Development 2002 Wrox Press Ltd. Birmingham, UK
37. Jouault F.; and Kurtev I. Transforming models with ATL MoDELS Satellite Events 2005 128 138 (Pubitemid 43971467)
38. Kamoun F. A roadmap towards the convergence of business process management and service oriented architecture Ubiquity April 2007 1-1
39. Ko R.K.; Lee S.S.; and Lee E.W. Business process management (BPM) standards: a survey Business Process Management journal 15 5 2009
40. Kummer O.; Wienberg F.; Duvigneau M.; Köhler M.; Moldt D.; and Rölke H. Renew - the reference net workshop 24th International Conference on Application and Theory of Petri Nets - ATPN 2003 2003 99 102
41. Kummer O. Introduction to Petri nets and reference nets Sozionik Aktuell 1 2001 1 9
42. Leymann, F.; May 2001. Web Services Flow Language (WSFL 1.0), Tech. rep.; IBM.
43. Marcos E.; Acuña C.J.; and Cuesta C.E. Integrating software architecture into a MDA framework Gruhn V. Oquendo F. 3rd European Workshop on Software Architecture - EWSA, Lecture Notes in Computer Science, vol. 4344 2006 Springer 127 143
44. Mellor S.J.; and Balcer M. Executable UML: A Foundation for Model-driven Architectures 2002 Addison-Wesley Longman Publishing Co.
45. Mellor S.J.; Clark A.N.; and Futagami T. Model-driven development IEEE Software 20 2003 14 18
46. Merseguer J.; and Campos J. Software performance modelling using UML and petri nets Lecture Notes in Computer Science 2965 2004 265 289
47. Miller, J.; Mukerji, J.; 2003. MDA Guide Version 1.0.1, Document number omg/2003-06-01. Available from: http://www.omg.com/mda, 2003.
48. Murata T. Petri nets: properties, analysis and applications Proceedings of the IEEE, vol. 77 1989 541 580
49. Object Management Group, 2010. Available from: http://www.omg.org/.
50. OMG and MDA, 2011. The Architecture of Choice for a Changing World. Available from: http://www.omg.org/mda/products-success.htm.
51. OMG Service Oriented Architecture SIG - ABSIG, December 2009. Available from: http://soa.omg.org/.
52. OMG BPMN 2.0 - OMG Formal Specification, 2011. Available from: http://www.omg.org/spec/BPMN/2.0/.
53. N. Palmer Understanding the BPMN-XPDL-BPEL value chain Business Integration Journal November/December 2006 54 55
54. Reisig W.; Fahland D.; Lohmann N.; Massuthe P.; Stahl C.; Weinberg D.; Wolf K.; and Kaschner K. Analysis techniques for service models Second International Symposium on Leveraging Applications of Formal Methods Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006 2006 IEEE Computer Society Paphos, Cyprus 11 17
55. Dijkman R. BPMN 2.0 execution semantics formalized as graph rewrite rules BPMN 2010 2010
56. Roser S.; and Bauer B. A categorization of collaborative business process modeling techniques Seventh IEEE International Conference on E-Commerce Technology Workshops - CECW'05 2005 IEEE Computer Society 43 54 (Pubitemid 44459640)
57. Sandy, K.; 2006. BPM Think Tank. EbizQ. Available from: http://www.ebizq.net/blogs/column2/archives/bpmthinktank2006/.
58. Schmidt D.C. Model-driven engineering IEEE Computer 39 2 2006
59. Selic B. The pragmatics of Model-driven Development IEEE Software 20 5 2003 19 25
60. Selic B. MDA manifestations upgrade The European Journal for the Informatics Professional IX 2 2008 12 16
61. Tamames J.A.H.; Acuña C.J.; de Castro V.; Marcos E.; Sanz M.L.; and Malpica N. Web-PACS for multicenter clinical trials IEEE Transactions on Information Technology in Biomedicine 11 1 2007 87 93 (Pubitemid 46062899)
62. Thatte, S.; 2001. XLANG: Web Services for Business Process Design, Tech. rep.; Microsoft, Redmond, Wash.
63. Unified Modeling Language (UML), 2011. Available at: http://www.uml.org/.
64. van Breugel, F.; Koshkina, M.; 2006. Models and Verification of BPEL. Draft published by the Department of the Computer Science and Engineering of the York University. Available from: http://www.cse.yorku.ca/franck/research/ drafts/tutorial.pdf.
65. van der Aalst W.M.P.; and ter Hofstede A.H.M. YAWL: yet another workflow language Information Systems 30 4 2005 245 275 (Pubitemid 40415107)
66. van der Aalst W.M.P. Workflow verification: finding control-flow errors using petri-net-based techniques Business Process Management, Models, Techniques, and Empirical Studies 2000 Springer-Verlag London UK 161 183
67. van der Aalst W.M.P. Business process management demystified: a tutorial on models, systems and standards for workflow management Lectures on Concurrency and Petri Nets, LNCS, vol. 3098 2004 Springer-Verlag 1 65 (Pubitemid 39739355)
68. Vara J.M.; Vela B.; Bollati V.A.; and Marcos E. Supporting model-driven development of object-relational database schemas: a case study 2nd International Conference on Theory and Practice of Model Transformations - ICMT'09 2009 Springer-Verlag 181 196
69. Verner L. BPM: the promise and the challenge Queue 2 1 2004 82 91
70. Walsh A.E. Ebxml: The Technical Reports 2002 Prentice Hall, PTR
71. Watson A. A brief history of MDA, upgrade The European Journal for the Informatics Professional IX 2 2008 7 11
72. White, S.; 2004. Process Modelling Notations and Workflow Patterns. IBM Corporation. Available from: http://www.bpmn.org/Documents/Notations-and- Workflow-Patterns.pdf.
73. White S.A. Using BPMN to Model a BPEL Process 2005 IBM Corp. United States
74. XML Path Language (XPath), 1999. Version 1.0 Available from: http://www.w3.org/TR/xpath/.