LEADER 04598nam  22007815  450 
001 996465986103316
005 20200629125305.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$b[electronic resource] $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 ;$v5387
300   $aInternational conference proceedings.
311   $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 ;$v5387
606   $aComputer engineering
606   $aComputer communication systems
606   $aComputers
606   $aApplication software
606   $aSoftware engineering
606   $aComputer logic
606   $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aComputer engineering.
615  0$aComputer communication systems.
615  0$aComputers.
615  0$aApplication software.
615  0$aSoftware engineering.
615  0$aComputer logic.
615 14$aComputer Engineering.
615 24$aComputer Communication Networks.
615 24$aTheory of Computation.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
676   $a621.39
702   $aBruni$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWolf$b Karsten$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aWS-FM 2008
906   $aBOOK
912   $a996465986103316
996   $aWeb Services and Formal Methods$9772379
997   $aUNISA