IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automated verification of proper choreography implementation

Proceedings. International Symposium on Applications and the Internet

Author(s): E. Jansen ; Hen-I Yang ; S. Helal
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Phoenix, AZ, USA
Conference Date: 23 January 2006
ISBN (Paper): 0-7695-2508-3
DOI: 10.1109/SAINT.2006.16
Regular:

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... View More

Advertisement