Authors:
Jeewani Anupama Ginige
;
Athula Ginige
and
Uma Sirinivasan
Affiliation:
School of Computing and Mathematics, University of Western Sydney, Australia
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Business Process Management
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Modeling Formalisms, Languages and Notations
;
Symbolic Systems
Abstract:
Processes consist of actions, participants, object and rules, known as elements. In a process, these elements are inter-woven together to achieve desired business goals. When managing process evolutions and changes, it is imperative to understand constraints, associations and dependencies (CAD) among process elements. Use of
high-level graphical model that encapsulate CAD among process elements, as given in [1], is limited in practice. Therefore, here we present formalism, to model CAD among process elements. This formalism is based on constraint modeling algebra named Kleene Algebra with Tests (KAT) [2]. This paper gives a set of definitions to capture CAD among process elements based on KAT. These definitions are used to create a single compact KAT expression that captures all possible CAD among process elements. The holistic and cohesive nature in capturing CAD among process elements and deploying KAT to model them into a single expression are the unique contributions of this re
search.
(More)