@inproceedings{f18779476e3e49b39f2b8ac0c3676144,
title = "Formal analysis of services compatibility",
abstract = "In this paper we propose an approach to check the compatibility of two services. The models of the services are built in Finite State Machine (FSM) and the behavior of services is described with the process of Communicating Sequential Processes (CSP). An operator named corresponding position concurrency is defined to facilitate the calculation of composability of the paths which are obtained from processes, thus we can determine whether the two services are compatible or not. Simple examples are introduced to illustrate how to use this approach.",
author = "Xueqiang Gong and Jing Liu and Miaomiao Zhang and Jueliang Hu",
year = "2009",
doi = "10.1109/COMPSAC.2009.141",
language = "英语",
isbn = "9780769537269",
series = "Proceedings - International Computer Software and Applications Conference",
pages = "243--248",
booktitle = "Proceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009",
note = "2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009 ; Conference date: 20-07-2009 Through 24-07-2009",
}