Title :
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly
Author :
Rosario, Sidney ; Benveniste, Albert ; Haar, Stefan ; Jard, Claude
Author_Institution :
IRISA/INRIA Rennes, Rennes
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 evaluating end-to-end QoS of the orchestration with the help of the QoS of the called sites.
Keywords :
Petri nets; Web services; quality of service; QoS; Web services orchestrations; colored Petri net; quality of service; Algebra; Contracts; Jitter; Performance analysis; Petri nets; Quality of service; Stability analysis; System performance; Throughput; Web services; orchestrations; petri nets; web services;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.8
