A Formal Model for Business Process Modeling and Design

We present a formal framework for representing enterprise knowledge. 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 the constraints are maintained.

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

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

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

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

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

[6]  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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[23]  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).

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

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

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

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

[28]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

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