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

The business goals of an enterprise process are traced to business process models with the aim of being carried out during the execution stage. The automatic translation from these models to fully executable code which can be simulated and round-trip engineered is still an open challenge in the Business Process Management field. Model-driven Engineering has proposed a set of methodologies with which to solve the existing gap between business analysts and software developers, but the expected results have not as yet been achieved. In this paper, a new approach to solve this challenge is proposed. This approach is based on the integration of SOD-M, a model-driven method for the development of service-oriented systems, and DENEB, a platform for the development and execution of flexible business processes. SOD-M provides business analysts with a methodology that can be used to transform their business goals into composition service models, a type of model that represents business processes. The use of the Eclipse Modelling Framework and the ATLAS Transformation Language allows this model to be automatically transformed into a DENEB workflow model, resulting in a business process that is coded by a class of high-level Petri-nets and is directly executable in DENEB. The application of the proposal presented herein is illustrated by means of a real system related to the management of medical images.

[1]  Remco M. Dijkman,et al.  BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules , 2010, BPMN.

[2]  Wil M. P. van der Aalst,et al.  Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management , 2003, Lectures on Concurrency and Petri Nets.

[3]  María José Ibáñez,et al.  Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes , 2008, 2008 Sixth European Conference on Web Services.

[4]  Stephen A. White,et al.  Using BPMN to Model a BPEL Process , 2005 .

[5]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[6]  Schahram Dustdar,et al.  Seventh IEEE International Conference on E-Commerce Technology Workshops , 2005 .

[7]  Rod Johnson,et al.  Expert One-on-One J2EE Design and Development , 2002 .

[8]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[9]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[10]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[11]  Tony Clark,et al.  Model-driven development - Guest editor's introduction , 2003 .

[12]  Esperanza Marcos,et al.  Model transformations for hypertext modeling on web information systems , 2006, SAC.

[13]  Roel Wieringa,et al.  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 , 2009, Int. J. Cooperative Inf. Syst..

[14]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[15]  Laury Verner.  BPM: The Promise and the Challenge , 2004, ACM Queue.

[16]  Javier Fabra,et al.  DENEB: a platform for the development and execution of interoperable dynamic Web processes , 2011, Concurr. Comput. Pract. Exp..

[17]  Javier Fabra,et al.  DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes , 2007, EC-Web.

[18]  Esperanza Marcos,et al.  Applying CIM-to-PIM model transformations for the service-oriented development of information systems , 2011, Inf. Softw. Technol..

[19]  Stephen A. White,et al.  Process Modeling Notations and Workflow Patterns , 2004 .

[20]  Marco Brambilla.  Generation of WebML web application models from business process specifications , 2006, ICWE '06.

[21]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[22]  Juan Antonio Hernández Tamames,et al.  Web-PACS for Multicenter Clinical Trials , 2007, IEEE Transactions on Information Technology in Biomedicine.

[23]  José Merseguer,et al.  Software Performance Modeling Using UML and Petri Nets , 2003, MASCOTS Tutorials.

[24]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[25]  Santhosh Kumaran,et al.  Conversation support for business process integration , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[26]  Esperanza Marcos,et al.  A model driven method for service composition modelling: a case study , 2006, Int. J. Web Eng. Technol..

[27]  Olaf Kummer.  Introduction to Petri Nets and Reference Nets , 2001 .

[28]  Gabriele Taentzer,et al.  Precise Semantics of EMF Model Transformations by Graph Transformation , 2008, MoDELS.

[29]  Amel Mammar,et al.  A formal framework to generate XPDL specifications from UML activity diagrams , 2006, SAC '06.

[30]  Carlos E. Cuesta,et al.  Integrating Software Architecture into a MDA Framework , 2006, EWSA.

[31]  James E. Rumbaugh,et al.  Unified Modeling Language (UML) , 2010, Encyclopedia of Software Engineering.

[32]  Aaron E. Walsh.  ebXML: The Technical Reports , 2002 .

[33]  María José Ibáñez,et al.  Analyzing behavioral properties of semantic business processes with parametric data , 2011, Concurr. Comput. Pract. Exp..

[34]  Faouzi Kamoun.  A roadmap towards the convergence of business process management and service oriented architecture , 2007, UBIQ.

[35]  Stephan Roser,et al.  A categorization of collaborative business process modeling techniques , 2005, Seventh IEEE International Conference on E-Commerce Technology Workshops.

[36]  María José Ibáñez,et al.  Control and data flow compatibility in the interaction between dynamic business processes , 2011, Concurr. Comput. Pract. Exp..

[37]  Takao Futagami,et al.  Model-Driven Development , 2003 .

[38]  Esperanza Marcos,et al.  Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study , 2009, ICMT@TOOLS.

[39]  Eng Wah Lee,et al.  Business process management (BPM) standards: a survey , 2009, Bus. Process. Manag. J..

[40]  Peter Hrastnik.  Execution of business processes based on web services , 2004, Int. J. Electron. Bus..

[41]  Javier Fabra,et al.  BPEL2DENEB: Translation of BPEL Processes to Executable High-Level Petri Nets , 2010, 2010 Fifth International Conference on Internet and Web Applications and Services.

[42]  Javier Fabra,et al.  A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems , 2006, Business Process Management.

[43]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[44]  Wolfgang Reisig,et al.  Analysis Techniques for Service Models , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[45]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[46]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[47]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[48]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[49]  Michael Havey,et al.  Essential business process modeling , 2005 .

[50]  Ping Jiang,et al.  Using UML to design distributed collaborative workflows: from UML to XPDL , 2003, WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003..