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.
CITATION STYLE
Koubarakis, M., & Plexousakis, D. (2000). A formal model for business process modeling and design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1789, pp. 142–156). Springer Verlag. https://doi.org/10.1007/3-540-45140-4_11
Mendeley helps you to discover research relevant for your work.