@inproceedings{362d7010db9743db9c806ce2f2c25ee3,
title = "Model checking service component composition by SPIN",
abstract = "Service Component Architecture (SCA) provides a language-independent way to define and compose service component. The SCA assembly model should be reliable. This target can be reached by translating a formal signature model and behavior model for SCA to Promela, and Promela specifications are then verified with the model checker SPIN. SCA complements some service composition languages (such as BPEL) for enabling the more convenient and efficient service-based development. Based on our method and by using IBM WID tool, we show how to build a reliable BPEL process.",
author = "Zuohua Ding and Mingyue Jiang and Jing Liu",
year = "2009",
doi = "10.1109/ICIS.2009.212",
language = "英语",
isbn = "9780769536415",
series = "Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009",
publisher = "IEEE Computer Society",
pages = "1029--1034",
booktitle = "Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009",
address = "美国",
note = "8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009 ; Conference date: 01-06-2009 Through 03-06-2009",
}