Author: Koubarakis M. Plexousakis D.
Publisher: Springer Publishing Company
ISSN: 1358-3948
Source: BT Technology Journal, Vol.17, Iss.4, 1999-10, pp. : 23-35
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
This paper presents 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 knowledge about an enterprise in a way that is both intuitive and mathematically formal. It also outlines the basic steps of a methodology that allows business analysts to go from high-level enterprise objectives, to detailed and formal specifications of business processes that can be enacted to realise these objectives. The formal language used means that the specifications can be verified as having certain correctness properties, e.g. that responsibilities assigned to roles are fulfilled, and constraints are maintained as a result of process execution.
Related content
Cell-library design methodology for integrated RSFQ-logic
By Lange S. Toepfer H. Uhlmann H.F.
Applied Superconductivity, Vol. 6, Iss. 10, 1999-10 ,pp. :
Long-Term Business Modelling Using System Dynamics
By MacDonald B. Potter J.M.M. Jensen K.O.
BT Technology Journal, Vol. 21, Iss. 2, 2003-04 ,pp. :