loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Wang Zhaoxia 1 ; Jianmin Wang 2 ; Lijie Wen 2 and Guiming Luo 2

Affiliations: 1 Tsinghua University, Logistical Engineering University and National Laboratory for Information Science and Technology (TNList), China ; 2 Tsinghua University, Ministry of Education and National Laboratory for Information Science and Technology (TNList), China

Keyword(s): Business Entity, Data-centric Workflow, WFCP-net, ASK-CTL, Workflow Modeling, Workflow Analyzing.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Business Process Management ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Symbolic Systems

Abstract: Despite the abundance of workflow analysis techniques from control-flow perspective, there is hardly any method for workflow verification from data processing perspective. In this paper, we restrict the WFCP-net, a Colored Petri Net with WF-net structure, to formally describe the key business entities in a data-centric workflow model. Then, we use ASK-CTL logic to describe the workflow requirements on business data processing perspective. The model checking method is adopted into our verification approach, which can explore some of the business contraventions of data perspectives in the workflow models. The effectiveness of our works has been validated with the CPN Tools.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.206.64.143

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Zhaoxia, W.; Wang, J.; Wen, L. and Luo, G. (2011). FORMALLY MODELING AND ANALYZING DATA-CENTRIC WORKFLOW USING WFCP-NET AND ASK-CTL . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS; ISBN 978-989-8425-55-3; ISSN 2184-4992, SciTePress, pages 139-144. DOI: 10.5220/0003408601390144

@conference{iceis11,
author={Wang Zhaoxia. and Jianmin Wang. and Lijie Wen. and Guiming Luo.},
title={FORMALLY MODELING AND ANALYZING DATA-CENTRIC WORKFLOW USING WFCP-NET AND ASK-CTL },
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS},
year={2011},
pages={139-144},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003408601390144},
isbn={978-989-8425-55-3},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS
TI - FORMALLY MODELING AND ANALYZING DATA-CENTRIC WORKFLOW USING WFCP-NET AND ASK-CTL
SN - 978-989-8425-55-3
IS - 2184-4992
AU - Zhaoxia, W.
AU - Wang, J.
AU - Wen, L.
AU - Luo, G.
PY - 2011
SP - 139
EP - 144
DO - 10.5220/0003408601390144
PB - SciTePress