Automated verification of proper choreography implementation

Jansen, E. and Yang, H.-I. and Helal, Sumi (2006) Automated verification of proper choreography implementation. In: 2006 International Symposium on Applications and the Internet, SAINT 2006. IEEE, pp. 180-189. ISBN 0769525083

Full text not available from this repository.


As business transactions become more complex it is important that all participants obey the so called rules of engagement. These rules of engagement can be captured in an interaction protocol or choreography. A choreography provides rules on how various webservices act together, in terms of observable behavior. We investigate how we can extract a protocol from a program and verify whether or not the implementation adheres to the protocol. We derive an algorithm to verify whether a program is operationally compatible with a protocol, meaning the program does not violate the protocol. This guarantees that a program will be from anomalies suchs as dead lock or failure due to unexpected messages. © 2006 IEEE.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
26 Jan 2018 10:30
Last Modified:
21 Nov 2022 16:25