Automating correctness verification of artifact-centric business process models

Diana Borrego; Rafael M. Gasca; María Teresa Gómez-López

doi:10.1016/j.infsof.2015.02.010

ScienceGate Book Chapters

JOURNAL ARTICLE

Automating correctness verification of artifact-centric business process models

Diana Borrego Rafael M. Gasca María Teresa Gómez-López

Year: 2015 Journal: Information and Software Technology Vol: 62 Pages: 187-197 Publisher: Elsevier BV

DOI: 10.1016/j.infsof.2015.02.010

Get Full-Text PDF Get Analytical Report

Keywords:

Correctness Artifact (error) Computer science Business process modeling Business process discovery Business process Business rule Artifact-centric business process model Software engineering Process (computing) Process modeling False positive paradox Reachability Business process management Formal verification Business Process Model and Notation Data mining Algorithm Artificial intelligence Programming language Work in process Engineering

Metrics

Cited By

5.09

FWCI (Field Weighted Citation Impact)

Refs

0.95

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Business Process Modeling and Analysis

Social Sciences → Business, Management and Accounting → Management Information Systems

Service-Oriented Architecture and Web Services

Physical Sciences → Computer Science → Information Systems

Semantic Web and Ontologies

Physical Sciences → Computer Science → Artificial Intelligence

Automating correctness verification of artifact-centric business process models

Metrics

Citation History

Topics

Related Documents

Verification and Validation of UML Artifact-Centric Business Process Models

Correctness of artefact-centric business process models

Correctness of artefact-centric business process models

Artifact-Centric Business Process Models in UML

Coordination Issues in Artifact-Centric Business Process Models