A symbolic approach for the verification and the test of service choreographies

A symbolic approach for the verification and the test of service choreographies

Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be devel...

Full description

Bibliographic Details
Main Author: Nguyễn, Huu Nghia (Hữu Nghĩa)
Language:ENG
Published: Université Paris Sud - Paris XI 2013
Subjects:
[INFO:INFO_OH] Computer Science/Other
[INFO:INFO_OH] Informatique/Autre
Choreography
Web services
Value-passing
Conformance
Projection
Realizability
Passive testing
Symbolic transition systems
Tools
Online Access:http://tel.archives-ouvertes.fr/tel-00961450
http://tel.archives-ouvertes.fr/docs/00/96/14/50/PDF/VD2_NGUYEN_HUU_NGHIA_31102013.pdf
http://tel.archives-ouvertes.fr/docs/00/96/14/50/ANNEX/VD2_NGUYEN_HUU_NGHIA_31102013_synthese_en_francais_annexes.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00961450
http://tel.archives-ouvertes.fr/docs/00/96/14/50/PDF/VD2_NGUYEN_HUU_NGHIA_31102013.pdf
http://tel.archives-ouvertes.fr/docs/00/96/14/50/ANNEX/VD2_NGUYEN_HUU_NGHIA_31102013_synthese_en_francais_annexes.pdf

Similar Items