aller au contenu
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers

Auteur : Maurice H ter Beek; N Lohmann
Éditeur : Berlin ; New York : Springer, [2013] ©2013
Collection : Lecture notes in computer science, 7843.; LNCS sublibrary., SL 2,, Programming and software engineering.
Édition/format :   Livre électronique : Document : Publication de conférence : AnglaisVoir toutes les éditions et les formats
Base de données :WorldCat
Résumé :
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like  Lire la suite...
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme : Electronic books
Conference proceedings
Congresses
Format – détails additionnels : Print version:
WS-FM 2012 (2012 : Tallinn, Estonia).
Web services and formal methods.
Berlin ; New York : Springer, [2013]
(OCoLC)856263552
Type d’ouvrage : Publication de conférence, Document, Ressource Internet
Format : Ressource Internet, Fichier informatique
Tous les auteurs / collaborateurs : Maurice H ter Beek; N Lohmann
ISBN : 9783642382307 3642382304 3642382290 9783642382291
Numéro OCLC : 844732722
Notes : Includes author index.
Description : 1 online resource (viii, 149 pages) : illustrations.
Contenu : Invited Papers. Formal Approaches for Synthesis of Web Service Business Protocols / Lhouari Nourine, Farouk Toumani --
Contract-Oriented Services / Emilio Tuosto --
Web Service Modeling and Analysis with Petri Nets and CSP. Service Discovery with Cost Thresholds / Jan Sürmeli --
Conformance Checking of Services Using the Best Matching Private View / Richard Müller, Wil M. P. van der Aalst, Christian Stahl --
Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes / Abel Armas-Cervantes ... [et al.] --
Formal Modeling and Analysis of the REST Architecture Using CSP / Xi Wu ... [et al.] --
Formal Methods Applied to Service Discovery and Coordination. SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications / Guillaume Demarty ... [et al.] --
Preference and Similarity-Based Behavioral Discovery of Services / Farhad Arbab, Francesco Santini --
Reconfiguration Mechanisms for Service Coordination / Nuno Oliveira, Luís S. Barbosa.
Titre de collection : Lecture notes in computer science, 7843.; LNCS sublibrary., SL 2,, Programming and software engineering.
Autres titres : WS-FM 2012
Responsabilité : edited by Maurice H. ter Beek, Niels Lohmann.
Plus d’informations :

Résumé :

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


<http://www.worldcat.org/oclc/844732722>
library:oclcnum"844732722"
library:placeOfPublication
owl:sameAs<info:oclcnum/844732722>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:creator
schema:datePublished"2013"
schema:description"This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/1367197228>
schema:genre"Conference proceedings"@en
schema:genre"Conference proceedings."@en
schema:genre"Electronic books."@en
schema:inLanguage"en"
schema:name"Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers"@en
schema:name"WS-FM 2012"@en
schema:url
schema:url<http://dx.doi.org/10.1007/978-3-642-38230-7>
schema:workExample
schema:workExample

Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.