Staff View for: Web services and formal methods : 9th In

 Staff view

You must be logged in to Tag Records

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

edited by Maurice H. ter Beek, Niels Lohmann.

Book Cover
Names: Beek, Maurice H. ter, | Lohmann, N.
Published: Berlin ; New York : Springer, [2013]
Series: Lecture notes in computer science ; 7843.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Web services - Congresses. | Formal methods (Computer science) - Congresses. | Computer Communication Networks. | Information Services. | Intenet.
Genres: Electronic books. | Conference papers and proceedings. | Ebook. | Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 04570cam a2200769Ii 4500
001 13576199
005 20180327201754.0
006 m o d
007 cr cnu---unuuu
008 130528s2013 gw a ob 101 0 eng d
019 |a843930382
020 |a9783642382307|q(electronic bk.)
020 |a3642382304|q(electronic bk.)
020 |a3642382290|q(Print)
020 |a9783642382291|q(Print)
020 |z9783642382291
024 7 |a10.1007/978-3-642-38230-7|2doi
035 |a(OCoLC)ocn844732722
035 |a(EIUdb)1154012
040 |aGW5XE|beng|erda|epn|cGW5XE|dNLGGC|dOCLCO|dZMC|dYDXCP|dCOO|dNUI|dOHI|dOCLCF|dOHS|dVLB|dOHS|dOCLCO|dOCLCQ|dOCLCO|dEBLCP|dOCLCQ|dOCLCO|dOCL|dOCLCO|dDIBIB|dOCLCO|dDGU|dIOG|dBUF|dOCLCO|dMERER|dOCLCO|dEIUdb
049 |aIADA
050 4|aTK5105.88813|b.W74 2012eb
060 4|aTK 5105.88813
082 04|a006.7/8|223
084 |a54.84|2bcl
084 |a54.65|2bcl
111 2 |aWS-FM (Workshop)|n(9th :|d2012 :|cTallinn, Estonia)
245 10|aWeb services and formal methods :|b9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers /|cedited by Maurice H. ter Beek, Niels Lohmann.
246 3 |aWS-FM 2012
264 1|aBerlin ;|aNew York :|bSpringer,|c[2013]
264 4|c©2013
300 |a1 online resource (viii, 149 pages) :|billustrations.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |aimage files|dPNG|2rda
490 1 |aLecture notes in computer science,|x0302-9743 ;|v7843
490 1 |aLNCS sublibrary. SL 2, Programming and software engineering
500 |aIncludes author index.
504 |aWith bibliogr. references.
505 00|tInvited Papers.|tFormal Approaches for Synthesis of Web Service Business Protocols /|rLhouari Nourine, Farouk Toumani --|tContract-Oriented Services /|rEmilio Tuosto --|tWeb Service Modeling and Analysis with Petri Nets and CSP.|tService Discovery with Cost Thresholds /|rJan Sürmeli --|tConformance Checking of Services Using the Best Matching Private View /|rRichard Müller, Wil M.P. van der Aalst, Christian Stahl --|tEvent Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes /|rAbel Armas-Cervantes [and others] --|tFormal Modeling and Analysis of the REST Architecture Using CSP /|rXi Wu [and others] --|tFormal Methods Applied to Service Discovery and Coordination.|tSiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications /|rGuillaume Demarty [and others] --|tPreference and Similarity-Based Behavioral Discovery of Services /|rFarhad Arbab, Francesco Santini --|tReconfiguration Mechanisms for Service Coordination /|rNuno Oliveira, Luís S. Barbosa.
520 |aThis 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.
588 0 |aPrint version record.
650 0|aWeb services|vCongresses.
650 0|aFormal methods (Computer science)|vCongresses.
650 7|aFormal methods (Computer science)|2fast|0(OCoLC)fst00932926
650 7|aWeb services.|2fast|0(OCoLC)fst01173242
650 2|aComputer Communication Networks.
650 2|aInformation Services.
650 2|aIntenet.
653 4|aComputer science.
653 4|aSoftware engineering.
653 4|aLogic design.
653 4|aInformation Systems.
653 4|aManagement of Computing and Information Systems.
653 4|aLogics and Meanings of Programs.
653 4|aUser Interfaces and Human Computer Interaction.
655 4|aElectronic books.
655 7|aConference papers and proceedings.|2fast|0(OCoLC)fst01423772
655 7|aEbook.|2local
655 2|aCongresses.
700 1 |aBeek, Maurice H. ter,|eeditor.
700 1 |aLohmann, N.|q(Niels),|eeditor.
776 08|iPrint version:|aWS-FM 2012 (2012 : Tallinn, Estonia).|tWeb services and formal methods.|dBerlin ; New York : Springer, [2013]|w(OCoLC)856263552
830 0|aLecture notes in computer science ;|v7843.
830 0|aLNCS sublibrary.|nSL 2,|pProgramming and software engineering.
994 |a92|bIAD

Staff View for: Web services and formal methods : 9th In