UID:
almahu_9947363993302882
Format:
XVII, 167 p. 36 illus.
,
online resource.
ISBN:
9783319336121
Series Statement:
Lecture Notes in Computer Science, 9421
Content:
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. 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. .
Note:
Kickstarting 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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783319336114
Language:
English
DOI:
10.1007/978-3-319-33612-1
URL:
http://dx.doi.org/10.1007/978-3-319-33612-1
URL:
Volltext
(lizenzpflichtig)