Verification of Semantically-Enhanced Artifact Systems

Hariri, Babak Bagheri; Calvanese, Diego; Montali, Marco; Santoso, Ario; Solomakhin, Dmitry

doi:10.1007/978-3-642-45005-1_51

Cited by 8 publications

(15 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The framework of relational Data-centric Dynamic Systems (DCDSs) was originally proposed for the formal specification and verification of artifact-centric processes [4].…”

Section: Overview Of Main Process Modeling Approachesmentioning

confidence: 99%

“…Fig. 4 The student artifact represented using the GSM notation lifecycle model. The lifecycle model is defined in GSM using stages associated with guards and milestones.…”

Section: Applying the Framework To The Artifact-centric Approachmentioning

confidence: 99%

“…Once this translation has been accomplished, well-established verification techniques for logic formulas can be applied [5]. The verification of artifact-centric models has been extensively investigated, for example in [4,15,69], resulting in full support for "D06-Support for Model Verification." The GSM operational semantics is described in [15], covering both the enacting behavior and interactions between DRCs.…”

Section: Applying the Framework To The Artifact-centric Approachmentioning

confidence: 99%

“…The tool has been made open source and relabeled BizArtifact 4 . BizArtifact comprises both modeling and execution environments, thereby scoring full support for criteria "D21-Design" and "D22-Implementation and Execution," respectively.…”

Section: Applying the Framework To The Artifact-centric Approachmentioning

confidence: 99%

“…7. 4 Available for free at https://sourceforge.net/projects/bizartifact/. The data model also allows defining the attributes present in each of the objects.…”

Section: Applying the Framework To The Object-aware Approachmentioning

confidence: 99%

See 4 more Smart Citations

DALEC: a framework for the systematic evaluation of data-centric approaches to process management software

et al. 2018

View full text Add to dashboard Cite

The increasing importance of data in business processes has led to the emergence of data-centric business process management, which deviates from the widely used activity-centric paradigm. Data-centric approaches set their focus on data, aiming at supporting data-intensive business processes and increased process flexibility. The objective of this article is to gain profound insights into the maturity of different data-centric approaches as well as their capabilities. In particular, this article will provide a framework for systematically evaluating and comparing data-centric approaches, with regard to the phases of the business process lifecycle. To this end, a systematic literature review (SLR) was conducted with the goal of evaluating the capabilities of data-centric process management approaches. The SLR comprises 38 primary studies which were thoroughly analyzed. The studies were categorized into different approaches, whose capabilities were thoroughly assessed. Special focus was put on the tooling and software of the approaches. The article provides the empirically grounded DALEC framework to evaluate and compare data-centric approaches. Furthermore, the results of the SLR offer insights into existing data-centric approaches and their capabilities. Data-centric approaches promise better support of loosely structured and data-intensive business processes, which may not be adequately represented by activity-centric paradigms.

show abstract

“…The framework of relational Data-centric Dynamic Systems (DCDSs) was originally proposed for the formal specification and verification of artifact-centric processes [4].…”

Section: Overview Of Main Process Modeling Approachesmentioning

confidence: 99%

“…Fig. 4 The student artifact represented using the GSM notation lifecycle model. The lifecycle model is defined in GSM using stages associated with guards and milestones.…”

Section: Applying the Framework To The Artifact-centric Approachmentioning

confidence: 99%

Section: Applying the Framework To The Artifact-centric Approachmentioning

confidence: 99%

Section: Applying the Framework To The Artifact-centric Approachmentioning

confidence: 99%

“…7. 4 Available for free at https://sourceforge.net/projects/bizartifact/. The data model also allows defining the attributes present in each of the objects.…”

Section: Applying the Framework To The Object-aware Approachmentioning

confidence: 99%

See 3 more Smart Citations

DALEC: a framework for the systematic evaluation of data-centric approaches to process management software

et al. 2018

View full text Add to dashboard Cite

show abstract

Specification-Driven Multi-perspective Predictive Business Process Monitoring

Santoso

2018

Lecture Notes in Business Information Processing

Self Cite

View full text Add to dashboard Cite

Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs). In practice, different business domains might require different kinds of predictions. Hence, it is important to have a means for properly specifying the desired prediction tasks, and a mechanism to deal with these various prediction tasks. Although there have been many studies in this area, they mostly focus on a specific prediction task. This work introduces a language for specifying the desired prediction tasks, and this language allows us to express various kinds of prediction tasks. This work also presents a mechanism for automatically creating the corresponding prediction model based on the given specification. Thus, different from previous studies, our approach enables us to deal with various kinds of prediction tasks based on the given specification. A prototype implementing our approach has been developed and experiments using a real-life event log have been conducted.

show abstract

Verification of Semantically-Enhanced Artifact Systems

Hariri

Calvanese

Montali

et al. 2013

Service-Oriented Computing

Self Cite

View full text Add to dashboard Cite

Abstract. Artifact-Centric systems have emerged in the last years as a suitable framework to model business-relevant entities, by combining their static and dynamic aspects. In particular, the Guard-Stage-Milestone (GSM) approach has been recently proposed to model artifacts and their lifecycle in a declarative way. In this paper, we enhance GSM with a Semantic Layer, constituted by a fullfledged OWL 2 QL ontology linked to the artifact information models through mapping specifications. The ontology provides a conceptual view of the domain under study, and allows one to understand the evolution of the artifact system at a higher level of abstraction. In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model. This technique has been implemented in a tool that exploits state-of-the-art ontology-based data access technologies to manipulate the temporal properties according to the ontology and the mappings, and that relies on the GSMC model checker for verification.

show abstract

Verification of Semantically-Enhanced Artifact Systems

Cited by 8 publications

References 19 publications

DALEC: a framework for the systematic evaluation of data-centric approaches to process management software

DALEC: a framework for the systematic evaluation of data-centric approaches to process management software

Specification-Driven Multi-perspective Predictive Business Process Monitoring

Verification of Semantically-Enhanced Artifact Systems

Contact Info

Product

Resources

About