The Resource Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings, Marlon Dumas, Reiko Heckel (eds.)

Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings, Marlon Dumas, Reiko Heckel (eds.)

Label
Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings
Title
Web services and formal methods
Title remainder
4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings
Statement of responsibility
Marlon Dumas, Reiko Heckel (eds.)
Title variation
WS-FM 2007
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Illustrations
illustrations
Index
index present
LC call number
TK5105.88813
LC item number
.W7 2007
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
WS-FM 2007
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Dumas, Marlon
  • Heckel, Reiko
http://library.link/vocab/subjectName
  • Web services
  • Formal methods (Computer science)
  • Web sites (congressos)
  • Ciência da computação (congressos)
  • Datensicherung
  • Dienstgüte
  • Formale Methode
  • Kommunikationsprotokoll
  • Leistungsbewertung
  • Ontologie (Wissensverarbeitung)
  • Semantic Web
  • Semantisches Netz
  • Web Services
  • Formal methods (Computer science)
  • Web services
Label
Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings, Marlon Dumas, Reiko Heckel (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
Towards a theory of web service choreographies (invited paper) / Jianwen Su ... [et al.] -- Controlling Petri net process models (invited paper) / Jörg Desel -- Extending model checking to data-aware temporal properties of web services / Sylvain Hallé ... [et al.] -- Analyzing BPEL4Chor : verification and participant synthesis / Niels Lohmann ... [et al.] -- Scalable formalization of publish/subscribe messaging scheme based on message brokers / Qin Li ... [et al.] -- A feature-complete Petri net semantics for WS-BPEL 2.0 / Niels Lohmann -- From BPEL to SRML : a formal transformational approach / Laura Bocchi ... [et al.] -- Modelining web service interactions using the coordination language Reo / Samira Tasharofi ... [et al.] -- Synthesis of web services orchestrators in a timed setting / Fabio Martinelli and Ilaria Matteucci -- From public views to private views : correctness-by-design for services / Wil M.P. van der Aalst ... [et al.] -- Event structure semantics of Orc / Sidney Rosario ... [et al.]
Dimensions
24 cm.
Extent
viii, 168 p.
Isbn
9783540792291
Isbn Type
(softcover : alk. paper)
Lccn
2008924625
Other physical details
ill.
Publisher number
12257416
System control number
  • (OCoLC)225872017
  • (OCoLC)ocn225872017
Label
Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings, Marlon Dumas, Reiko Heckel (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Contents
Towards a theory of web service choreographies (invited paper) / Jianwen Su ... [et al.] -- Controlling Petri net process models (invited paper) / Jörg Desel -- Extending model checking to data-aware temporal properties of web services / Sylvain Hallé ... [et al.] -- Analyzing BPEL4Chor : verification and participant synthesis / Niels Lohmann ... [et al.] -- Scalable formalization of publish/subscribe messaging scheme based on message brokers / Qin Li ... [et al.] -- A feature-complete Petri net semantics for WS-BPEL 2.0 / Niels Lohmann -- From BPEL to SRML : a formal transformational approach / Laura Bocchi ... [et al.] -- Modelining web service interactions using the coordination language Reo / Samira Tasharofi ... [et al.] -- Synthesis of web services orchestrators in a timed setting / Fabio Martinelli and Ilaria Matteucci -- From public views to private views : correctness-by-design for services / Wil M.P. van der Aalst ... [et al.] -- Event structure semantics of Orc / Sidney Rosario ... [et al.]
Dimensions
24 cm.
Extent
viii, 168 p.
Isbn
9783540792291
Isbn Type
(softcover : alk. paper)
Lccn
2008924625
Other physical details
ill.
Publisher number
12257416
System control number
  • (OCoLC)225872017
  • (OCoLC)ocn225872017

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...