Web Services and Formal Methods  10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /  [electronic resource] : 
edited by Emilio Tuosto, Chun Ouyang. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (IX, 189 p. 37 ill.) 
 - Lecture Notes in Computer Science,  8379  0302-9743 ; .
<br/><br/>Introducing cloud activities around pacific rim -- Choreography revisited -- On the behaviour of general-purpose applications on cloud storages -- Formalizing RESTful services and web-OS middleware -- Visualization of successor relations in business process models -- Developing and enforcing policies for access control, resource usage, and adaptation: A practical approach -- Safe orchestration of Web services with unordered lossy communication -- Dynamic ontologies and semantic Web rules as biographical reactive systems -- On the expressiveness of parameterization in process-passing -- An operational semantics for model checking long running transactions. 
<br/><br/><label>ISBN: </label>9783319082608 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>User interfaces (Computer systems).<br/>Management information systems.