Automated verification of proper choreography implementation
Rattachement africain : us. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
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 Web services 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 such as dead lock or failure due to unexpected messages.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- Automated verification of proper choreography implementation
- Date Crossref
- 01/01/2006
- Éditeur
- IEEE
- Type
- proceedings-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
University of Florida Department of Computer & Information Science & Engineering pays non établi dans la noticeUniversité ou école supérieure
-
Dept. of Comput. & Inf. Sci. & Eng. pays non établi dans la noticeInstitution
Department of Computer & Information Science & Engineering — University of Florida et Dept. of Comput. & Inf. Sci. & Eng..
Une affiliation ne permet pas de déduire la nationalité d’un auteur.