LEADER 04119nam  22007935  450 
001 9910483813903321
005 20251226203843.0
010   $a3-642-01364-3
024 7 $a10.1007/978-3-642-01364-5
035   $a(CKB)1000000000718149
035   $a(SSID)ssj0000320687
035   $a(PQKBManifestationID)11232604
035   $a(PQKBTitleCode)TC0000320687
035   $a(PQKBWorkID)10257753
035   $a(PQKB)11419592
035   $a(DE-He213)978-3-642-01364-5
035   $a(MiAaPQ)EBC3064160
035   $a(PPN)134131479
035   $a(EXLCZ)991000000000718149
100   $a20100301d2009      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aWeb Services and Formal Methods $e5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings /$fedited by Roberto Bruni, Karsten Wolf
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (X, 241 p.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5387
300   $aInternational conference proceedings.
311 08$a3-642-01363-5 
320   $aIncludes bibliographical references and index.
327   $aOn the Expressive Power of Process Interruption and Compensation -- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets -- Contract Compliance and Choreography Conformance in the Presence of Message Queues -- Verification of Choreographies During Execution Using the Reactive Event Calculus -- RESTful Petri Net Execution -- Validation and Discovery of Non-deterministic Semantic e-Services -- Fault, Compensation and Termination in WS-BPEL 2.0 ? A Comparative Analysis -- Refactoring Long Running Transactions -- On-The-Fly Model-Based Testing of Web Services with Jambition -- Towards a Formal Framework for Workflow Interoperability -- Security Types for Sessions and Pipelines -- Why Does My Service Have No Partners? -- Proof Techniques for Adapter Generation -- Efficient Controllability Analysis of Open Nets.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v5387
606   $aComputer engineering
606   $aComputer networks
606   $aComputer science
606   $aApplication software
606   $aSoftware engineering
606   $aComputer Engineering and Networks
606   $aComputer Communication Networks
606   $aTheory of Computation
606   $aComputer and Information Systems Applications
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer science.
615  0$aApplication software.
615  0$aSoftware engineering.
615 14$aComputer Engineering and Networks.
615 24$aComputer Communication Networks.
615 24$aTheory of Computation.
615 24$aComputer and Information Systems Applications.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a621.39
701   $aBruni$b Roberto$0157732
701   $aWolf$b Karsten$01228422
712 12$aWS-FM 2008
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483813903321
996   $aWeb services and formal methods$94197512
997   $aUNINA