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: Congresses
Electronic books
Conference papers and proceedings
Ebook
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 [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.
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.

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


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/305349697> ; # Niels Lohmann
   schema:editor <http://viaf.org/viaf/289978404> ; # Maurice H. ter Beek
   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 <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/289978404> # Maurice H. ter Beek
    a schema:Person ;
   schema:familyName "Beek" ;
   schema:givenName "Maurice H. ter" ;
   schema:name "Maurice H. ter Beek" ;
    .

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

<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-01-21" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

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