컨텐츠로 이동
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

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

저자: Maurice H ter Beek; N Lohmann
출판사: Berlin ; New York : Springer, [2013] ©2013
시리즈: Lecture notes in computer science, 7843.; LNCS sublibrary., SL 2,, Programming and software engineering.
판/형식:   전자도서 : 문서 : 컨퍼런스 간행물 : 영어모든 판과 형식 보기
데이터베이스:WorldCat
요약:
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  더 읽기…
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

온라인으로 문서 찾기

이 항목에 대한 링크

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

장르/형태: Congresses
Electronic books
Conference papers and proceedings
Ebook
추가적인 물리적 형식: Print version:
WS-FM 2012 (2012 : Tallinn, Estonia).
Web services and formal methods.
Berlin ; New York : Springer, [2013]
(OCoLC)856263552
자료 유형: 컨퍼런스 간행물, 문서, 인터넷 자료
문서 형식: 인터넷 자원, 컴퓨터 파일
모든 저자 / 참여자: Maurice H ter Beek; N Lohmann
ISBN: 9783642382307 3642382304 3642382290 9783642382291
OCLC 번호: 844732722
메모: Includes author index.
설명: 1 online resource (viii, 149 pages) : illustrations.
내용: 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.
일련 제목: Lecture notes in computer science, 7843.; LNCS sublibrary., SL 2,, Programming and software engineering.
다른 제목 WS-FM 2012
책임: edited by Maurice H. ter Beek, Niels Lohmann.

초록:

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.

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


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

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.