Towards a Methodology for Semantic Business Process Modeling and Configuration

This paper discusses potential benefits from adding semantics to Business Process Management from a methodological point of view, with a focus on the Modeling and Configuration phases. For this purpose, in each of these phases the established activities are examined and new activities are suggested: Firstly, we suggest combining existing control flow validation techniques with semantic process validation techniques. Second, discovery and composition techniques can be used to find implementations, e.g. services (or combinations of services), for the implementation of process activities at modeling time. The discovered implementations allow for mapping the process steps to the IT infrastructure according to several strategies during process configuration, which helps clearly separating modeling from configuration concerns. Furthermore, a new way of testing executable process models is suggested.

[1]  Kees M. van Hee,et al.  Consistency in model integration , 2006, Data Knowl. Eng..

[2]  Witold Abramowicz,et al.  Semantically enhanced Business Process Modelling Notation , 2007, SBPM.

[3]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[4]  Elisa Bertino,et al.  The specification and enforcement of authorization constraints in workflow management systems , 1999, TSEC.

[5]  Theo P. van der Weide,et al.  Information modeling: The process and the required competencies of its participants , 2004, Data Knowl. Eng..

[6]  Gianfranco Balbo,et al.  Application and Theory of Petri Nets 1997 , 1997 .

[7]  Frank Leymann,et al.  WSMO/X in the context of business processes: improvement recommendations , 2007, Int. J. Web Inf. Syst..

[8]  Wei Sun,et al.  BPEL4WS unit testing: framework and implementation , 2005, IEEE International Conference on Web Services (ICWS'05).

[9]  Moe Thandar Wynn,et al.  Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets , 2005, ICATPN.

[10]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[11]  Armin Haller,et al.  WSMX - a semantic service-oriented architecture , 2005, IEEE International Conference on Web Services (ICWS'05).

[12]  Robert Valette,et al.  Application and Theory of Petri Nets 1997 , 1997, Lecture Notes in Computer Science.

[13]  Marlon Dumas,et al.  Translating Standard Process Models to BPEL , 2006, CAiSE.

[14]  Frank Leymann,et al.  BPEL for Semantic Web Services (BPEL4SWS) , 2007, OTM Workshops.

[15]  Wil M. P. van der Aalst,et al.  Bridging The Gap Between Business Models And Workflow Specifications , 2004, Int. J. Cooperative Inf. Syst..

[16]  David A Chappell,et al.  Enterprise Service Bus , 2004 .

[17]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

[18]  J. Krogstie,et al.  Formalization and verification of EPCs with OR-joins based on state and context , 2007 .

[19]  Gianfranco Ciardo,et al.  Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings , 2005, ICATPN.

[20]  Jan Mendling,et al.  On the transformation of control flow between block-oriented and graph-oriented process modelling languages , 2008, Int. J. Bus. Process. Integr. Manag..

[21]  Ivan Markovic,et al.  Towards a Formal Framework for Reuse in Business Process Modeling , 2007, Business Process Management Workshops.

[22]  Ingo Weber,et al.  User-Friendly Semantic Annotation in Business Process Modeling , 2007, WISE Workshops.

[23]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[24]  Hongyan Ma,et al.  Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..

[25]  Michael Rosemann Preparation of Process Modeling , 2003 .

[26]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[27]  Martin Hepp,et al.  Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management SBPM 2007, held in conjunction with the 3rd European Semantic Web Conference (ESWC 2007), Innsbruck, Austria, June 7, 2007 , 2007, SBPM.

[28]  Jan Mendling,et al.  On the Translation between BPMN and BPEL , 2006, EMMSAD.

[29]  Jan Mendling,et al.  Model-Driven Enterprise Systems Configuration , 2006, CAiSE.