000 03687nam a22005415i 4500
001 u374768
003 SIRSI
005 20160812084251.0
007 cr nn 008mamaa
008 100823s2010 gw | s |||| 0|eng d
020 _a9783642144585
_9978-3-642-14458-5
040 _cMX-MeUAM
050 4 _aQA75.5-76.95
082 0 4 _a005.7
_223
100 1 _aLaneve, Cosimo.
_eeditor.
245 1 0 _aWeb Services and Formal Methods
_h[recurso electrónico] :
_b6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /
_cedited by Cosimo Laneve, Jianwen Su.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aVII, 197p. 60 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6194
505 0 _aSessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update.
520 _aThis volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4–5, 2009 in Bologna, Italy. There were 18 submissions by authors from 12 countries. Each submission was reviewed by at least 3, and on the average 3.9, Program Committee m- bers. The committee decided to accept 10 papers. Most of the selected papers are reports on work in progress on problems related to formal aspects of Web services. This workshop also features three invited talks by Mariangiola Dezani (Sessions and Session Types: An Overview), Robin Milner (Processes, and C- egories of Bigraphs) and Maurizio Lenzerini. Dezani’s talk is included in this volume. We thank all authors who submitted papers to this workshop, and the m- bersof the ProgramCommittee for their workin the reviewprocess.We arealso grateful to the CONCUR 2009 organizers who take care of many organizational details for the workshop and, in particular, to Mario Bravetti and Gianluigi - vattaro. We also thank EasyChair that helped us in the management of every step of the workshop.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aInformation systems.
650 0 _aInformation storage and retrieval systems.
650 0 _aMultimedia systems.
650 1 4 _aComputer Science.
650 2 4 _aInformation Systems and Communication Service.
650 2 4 _aInformation Systems Applications (incl.Internet).
650 2 4 _aComputer Communication Networks.
650 2 4 _aInformation Storage and Retrieval.
650 2 4 _aSoftware Engineering.
650 2 4 _aMultimedia Information Systems.
700 1 _aSu, Jianwen.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642144578
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6194
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-14458-5
596 _a19
942 _cLIBRO_ELEC
999 _c202648
_d202648