Web Services, Formal Methods, and Behavioral Types 11th 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 /

This 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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Hildebrandt, Thomas (Editor), Ravara, António (Editor), van der Werf, Jan Martijn (Editor), Weidlich, Matthias (Editor)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:1st ed. 2016.
Series:Programming and Software Engineering, 9421
Subjects:
Application software.
Software engineering.
Computer science.
Computer networks .
Electronic digital computers-Evaluation.
Electronic data processing-Management.
Computer and Information Systems Applications.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
System Performance and Evaluation.
IT Operations.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items