عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642382304
(Number (ISBN
9783642382307
NATIONAL BIBLIOGRAPHY NUMBER
Number
b567961
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Web Services and Formal Methods :
General Material Designation
[Book]
Other Title Information
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
First Statement of Responsibility
edited by Maurice H. Beek, Niels Lohmann.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg : Imprint : Springer
Date of Publication, Distribution, etc.
2013
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(x, 151 p. 55 illustrations)
SERIES
Series Title
Lecture Notes in Computer Science, 7843.
CONTENTS NOTE
Text of Note
Web Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied to Service Discovery and Coordination.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Maurice H. Beek, Niels Lohmann.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Maurice H Beek
Niels Lohmann
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
