Sciweavers

Share
CAISE
2000
Springer

A Formal Model for Business Process Modeling and Design

11 years 9 months ago
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 speci cations of business processes from high-level enterprise objectives. The use of a formal language permits us to verify that the speci cations possess certain correctness properties, namely that the responsibilities assigned to roles are ful lled and that the constraints are maintained.
Manolis Koubarakis, Dimitris Plexousakis
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CAISE
Authors Manolis Koubarakis, Dimitris Plexousakis
Comments (0)
books