LEADER 05182nam  22008775  450 
001 996465709903316
005 20200702065951.0
010   $a3-319-33612-6
024 7 $a10.1007/978-3-319-33612-1
035   $a(CKB)3710000000653155
035   $a(SSID)ssj0001666104
035   $a(PQKBManifestationID)16455291
035   $a(PQKBTitleCode)TC0001666104
035   $a(PQKBWorkID)14999965
035   $a(PQKB)10892981
035   $a(DE-He213)978-3-319-33612-1
035   $a(MiAaPQ)EBC6299378
035   $a(MiAaPQ)EBC5591635
035   $a(Au-PeEL)EBL5591635
035   $a(OCoLC)947643056
035   $a(PPN)193444100
035   $a(EXLCZ)993710000000653155
100   $a20160419d2016      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aWeb Services, Formal Methods, and Behavioral Types$b[electronic resource] $e11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /$fedited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XVII, 167 p. 36 illus.)
225 1 $aProgramming and Software Engineering ;$v9421
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-33611-8 
327   $aKickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants.
330   $aThis volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. .
410  0$aProgramming and Software Engineering ;$v9421
606   $aApplication software
606   $aSoftware engineering
606   $aComputer logic
606   $aComputer communication systems
606   $aComputer system failures
606   $aManagement information systems
606   $aComputer science
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
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aApplication software.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aComputer communication systems.
615  0$aComputer system failures.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aInformation Systems Applications (incl. Internet).
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aComputer Communication Networks.
615 24$aSystem Performance and Evaluation.
615 24$aManagement of Computing and Information Systems.
676   $a006
702   $aHildebrandt$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRavara$b António$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $avan der Werf$b Jan Martijn$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWeidlich$b Matthias$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465709903316
996   $aWeb Services, Formal Methods, and Behavioral Types$92829865
997   $aUNISA