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
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/formato: Electronic books
Conference papers and proceedings
Ebook
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 Risorsa Internet, 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.

Sinossi:

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.  Per saperne di più…

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.

Linked data


Primary Entity

<http://www.worldcat.org/oclc/844732722> # Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "844732722" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Topic/web_services> ; # Web services
    schema:about <http://dewey.info/class/006.78/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Thing/user_interfaces_and_human_computer_interaction> ; # User Interfaces and Human Computer Interaction.
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Topic/intenet> ; # Intenet
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Thing/information_systems> ; # Information Systems.
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://id.worldcat.org/fast/1173242> ; # Web services
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Thing/software_engineering> ; # Software engineering.
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Thing/management_of_computing_and_information_systems> ; # Management of Computing and Information Systems.
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Thing/logic_design> ; # Logic design.
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Topic/information_services> ; # Information Services
    schema:about <http://experiment.worldcat.org/entity/work/data/1367197228#Thing/computer_science> ; # Computer science.
    schema:alternateName "WS-FM 2012" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1367197228#Meeting/ws_fm_workshop_9th_2012_tallinn_estonia> ; # WS-FM (Workshop) (9th : 2012 : Tallinn, Estonia)
    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:editor <http://viaf.org/viaf/289978404> ; # Maurice H. ter Beek
    schema:editor <http://viaf.org/viaf/145019681> ; # Niels Lohmann
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1367197228> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Ebook"@en ;
    schema:genre "Congresses"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1367197228#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1367197228#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1367197228#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isSimilarTo <http://www.worldcat.org/oclc/856263552> ;
    schema:name "Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers"@en ;
    schema:productID "844732722" ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3093222> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-38230-7> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-38230-7> ;
    schema:workExample <http://worldcat.org/isbn/9783642382307> ;
    schema:workExample <http://worldcat.org/isbn/9783642382291> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-38230-7> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/844732722> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1367197228#Meeting/ws_fm_workshop_9th_2012_tallinn_estonia> # WS-FM (Workshop) (9th : 2012 : Tallinn, Estonia)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1367197228#Place/tallinn_estonia> ; # Tallinn, Estonia)
    schema:name "WS-FM (Workshop) (9th : 2012 : Tallinn, Estonia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Place/tallinn_estonia> # Tallinn, Estonia)
    a schema:Place ;
    schema:name "Tallinn, Estonia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/844732722> ; # Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/844732722> ; # Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/844732722> ; # Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Thing/information_systems> # Information Systems.
    a schema:Thing ;
    schema:name "Information Systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Thing/management_of_computing_and_information_systems> # Management of Computing and Information Systems.
    a schema:Thing ;
    schema:name "Management of Computing and Information Systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Thing/software_engineering> # Software engineering.
    a schema:Thing ;
    schema:name "Software engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Thing/user_interfaces_and_human_computer_interaction> # User Interfaces and Human Computer Interaction.
    a schema:Thing ;
    schema:name "User Interfaces and Human Computer Interaction." ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
    schema:name "Computer Communication Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1367197228#Topic/information_services> # Information Services
    a schema:Intangible ;
    schema:name "Information Services"@en ;
    .

<http://id.worldcat.org/fast/1173242> # Web services
    a schema:Intangible ;
    schema:name "Web services"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/145019681> # Niels Lohmann
    a schema:Person ;
    schema:familyName "Lohmann" ;
    schema:givenName "Niels" ;
    schema:givenName "N." ;
    schema:name "Niels Lohmann" ;
    .

<http://viaf.org/viaf/289978404> # Maurice H. ter Beek
    a schema:Person ;
    schema:familyName "Beek" ;
    schema:givenName "Maurice H. ter" ;
    schema:name "Maurice H. ter Beek" ;
    .

<http://worldcat.org/isbn/9783642382291>
    a schema:ProductModel ;
    schema:isbn "3642382290" ;
    schema:isbn "9783642382291" ;
    .

<http://worldcat.org/isbn/9783642382307>
    a schema:ProductModel ;
    schema:isbn "3642382304" ;
    schema:isbn "9783642382307" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/844732722> ; # Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/856263552>
    a schema:CreativeWork ;
    rdfs:label "Web services and formal methods." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/844732722> ; # Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
    .

<http://www.worldcat.org/title/-/oclc/844732722>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/844732722> ; # Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
    schema:dateModified "2017-11-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.