03019nam 2200613Ia 450 991048438330332120200520144314.03-642-01918-810.1007/978-3-642-01918-0(CKB)1000000000746045(SSID)ssj0000317721(PQKBManifestationID)11208037(PQKBTitleCode)TC0000317721(PQKBWorkID)10295533(PQKB)10741471(DE-He213)978-3-642-01918-0(MiAaPQ)EBC3064235(PPN)136301169(EXLCZ)99100000000074604520090713d2009 uy 0engurnn|008mamaatxtccrFormal methods for web services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)1st ed. 2009.Berlin Springerc20091 online resource (VII, 341 p.) Lecture notes in computer science,0302-9743 ;5569Lectures.3-642-01917-X Includes bibliographical references and index.Calculi for Service-Oriented Computing -- Service Interaction: Patterns, Formalization, and Analysis -- Synthesis and Composition of Web Services -- Fundamentals of Session Types -- Asynchronous Session Types: Exceptions and Multiparty Interactions -- Contract-Based Discovery and Adaptation of Web Services -- Contract-Based Discovery and Composition of Web Services -- Quantitative Analysis of Web Services Using SRMC.This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009. SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.Lecture notes in computer science ;5569.SFM 2009Formal methods (Computer science)CongressesInternetCongressesFormal methods (Computer science)Internet004SS 4800rvkBernardo Marco1754236Padovani Luca1761756Zavattaro Gianluigi1754873International School on Formal Methods for the Design of Computer, Communication, and Software SystemsMiAaPQMiAaPQMiAaPQBOOK9910484383303321Formal methods for web services4201365UNINA