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.
%0 Journal Article
%1 koubarakis02
%A Koubarakis, Manolis
%A Plexousakis, Dimitris
%D 2002
%J Information Systems
%K framework modeling process
%N 5
%P 299--319
%R 10.1016/S0306-4379(01)00055-2
%T A formal framework for business process modelling and design
%U http://www.sciencedirect.com/science/article/B6V0G-44VWWXW-1/2/e93b0e8affb4dca5d4be6db177dc817e
%V 27
%X 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.
@article{koubarakis02,
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.},
added-at = {2006-03-24T16:34:33.000+0100},
author = {Koubarakis, Manolis and Plexousakis, Dimitris},
biburl = {https://www.bibsonomy.org/bibtex/2f5eb10d14b600c9bf8dd8cba7d4a0c1c/neilernst},
citeulike-article-id = {392778},
comment = {- seems to be a rehash of existing process modeling languages, not sure of its utility for actual modelers
- no UI, nor any validation of the concept},
description = {sdasda},
doi = {10.1016/S0306-4379(01)00055-2},
interhash = {ca23bb71a4f9f3061f9f56609ffb9e3e},
intrahash = {f5eb10d14b600c9bf8dd8cba7d4a0c1c},
journal = {Information Systems},
keywords = {framework modeling process},
month = {July},
number = 5,
pages = {299--319},
priority = {0},
timestamp = {2006-03-24T16:34:33.000+0100},
title = {A formal framework for business process modelling and design},
url = {http://www.sciencedirect.com/science/article/B6V0G-44VWWXW-1/2/e93b0e8affb4dca5d4be6db177dc817e},
volume = 27,
year = 2002
}