passa ai contenuti
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

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

Autore: Maurice H ter Beek; N Lohmann
Editore: Berlin ; New York : Springer, [2013] ©2013
Serie: Lecture notes in computer science, 7843.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edizione/Formato:   eBook : Document : Conference publication : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:
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  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Electronic books
Conference proceedings
Congresses
Informazioni aggiuntive sul formato: Print version:
WS-FM 2012 (2012 : Tallinn, Estonia).
Web services and formal methods.
Berlin ; New York : Springer, [2013]
(OCoLC)856263552
Tipo materiale: Conference publication, Document, Risorsa internet
Tipo documento: Internet Resource, Computer File
Tutti gli autori / Collaboratori: Maurice H ter Beek; N Lohmann
ISBN: 9783642382307 3642382304 3642382290 9783642382291
Numero OCLC: 844732722
Note: Includes author index.
Descrizione: 1 online resource (viii, 149 pages) : illustrations.
Contenuti: 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 [and others] --
Formal Modeling and Analysis of the REST Architecture Using CSP / Xi Wu [and others] --
Formal Methods Applied to Service Discovery and Coordination. SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications / Guillaume Demarty [and others] --
Preference and Similarity-Based Behavioral Discovery of Services / Farhad Arbab, Francesco Santini --
Reconfiguration Mechanisms for Service Coordination / Nuno Oliveira, Luís S. Barbosa.
Titolo della serie: Lecture notes in computer science, 7843.; LNCS sublibrary., SL 2,, Programming and software engineering.
Altri titoli: WS-FM 2012
Responsabilità: edited by Maurice H. ter Beek, Niels Lohmann.
Maggiori informazioni:

Abstract:

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.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<http://www.worldcat.org/oclc/844732722>
library:oclcnum"844732722"
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: cnp
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"WS-FM 2012"@en
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"Electronic books"@en
schema:inLanguage"en"
schema:isPartOf
schema:isPartOf
schema:name"Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers"@en
schema:url
schema:workExample
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.