doorgaan naar inhoud
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

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
Uitgever: Berlin ; New York : Springer, [2013] ©2013
Serie: Lecture notes in computer science, 7843.; LNCS sublibrary., SL 2,, Programming and software engineering.
Editie/Formaat:   eBoek : Document : Conferentie-uitgave : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:
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  Meer lezen...
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre/Vorm: Electronic books
Conference proceedings
Congresses
Aanvullende fysieke materiaalsoort: Print version:
WS-FM 2012 (2012 : Tallinn, Estonia).
Web services and formal methods.
Berlin ; New York : Springer, [2013]
(OCoLC)856263552
Genre: Conferentie-uitgave, Document, Internetbron
Soort document: Internetbron, Computerbestand
Alle auteurs / medewerkers: Maurice H ter Beek; N Lohmann
ISBN: 9783642382307 3642382304 3642382290 9783642382291
OCLC-nummer: 844732722
Opmerkingen: Includes author index.
Beschrijving: 1 online resource (viii, 149 pages) : illustrations.
Inhoud: 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.
Serietitel: Lecture notes in computer science, 7843.; LNCS sublibrary., SL 2,, Programming and software engineering.
Andere titels: WS-FM 2012
Verantwoordelijkheid: edited by Maurice H. ter Beek, Niels Lohmann.
Meer informatie:

Fragment:

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.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


<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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.