Abstract: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 onto… Show more
“…Similarly to our work, [18] performs verification over process models considering the meaning of the tasks. These are annotated with preconditions and effects defined in logic, and use an ontology to define the underlying data.…”
Abstract. This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. there are no internal mistakes) and to validate them (i.e. the model complies with the business requirements). This approach is based on translating these models into logic and then encoding the desirable properties as satisfiability problems of derived predicates. In this way, we can then use a tool to check if these properties are fulfilled.
“…Similarly to our work, [18] performs verification over process models considering the meaning of the tasks. These are annotated with preconditions and effects defined in logic, and use an ontology to define the underlying data.…”
Abstract. This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. there are no internal mistakes) and to validate them (i.e. the model complies with the business requirements). This approach is based on translating these models into logic and then encoding the desirable properties as satisfiability problems of derived predicates. In this way, we can then use a tool to check if these properties are fulfilled.
“…In contrast, the automated planning of process models focuses on the construction of to-be process models for a given planning problem. Further related work in the SBP analysis phase aims at examining the consistency of existing process models [13,34,55]. These approaches validate whether the actions (within a process model) are consistent both among themselves and with respect to the control flow patterns used.…”
In times of dynamically changing markets, companies are forced to (re)design their processes quickly and frequently, which typically implies a significant degree of time-consuming and cost-intensive manual work. To alleviate this drawback, we envision the automated planning of process models. More precisely, we propose a novel algorithm for an automated construction of the control flow pattern 'exclusive choice', which constitutes an essential step toward an automated planning of process models. The algorithm is built upon an abstract representation language that provides a general and formal basis and serves as the vocabulary to define the planning problem. As part of our evaluation, we find that, based on a given planning problem, our algorithm is not subject to potential modeling failures. We further implement the approach in process planning software and analyze not only its feasibility and applicability by means of several real-world processes from different application contexts and companies but also its practical utility based on the criteria flexibility by definition, modeling costs, and modeling time.
“…Languages, like BPMN, EPCs, or UML Activity Diagrams, that can be mapped to free-choice Petri nets can be checked for soundness in quadratic time [17], structured models in linear time [18]. There are also techniques available for checking the correctness of data flow [19,20,21], satisfiability of constraints on the resource perspective [22,23,24], or the interoperability of cross-organizational workflows [25]. These correctness aspects are well understood and efficiently supported by tools for a wide range of process model classes.…”
Section: Perspectives On Process Model Qualitymentioning
confidence: 99%
“…Algorithm 5 proceeds with the analysis of activity labels of action-noun (of ) style (lines [17][18][19][20][21][22][23][24]. The label part preceding preposition of is recognized as an action.…”
Section: Derivation Of Action and Objectmentioning
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred models and dozens of often hardly trained modelers calls for automated quality assurance. While formal properties of control flow can easily be checked by existing tools, there is a notable gap for checking the quality of the textual content of models, in particular, its activity labels. In this paper, we address the problem of activity label quality in business process models. We designed a technique for the recognition of labeling styles, and the automatic refactoring of labels with quality issues. More specifically, we developed a parsing algorithm that is able to deal with the shortness of activity labels, which integrates natural language tools like WordNet and the Stanford Parser. Using three business process model collections from practice with differing labeling style distributions, we demonstrate the applicability of our technique. In comparison to a straightforward application of standard natural language tools, our technique provides much more stable results. As an outcome, the technique shifts the boundary of process model quality issues that can be checked automatically from syntactic to semantic aspects.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.