Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly

Authors:
Sidney Rosario;Albert Benveniste;Stefan Haar;Claude Jard
Affiliations:
-;-;-;-
Venue:
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Year:
2006

Citing 0
Cited 1

Event structure semantics of Orc

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web Services Orchestrations require a firm mathematical basis for their development, regarding both their functional and QoS characteristics. We provide such a basis in the form of a model based on colored Petri net systems. Our approach allows evaluatingend-to-end QoS of the orchestration with the help of the QoS of the called sites.