| Description |
1 online resource (viii, 187 pages) : illustrations |
| Series |
Lecture Notes in Computer Science, 0302-9743 ; 8379 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8379. 1611-3349
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
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 |
| Summary |
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 |
| Analysis |
computerwetenschappen |
|
computer sciences |
|
man-machine interaction |
|
computers |
|
gebruikersinterfaces |
|
user interfaces |
|
informatiesystemen |
|
information systems |
|
internet |
|
programmeertalen |
|
programming languages |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Notes |
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed July 7, 2014) |
| Subject |
Web services -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Formal methods (Computer science)
|
|
Web services
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Tuosto, Emilio, editor.
|
|
Ouyang, Chun (Computer scientist), editor.
|
| ISBN |
9783319082608 |
|
3319082604 |
|
