The proceedings contain 18 papers. The topics discussed include: service QoS composition at the level of part names; SCC service centered calculus; semantic querying of mathematical Web service descriptions; verified reference implementations WS-security protocols; translating Orc features into Petri Nets and the join calculus; dynamic constraint-based invocation of Web services; a formal of contracts for Web services; execution semantics for service chreographies; analysis and verification of time requirements applied to the Web services composition; a formal approach to service component architecture; evaluating the scalability of a Web service-based distributed e-learning and course management system; chereography conformance analysis: asynchronous communications and information alignment; and towards a unifying theory for Web services composition.
M. Bravetti, M. Nunez, G. Zavattaro (2006). Web Services and Formal Methods. BERLIN : springer [10.1007/11841197].
Web Services and Formal Methods
BRAVETTI, MARIO;ZAVATTARO, GIANLUIGI
2006
Abstract
The proceedings contain 18 papers. The topics discussed include: service QoS composition at the level of part names; SCC service centered calculus; semantic querying of mathematical Web service descriptions; verified reference implementations WS-security protocols; translating Orc features into Petri Nets and the join calculus; dynamic constraint-based invocation of Web services; a formal of contracts for Web services; execution semantics for service chreographies; analysis and verification of time requirements applied to the Web services composition; a formal approach to service component architecture; evaluating the scalability of a Web service-based distributed e-learning and course management system; chereography conformance analysis: asynchronous communications and information alignment; and towards a unifying theory for Web services composition.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
