DocumentCode
3144449
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
fYear
2006
fDate
15-19 Nov. 2006
Firstpage
309
Lastpage
316
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISoLA.2006.8
Filename
4463729
Link To Document