@inproceedings{3e6ea1a8714f402d80096a6c21f28330,
title = "Towards trustworthy composite service through business process model verification",
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.",
keywords = "BPMN, Model verification, Time Petri nets, Time property, Trustworthy composite service",
author = "Wenjia Huai and Xudong Liu and Hailong Sun",
year = "2010",
doi = "10.1109/UIC-ATC.2010.114",
language = "英语",
isbn = "9780769542720",
series = "Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010",
pages = "422--427",
booktitle = "Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010",
note = "Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010 ; Conference date: 26-10-2010 Through 29-10-2010",
}