A formal framework for business process modelling and design

  • Authors:
  • Manolis Koubarakis;Dimitris Plexousakis

  • Affiliations:
  • Department of Electronic and Computer Engineering, Technical University of Crete, 73100 Chania, Crete, Greece;Department of Computer Science, University of Crete, 71305 Heraklion, Crete, Greece

  • Venue:
  • Information Systems
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.