A Formal Framework for Business Process Modeling and Design

We present a formal framework for enterprise and business process modelling. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities and constraints) allow business analysts to capture enterprise knowledge in a way that is both intuitive and mathematically formal. We also outline the basic steps of a methodology that allows business analysts to produce detailed, formal specifications of business processes from high-level enterprise objectives. The use of a formal language permits us to verify that the specifications possess certain correctness properties, namely that the responsibilities assigned to roles are fulfilled, and that constraints are maintained as a result of process execution.

[1]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[2]  John Mylopoulos,et al.  Accomodating Integrity Constraints During Database Design , 1996, EDBT.

[3]  Dimitris Plexousakis,et al.  Simulation and analysis of business processes using GOLOG , 1995, COCS '95.

[4]  Eric Yu,et al.  Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering , 1996 .

[5]  M. Fox,et al.  Enterprise Modeling , 1998, AI Mag..

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

[7]  Hector J. Levesque,et al.  Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus , 1997, IJCAI.

[8]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[9]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[10]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[11]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[12]  Hector J. Levesque,et al.  A Situation Calculus Approach to Modeling and Programming Agents , 1999 .

[13]  Jintae Lee.  Goal-based process analysis: a method for systematic process redesign , 1993, COCS '93.

[14]  Annie I. Antón,et al.  Goal Decomposition and Scenario Analysis in Business Process Reengineering , 1994, CAiSE.

[15]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[16]  Frank Leymann,et al.  Managing Business Processes an an Information Resource , 1994, IBM Syst. J..

[17]  F. Caeldries.  Reengineering the Corporation: A Manifesto for Business Revolution , 1994 .

[18]  Manolis Koubarakis,et al.  Business Process Modeling and Design: AI Models and Methodology , 1999 .

[19]  Philippe Massonet,et al.  Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[20]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[21]  John E. Dobson,et al.  The ORDIT approach to organisational requirements , 1994 .

[22]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[23]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[24]  Monique Snoeck,et al.  Enterprise Modelling , 1998, ECOOP Workshops.

[25]  Pericles Loucopoulos,et al.  System Requirements Engineering , 1995, System Requirements Engineering.

[26]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[27]  Pericles Loucopoulos,et al.  Goal-Driven Business Process Analysis - Application in Electricity Deregulation , 1998, CAiSE.

[28]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[29]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[30]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[31]  John Mylopoulos,et al.  Modeling Dynamic Domains with ConGolog , 1999, CAiSE.

[32]  Nicholas R. Jennings,et al.  Using Intelligent Agents to Manage Business Processes , 1996, PAAM.

[33]  Joseph A. Goguen,et al.  Requirements engineering: social and technical issues , 1994 .

[34]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[35]  Thomas H. Davenport,et al.  Process Innovation: Reengineering Work Through Information Technology , 1992 .

[36]  Dimitrios Plexousakis.  On the Efficient Maintenance of Temporal Integrity in Knowledge Bases , 1996 .

[37]  Anand S. Rao,et al.  A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.

[38]  Stefan Kirn,et al.  Cooperative Knowledge Processing , 1997, Computer Supported Cooperative Work.

[39]  Pericles Loucopoulos,et al.  Enterprise Modelling and the Teleological Approach to Requirements Engineering , 1995, Int. J. Cooperative Inf. Syst..

[40]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[41]  M. Ould.  Business Processes: Business Processes: Modelling and Analysis for Re-Engineering and Improvement , 1995 .

[42]  J. Finger,et al.  Exploiting constraints in design synthesis , 1987 .

[43]  John Mylopoulos,et al.  AI Models for Business Process Reengineering , 1996, IEEE Expert.