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.

• Type: Conference
• Year: 2000
• Where: CAISE
• Authors: Manolis Koubarakis, Dimitris Plexousakis
• Keywords: Business Analysts, CAISE 2000, Enterprise Knowledge, Formal Framework, Information Management