Article

Towards Trustworthy Composite Service Through Business Process Model Verification

Authors:

Wenjia Huai,

Xudong Liu,

Hailong SunAuthors Info & Claims

UIC-ATC '10: Proceedings of the 2010 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing

Pages 422 - 427

https://doi.org/10.1109/UIC-ATC.2010.114

Published: 26 October 2010 Publication History

Publisher Site

Abstract

The Business Process Modeling Notation (BPMN) is a standard for modeling business processes in the early phases of systems development. Model verification is an important means to guarantee the trustiness of composite services. The verification of model, especially the model with strict time constraints, is a challenge in the field of trust composite services. Whether a model is trustworthy depends not only on the model structure but also on quantitative properties such as time properties. In this paper, we propose a mapping from BPMN to time Petri nets, and use the verification techniques on the basis. The algorithm we present can be used to check the model structure and the time choreography.

Cited By

View all

Nguyen Thanh TLe Thanh NHoang Thi Thanh HHa Thi T(2023)VeBPRu: A Toolchain for Formally Verifying Business Processes and Business RulesProceedings of the 2023 8th International Conference on Intelligent Information Technology10.1145/3591569.3591572(15-19)Online publication date: 24-Feb-2023
https://dl.acm.org/doi/10.1145/3591569.3591572
Patig SStolz M(2018)A pattern-based approach for the verification of business process descriptionsInformation and Software Technology10.1016/j.infsof.2012.07.00255:1(58-87)Online publication date: 30-Dec-2018
https://dl.acm.org/doi/10.1016/j.infsof.2012.07.002
Corradini FFornari FPolini ARe BTiezzi FVandin ARosu GDi Penta MNguyen T(2017)BProVe: tool support for business process verificationProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering10.5555/3155562.3155682(937-942)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.5555/3155562.3155682
Show More Cited By

Towards Trustworthy Composite Service Through Business Process Model Verification
1. Applied computing

Recommendations

Verification of BPMN Model Functional Completeness by using the Topological Functioning Model
ENASE 2016: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering

BPMN (Business Process Model and Notation) models are used to specify business knowledge in the language that is familiar for business people. They consist of multiple process diagrams that highlight different aspects of interaction among participants. ...
A Tool for the Automatic Verification of BPMN Choreographies
SCC '15: Proceedings of the 2015 IEEE International Conference on Services Computing

The Business Process Model Notation (BPMN) provides a standard graphical language that can be used by business analysts for modeling business process choreographies. A challenging task is to formally verify that constructed choreography models are ...
Service Modeling from Business Process: A Model-Driven Approach
SBSI '16: Proceedings of the XII Brazilian Symposium on Information Systems on Brazilian Symposium on Information Systems: Information Systems in the Cloud Computing Era - Volume 1

Business processes modeling helps to understand and identify activities performed in an organization, which serve as a source of requirements for system modeling. It also can be used to discover candidate services to support these requirements. However, ...

Comments

Information & Contributors

Information

Published In

UIC-ATC '10: Proceedings of the 2010 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing

October 2010

513 pages

ISBN:9780769542720

Publisher

IEEE Computer Society

United States

Publication History

Published: 26 October 2010

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Nguyen Thanh TLe Thanh NHoang Thi Thanh HHa Thi T(2023)VeBPRu: A Toolchain for Formally Verifying Business Processes and Business RulesProceedings of the 2023 8th International Conference on Intelligent Information Technology10.1145/3591569.3591572(15-19)Online publication date: 24-Feb-2023
https://dl.acm.org/doi/10.1145/3591569.3591572
Patig SStolz M(2018)A pattern-based approach for the verification of business process descriptionsInformation and Software Technology10.1016/j.infsof.2012.07.00255:1(58-87)Online publication date: 30-Dec-2018
https://dl.acm.org/doi/10.1016/j.infsof.2012.07.002
Corradini FFornari FPolini ARe BTiezzi FVandin ARosu GDi Penta MNguyen T(2017)BProVe: tool support for business process verificationProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering10.5555/3155562.3155682(937-942)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.5555/3155562.3155682
Corradini FFornari FPolini ARe BTiezzi FVandin ARosu GDi Penta MNguyen T(2017)BProVe: a formal verification framework for business process modelsProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering10.5555/3155562.3155593(217-228)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.5555/3155562.3155593
Cheikhrouhou SKallel SGuermouche NJmaiel M(2015)The temporal perspective in business process modelingService Oriented Computing and Applications10.1007/s11761-014-0170-x9:1(75-85)Online publication date: 1-Mar-2015
https://dl.acm.org/doi/10.1007/s11761-014-0170-x
Corradini FPolini ARe BTiezzi F(2015)An Operational Semantics of BPMN CollaborationRevised Selected Papers of the 12th International Conference on Formal Aspects of Component Software - Volume 953910.1007/978-3-319-28934-2_9(161-180)Online publication date: 14-Oct-2015
https://dl.acm.org/doi/10.1007/978-3-319-28934-2_9
Cheikhrouhou SKallel SGuermouche NJmaiel MWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Toward a Time-centric modeling of Business Processes in BPMN 2.0Proceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539182(154-163)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539182

Abstract

Cited By

Recommendations

Verification of BPMN Model Functional Completeness by using the Topological Functioning Model

A Tool for the Automatic Verification of BPMN Choreographies

Service Modeling from Business Process: A Model-Driven Approach

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations