@inproceedings{0de0b990b67b465a8bc284077b83a033,
title = "Formal analysis of behavioural equivalence for trustworthy and composite web services",
abstract = "Trustworthy and composite web services play important roles in service-oriented systems. Web services choreography as one important approach of composing web services describes the global model of service interactions among a set of participants. Bisimilar analysis that checks whether two choreographies are behavioural equivalent is an important verification approach for trustworthy composition. This paper discusses strong and weak bisimilarity of choreographies. Internal and external roles are distinguished from special roles that we hope to verify their observable behaviours. A language named Chor which is based on abstract syntax of WS-CDL is proposed to describe behaviours. In Chor, internal roles and internal activities among them are abstracted for their no effect on externally observable behaviour. A real example is presented to illustrate the usages and benefits of the formal analysis.",
author = "Yongwang Zhao and Chunyang Hu and Min Liu and Dianfu Ma",
year = "2010",
doi = "10.1109/UIC-ATC.2010.116",
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 = "428--433",
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",
}