Advanced search
1 file | 2.24 MB

Web service choreography conformance verification through the piX-model

Gregory Van Seghbroeck (UGent) , Bruno Volckaert (UGent) , Filip De Turck (UGent) , Bart Dhoedt (UGent) and Piet Demeester (UGent)
Author
Organization
Abstract
As the adoption of the Service Oriented Architecture paradigm has dramatically increased over the past few years, proper coordination of loosely coupled services becomes an important issue when building state-of-the-art applications. This coordination is typically organized through orchestration (requiring a central coordinating entity) or through choreographies. While the latter approach allows for a fully distributed coordination, the need also arises for a distributed conformance check, ensuring that each participant of the choreography behaves according to the general choreography. In this paper, a formalism is presented to ensure this conformance at design time, with possible extensions to deploy time and to runtime conformance checking. This formalism is referred to as the piX-model and it will be shown that the approach taken is inherently less complex, both in time and space, than the conventional p-calculus-based approach, whilst offering the same conformance guarantees. This gain in performance allows for a small design turnaround time, and also opens the avenue to runtime conformance checking by resource constrained devices.
Keywords
Web services, choreography, WS-CDL, open bisimulation, CALCULUS

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 2.24 MB

Citation

Please use this url to cite or link to this publication:

Chicago
Van Seghbroeck, Gregory, Bruno Volckaert, Filip De Turck, Bart Dhoedt, and Piet Demeester. 2010. “Web Service Choreography Conformance Verification Through the piX-model.” International Journal of Cooperative Information Systems 19 (1-2): 1–30.
APA
Van Seghbroeck, G., Volckaert, B., De Turck, F., Dhoedt, B., & Demeester, P. (2010). Web service choreography conformance verification through the piX-model. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 19(1-2), 1–30.
Vancouver
1.
Van Seghbroeck G, Volckaert B, De Turck F, Dhoedt B, Demeester P. Web service choreography conformance verification through the piX-model. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS. 2010;19(1-2):1–30.
MLA
Van Seghbroeck, Gregory, Bruno Volckaert, Filip De Turck, et al. “Web Service Choreography Conformance Verification Through the piX-model.” INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS 19.1-2 (2010): 1–30. Print.
@article{1265787,
  abstract     = {As the adoption of the Service Oriented Architecture paradigm has dramatically increased over the past few years, proper coordination of loosely coupled services becomes an important issue when building state-of-the-art applications. This coordination is typically organized through orchestration (requiring a central coordinating entity) or through choreographies. While the latter approach allows for a fully distributed coordination, the need also arises for a distributed conformance check, ensuring that each participant of the choreography behaves according to the general choreography.
In this paper, a formalism is presented to ensure this conformance at design time, with possible extensions to deploy time and to runtime conformance checking. This formalism is referred to as the piX-model and it will be shown that the approach taken is inherently less complex, both in time and space, than the conventional p-calculus-based approach, whilst offering the same conformance guarantees. This gain in performance allows for a small design turnaround time, and also opens the avenue to runtime conformance checking by resource constrained devices.},
  author       = {Van Seghbroeck, Gregory and Volckaert, Bruno and De Turck, Filip and Dhoedt, Bart and Demeester, Piet},
  issn         = {0218-8430},
  journal      = {INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS},
  keywords     = {Web services,choreography,WS-CDL,open bisimulation,CALCULUS},
  language     = {eng},
  number       = {1-2},
  pages        = {1--30},
  title        = {Web service choreography conformance verification through the piX-model},
  url          = {http://dx.doi.org/10.1142/S0218843010002097},
  volume       = {19},
  year         = {2010},
}

Altmetric
View in Altmetric
Web of Science
Times cited: