An Ontology-driven Approach to Support Semantic Verification in Business Process Modeling
نویسندگان
چکیده
This paper presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. Despite the widespread use of these models in research and practice, the verification of process model information is still a challenging issue. We suggest an ontology-driven approach making use of background knowledge encoded in formal ontologies and rules. In the first step, we develop a model for ontology-based representation of process models. In the second step, we use this model in conjunction with rules and machine reasoning for process model verification. We apply our approach using real-life administrative process models taken from a capital city.
منابع مشابه
What's inside the Box? Prospects and Limitations of Semantic Verification in Process Modeling
Business process models support the optimization, reengineering and implementation of IT applications in administration and economics. In this area, models are important to manage complexity. In order to realize their full potential, the correctness of business process models is of significant importance. The paper applies an ontology-driven approach that aims at supporting semantic verificatio...
متن کاملAn Ontology Driven Approach to Software Process Engineering
Model Driven Architecture (MDA) provides a set of metamodel standards as MOF, UML, BPMN, SPEM and others. A metamodel makes statements about what can be expressed in the valid models of a certain modeling language. Unfortunately, the mentioned metamodels have semiformal architecture, thus it is not possible to make and to verify created language statements with formal techniques such as the con...
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملSemantic Process Modeling - Design and Implementation of an Ontology-based Representation of Business Processes
An extension of process modeling languages is designed which allows representing the semantics of model element labels which are formulated in natural language by using concepts of a formal ontology. This combination of semiformal models with formal ontologies will be characterized as semantic process modeling. The approach is exemplarily applied to the languages EPC (Event-driven Process Chain...
متن کاملVerification of Process Models
This chapter presents an ontology-driven approach that aims at supporting semantic verification of semiformal process models. The ontology-driven approach suggested consists of two steps. The first step is the development of a model for ontology-based representation of process models. This representation allows enriching process models by annotating them with semantics specified in a formal ont...
متن کامل