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.
- IX, 189 p. 37 illus. online resource.
- Lecture Notes in Computer Science, 8379 0302-9743 ; .
- Lecture Notes in Computer Science, 8379 .
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.
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
9783319082608
10.1007/978-3-319-08260-8 doi
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
User interfaces (Computer systems).
Management information systems.
Computer Science.
Information Systems Applications (incl. Internet).
Software Engineering.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
User Interfaces and Human Computer Interaction.
QA76.76.A65
005.7
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.
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
9783319082608
10.1007/978-3-319-08260-8 doi
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
User interfaces (Computer systems).
Management information systems.
Computer Science.
Information Systems Applications (incl. Internet).
Software Engineering.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
User Interfaces and Human Computer Interaction.
QA76.76.A65
005.7