Validation of user intentions in process orchestration and choreography

Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. In this case, goal models serve as input for designing business process models. This requires mappings between both types of models in order to describe which user goals are implemented by which activities in a business process. Due to the large number of possible relationships among goals in the goal model and possible control flows of activities, developers struggle with the challenge of maintaining consistent configurations of both models and their mappings. Managing these mappings manually is error-prone. In our work, we propose an automated solution that relies on Description Logics and automated reasoners for validating mappings that describe the realization of goals by activities in business process models. The results are the identification of two inconsistency patterns - orchestration inconsistency and choreography inconsistency - and the development of the corresponding algorithms for detecting these inconsistencies. HighlightsA novel mapping paradigm from user intentions to process orchestration and choreography.Modeling pattern to cover relationships in goal and process models.Validation algorithms to recognized inconsistencies between goals and process activities.

[1]  Petia Wohed,et al.  A Pattern and Dependency Based Approach to the Design of Process Models , 2004, ER.

[2]  Gero Decker,et al.  Extending BPMN for Modeling Complex Choreographies , 2007, OTM Conferences.

[3]  Carsten Lutz,et al.  Temporal Description Logics: A Survey , 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

[4]  Birger Andersson,et al.  A Declarative Foundation of Process Models , 2005, CAiSE.

[5]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[6]  Ivan Markovic,et al.  Linking Business Goals to Process Models in Semantic Business Process Modeling , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[7]  Aneesh Krishna,et al.  Combining i* and BPMN for Business Process Model Lifecycle Management , 2006, Business Process Management Workshops.

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

[9]  John Mylopoulos,et al.  Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..

[10]  Wil M. P. van der Aalst,et al.  Questionnaire-based variability modeling for system configuration , 2009, Software & Systems Modeling.

[11]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

[12]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[13]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[14]  Julius T. Tou,et al.  Information Systems , 1973, GI Jahrestagung.

[15]  Stephen A. White,et al.  BPMN modeling and reference guide : understanding and using BPMN : develop rigorous yet understandable graphical representations of business processes , 2008 .

[16]  Keshav Pingali,et al.  The program structure tree: computing control regions in linear time , 1994, PLDI '94.

[17]  Gregor Engels,et al.  Detecting and Resolving Process Model Differences in the Absence of a Change Log , 2008, BPM.

[18]  Raymond J. Madachy,et al.  Software process simulation modeling: Why? What? How? , 1999, J. Syst. Softw..

[19]  Watts S. Humphrey,et al.  Software process development and enactment: concepts and definitions , 1993, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement.

[20]  Yijun Yu,et al.  Requirements-Driven Design and Configuration Management of Business Processes , 2007, BPM.

[21]  Maria E. Orlowska,et al.  Specification and validation of process constraints for flexible workflows , 2005, Inf. Syst..

[22]  Wil M. P. van der Aalst,et al.  Configurable Workflow Models , 2008, Int. J. Cooperative Inf. Syst..

[23]  R. Montague,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1996 .

[24]  Bashar Nuseibeh,et al.  From Organizational Requirements to Service Choreography , 2009, 2009 Congress on Services - I.

[25]  Alireza Pourshahid,et al.  Business process management with the user requirements notation , 2009, Electron. Commer. Res..

[26]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[27]  Marlon Dumas,et al.  Service interaction patterns : towards a reference framework for service-based business process interconnection , 2005 .

[28]  Geert Poels,et al.  A Goal-Oriented Requirements Engineering Method for Business Processes , 2010, CAiSE Forum.

[29]  Marco Pistore,et al.  Requirements-Driven Verification of Web Services , 2004, Electron. Notes Theor. Comput. Sci..

[30]  Yijun Yu,et al.  On Goal-based Variability Acquisition and Analysis , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[31]  Peter Kawalek,et al.  Goal-based business process models: creation and evaluation , 1997, Bus. Process. Manag. J..

[32]  Yair Wand,et al.  Semantic Analysis of Flow Patterns in Business Process Modeling , 2007, BPM.

[33]  Juan Sánchez,et al.  A Goal-Oriented Approach for Variability in BPMN , 2010, WER.

[34]  A. DeMilloR.,et al.  Hints on Test Data Selection , 1978 .

[35]  Yair Wand,et al.  Goal-Driven Analysis of Process Model Validity , 2004, CAiSE.

[36]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[37]  Daniel Amyot,et al.  Evaluating goal models within the goal‐oriented requirement language , 2010, Int. J. Intell. Syst..

[38]  Marin Litoiu,et al.  Goal-Based Behavioral Customization of Information Systems , 2011, CAiSE.

[39]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[40]  Jan Mendling,et al.  Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness , 2008, Lecture Notes in Business Information Processing.

[41]  Jan Mendling,et al.  Preserving correctness during business process model configuration , 2010, Formal Aspects of Computing.

[42]  Eric Yu,et al.  Social Modeling for Requirements Engineering , 2011, Cooperative information systems.

[43]  Mathias Weske,et al.  Management and engineering of process-aware information systems: Introduction to the special issue , 2012, Inf. Syst..

[44]  Fabio Massacci,et al.  From Early Requirements Analysis towards Secure Workflows , 2007, IFIPTM.

[45]  John Mylopoulos,et al.  Understanding "why" in software process modelling, analysis, and design , 1994, Proceedings of 16th International Conference on Software Engineering.

[46]  Frank Leymann,et al.  Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition , 2007, ICSOC.

[47]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[48]  Raman Kazhamiakin,et al.  A framework for integrating business processes and business requirements , 2004 .

[49]  Jan Mendling,et al.  From business process models to process-oriented software systems , 2009, TSEM.

[50]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[51]  W. M. P. V. D. Aalsta,et al.  YAWL : yet another workflow language , 2015 .

[52]  Jianmei Guo,et al.  Consistency maintenance for evolving feature models , 2012, Expert Syst. Appl..

[53]  Leonor Barroca,et al.  Requirements-Driven Collaborative Choreography Customization , 2009, ICSOC/ServiceWave.

[54]  Steffen Staab,et al.  Validation of Families of Business Processes , 2011, CAiSE.

[55]  Mark von Rosing,et al.  Business Process Model and Notation - BPMN , 2015, The Complete Business Process Handbook, Vol. I.