Generation of Business Process Models for Object Life Cycle Compliance

Business process models usually capture data exchanged betweentasks in terms of objects. These objects are commonly standardizedusing reference data models that prescribe, among other things, allowedobject states. Allowed state transitions can be modeled as objectlife cycles that require compliance of business processes. In this paper, wefirst establish a notion of compliance of a business process model with anobject life cycle. We then propose a technique for generating a compliantbusiness process model from a set of given reference object life cycles.

[1]  Shazia Wasim Sadiq,et al.  Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[2]  Frank Leymann,et al.  Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology , 2006, 22nd International Conference on Data Engineering (ICDE'06).

[3]  Michael Schrefl,et al.  Object/behavior diagrams , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[4]  Guido Governatori,et al.  Compliance aware business process design , 2008 .

[5]  Wil M. P. van der Aalst,et al.  Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance , 2001, ICATPN.

[6]  Johann Eder,et al.  Integration of statecharts , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[7]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[8]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[9]  Thomas Kühne.  Workshops and symposia at MoDELS 2006 , 2006, MoDELS'06.

[10]  Veda C. Storey,et al.  Conceptual Modeling — ER 2000 , 2003, Lecture Notes in Computer Science.

[11]  Michael Schrefl,et al.  Behavior-consistent specialization of object life cycles , 2002, TSEM.

[12]  Steven S. Muchnick,et al.  Advanced Compiler Design and Implementation , 1997 .

[13]  Michael Schrefl,et al.  Behavior Consistent Inheritance in UML , 2000, ER.

[14]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[15]  Wil M. P. van der Aalst,et al.  Business alignment: using process mining as a tool for Delta analysis and conformance testing , 2005, Requirements Engineering.

[16]  Harald C. Gall,et al.  Consistency of business process models and object life cycles , 2006, MoDELS'06.

[17]  Jan Vanthienen,et al.  Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.

[18]  Jessie Kennedy,et al.  Advances in Databases , 1996, Lecture Notes in Computer Science.

[19]  Gregor Engels,et al.  Specialization of Object Life Cycle Definitions , 1997 .

[20]  Robin Milner.  The Flux of Interaction , 2001, ICATPN.

[21]  Michael Schrefl,et al.  Observation Consistent Integration of Views of Object Life-Cycles , 1998, BNCOD.

[22]  Sebastián Uchitel,et al.  Synthesis of Behavioral Models from Scenarios , 2003, IEEE Trans. Software Eng..