Supporting Execution-Level Business Process Modeling with Semantic Technologies

Modeling languages including BPMN which is the de facto standard for business process modeling are limited to a "contemplative" modeling of their functional behavior. Its extension is necessary to allow a "productive" modeling of processes. This should facilitate their analysis, verification and automatic implementation. In this article, we analyze the related approaches proposed in this area. The aim is to highlight their limitations and identify the criteria of an approach.

show abstract

“…The contribution in this section is provided by [8]. It is based on the extension of the ontology sBPMN (Extended BPMN Ontology) [14].…”

Section: B Approach Focused On the Sbpmn Extended Ontologymentioning

confidence: 99%

Basics and limitations of approaches for specification of semantic business processes

Belouadha

Oinzioui

Kabbaj

2015

2015 10th International Conference on Intelligent Systems: Theories and Applications (SITA)

View full text Add to dashboard Cite

show abstract

“…It has been integrated with service discovery [50] and service composition [33] facilities, as well as the verification functionality described herein. The tool was presented in the form of a demonstration at DASFAA 2009 [14]. A screenshot of the tool is shown in Fig.…”

Section: Maestromentioning

confidence: 99%

Beyond soundness: on the verification of semantic business process models

Weber

Hoffmann

Mendling

2010

Distrib Parallel Databases

Self Cite

View full text Add to dashboard Cite

The verification of control-flow soundness is well understood as an important step before deploying business process models. However, the control flow does not capture what the process activities actually do when they are executed. Semantic annotations offer the opportunity to take this into account. Inspired by semantic Web service approaches such as OWL-S and WSMO, we consider process models in which the individual activities are annotated with logical preconditions and effects, specified relative to an ontology that axiomatizes the underlying business domain. Verification then addresses the overall process behavior, arising from the interaction between control-flow and behavior of individual activities. To this end, we combine notions from the workflow community with notions from the AI actions and change literature. We introduce a formal execution semantics for annotated business processes. We point out four verification tasks that arise, concerning precondition/effect conflicts, reachability, and executability. We examine the borderline between classes of processes that can, or cannot, be verified in polynomial time. For precondition/effect conflicts, we show that the borderline is the same as that of the Communicated by Asuman Dogac.The major part of this work was conducted while the first and second authors worked for SAP Research, Karlsruhe. 272 Distrib Parallel Databases (2010) 27: 271-343 logic underlying the ontology axioms. For reachability and executability, we identify a class of processes that can be verified in polynomial time by a fixpoint algorithm which we design for that purpose. We show that this class of processes is maximal in the sense that, when generalizing it in any of the most relevant directions, the validation tasks become computationally hard.

show abstract

“…Research in the field of consistency regarding model syntax using meta model rules have been done, for example, for determining the soundness of process models [15]. Analysis for semantic consistency concerning the domain language presently focuses on the validation of consistency in the area of Business/IT-Alignment for analyzing appropriate transformation of business process models into executable models [48][49][50]. In this, differing use of the domain language among process models is not explored.…”

Section: Related Workmentioning

confidence: 99%

Semantics-Based Business Process Model Similarity

Humm

Fengel

2012

Business Information Systems

View full text Add to dashboard Cite

Abstract. Business process modeling has become an accepted means for designing and describing business operations. As a result, comparing and aligning business process models within and between organizations is increasingly important. However, due to differing use of modeling languages and domain languages for labeling models and their elements, model comparison is a non-trivial task. Presently, it is to be performed manually. For easing this workload, we present a novel approach for determining semantic similarity in an automated manner, directed at supporting business analysis through semantic reasoning.

show abstract

Supporting Execution-Level Business Process Modeling with Semantic Technologies

Cited by 5 publications

References 5 publications

Basics and limitations of approaches for specification of semantic business processes

Basics and limitations of approaches for specification of semantic business processes

Beyond soundness: on the verification of semantic business process models

Semantics-Based Business Process Model Similarity

Contact Info

Product

Resources

About