Abstract
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.
Chapter PDF
Similar content being viewed by others
References
A.I. Anton, M.W. McCracken, and C. Potts. Goal decomposition and scenario analysis in business process reengineering. In Proceedings of CAISE’94, pages 94–104, 1994.
J. Bubenko, D. Brash, and J. Stirna. EKD user guide, 1998. Available from ftp://ftp.dsv.su.se/users/js/ekd_user_guide.pdf.
B. Curtis, M. Kellner, and J. Over. Process Modelling. Communications of ACM, 35(9):75–90, 1992.
A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-Directed Requirements Acquisition. Science of Computer Programming, 20:3–50, 1993.
G. De Giacomo, Y. Lesperance, and H. Levesque. Reasoning About Concurrent Execution, Prioritised Interrupts and Exogenous Actions in the Situation Calculus. In Proceedings of IJCAI’97, pages 1221–1226, August 1997.
J.E. Dobson, A.J.C. Blyth, J. Chudge, and R. Strens. The ORDIT Approach to organisational requirements. In M. Jirotka and J. Goguen, editors, Requirements Engineering: Social and Technical Issues, pages 87–106. Academic Press, 1994.
R. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189–208, 1971.
M.S. Fox and M. Gruninger. Enterprise Modelling. The AI Magazine, pages 109–121, Fall 1998.
D. Georgakopoulos, M. Hornick, and A. Sheth. An Overview of Worklfow Management: From Process Modelling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3:119–153, 1995.
M. Hammer and J. Champy. Reengineering the Corporation: A Manifesto for Business Revolution. Harper Collins, 1993.
N. R. Jennings, P. Faratin, M.J. Johnson, P. O’Brien, and M.E. Wiegand. Using Intelligent Agents to Manage Business Processes. In Proceedings of the First International Conference on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM96), 1996.
V. Kavakli and P. Loucopoulos. Goal-Driven Business Process Analysis — Application in Electricity Deregulation. In Proceedings of CAISE’98, 1998.
M. Koubarakis and D. Plexousakis. Business Process Modeling and Design: AI Models and Methodology. In Proceedings of IJCAI-99 Workshop on Intelligent Workflow and Process Management: the New Frontier for AI in Business, 1999.
J. Lee. Goal-Based Process Analysis: A Method for Systematic Process Redesign. In Proceedings of the Conference on Organizational Computing Systems (COOCS’94), 1994.
Y. Lesperance, T.G. Kelley, J. Mylopoulos, and E. Yu. Modeling dynamic domains with congolog. In Proceedings of CAISE’99, 1999.
Y. Lesperance, H. Levesque, and R. Reiter. A situation calculus approach to modeling and programming agents, 1999. Available from http://www.cs.toronto.edu/~cogrobo/.
Y. Lesperance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. Foundations of a Logical Approach to Agent Programming. In M. Wooldridge, J.P. Muller, and M. Tambe, editors, Intelligent Agents Volume II — Proceedings of ATAL-95, Lecture Notes in Artificial Intelligence. Springer Verlag, 1995.
P. Loucopoulos and V. Karakostas. System Requirements Engineering. McGraw Hill, 1995.
P. Loucopoulos and V. Kavakli. Enterprise Modelling and the Teleological Approach to Requirements Engineering. International Journal of Intelligent and Cooperative Information Systems, 4(1):45–79, 1995.
John McCarthy and Patrick J. Hayes. Some Philosophical Problems From the Standpoint of Artificial Intelligence. In B. Meltzer and D. Mitchie, editors, Machine Intelligence, pages 463–502. Edinburg University Press, 1969.
J. Mylopoulos, L. Chung, and Nixon B.A. Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering, 18(6):483–497, 1992.
M. Ould. Modelling Business Processes for Understanding, Improvement and Enactment. Tutorial Notes, 13th International Conference on the Entity Relationship Approach (ER’ 94), Manchester, U.K., 1994.
M. A. Ould. Business Processes: Modeling and Analysis for Re-engineering and Improvement. Wiley, 1995.
D. Plexousakis. Simulation and Analysis of Business Processes Using GOLOG. In Proceedings of the Conference on Organizational Computing Systems (COOCS’95), pages 311–323, 1995.
D. Plexousakis. On the efficient maintenance of temporal integrity in knowledge bases. PhD thesis, Dept. of Computer Science, University of Toronto, 1996.
A. Rao. Modeling the service assurance process for Optus using GEM. Technical Report Technical Note 69, Australian Artificial Intelligence Institute, 1996.
R. Reiter. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, 1991.
R. Scherl and H. Levesque. The frame problem and knowledge producing actions. In Proceedings of AAAI-93, 1993.
A. van Lamsweerde, R. Darimont, and E. Letier. Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering, November 1998. Special Issue on Managing Inconsistency in Software Development.
A. van Lamsweerde, R. Darimont, and Massonet P. Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learned. In Proceedings of RE’95, 1995.
E. Yu and J. Mylopoulos. Understanding “Why” in Software Process Modelling. In Proceedings of the 16th International Conference on Software Engineering, pages 135–147, Sorrento, Italy, 1994.
E. Yu and J. Mylopoulos. Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering. In Proceedings of the 27th Annual Hawaii International Conference on Systems Sciences, pages 234–243, Hawaii, 1994.
E. Yu, J. Mylopoulos, and Y. Lesperance. AI Models for Business Process Reengineering. IEEE Expert, 11(4):16–23, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koubarakis, M., Plexousakis, D. (2000). A Formal Model for Business Process Modeling and Design. In: Wangler, B., Bergman, L. (eds) Advanced Information Systems Engineering. CAiSE 2000. Lecture Notes in Computer Science, vol 1789. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45140-4_11
Download citation
DOI: https://doi.org/10.1007/3-540-45140-4_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67630-0
Online ISBN: 978-3-540-45140-2
eBook Packages: Springer Book Archive