skip to content
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

Author: Martin Steffen; Gianluigi Zavattaro; IFIP Working Group 6.1.
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3535.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
"This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 -17, 2005."
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
International Conference on Formal Methods for Open Object-Based Distributed Systems (7th : 2005 : Athens, Greece).
Formal methods for open object-based distributed systems.
Berlin ; New York : Springer, ©2005
(DLC) 2005926702
(OCoLC)60677082
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Martin Steffen; Gianluigi Zavattaro; IFIP Working Group 6.1.
ISBN: 9783540315568 354031556X 3540261818 9783540261810
OCLC Number: 262680905
Notes: "7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Preface.
Description: 1 online resource (x, 321 pages) : illustrations.
Contents: Pattern matching over a dynamic network of tuple spaces / Rocco De Nicola, Daniele Gorla, and Rosario Pugliese --
A dynamic class construct for asynchronous concurrent objects / Einar Broch Johnsen, Olaf Owe, and Isabelle Simplot-Ryl --
An abstract machine for the Kell calculus / Philippe Bidinger, Alan Schmitt, and Jean-Bernard Stefani --
Xpi : a typed process calculus for XML messaging / Lucia Acciai and Michele Boreale --
Checking the validity of scenarios in UML / ModelsHolger Rasch and Heike Wehrheim --
An extended type system for OCL supporting templates and transformations / Marcel Kyas --
A semantics for UML-RT active classes via mapping into circus / Rodrigo Ramos, Augusto Sampaio, and Alexandre Mota --
Towards an integrated formal analysis for security and trust / Fabio Martinelli --
A formal security analysis of an OSA/Parlay Authentication Interface / Ricardo Corin --
Tracing integration analysis in component-based formal specifications / Martín López-Nores [and others] --
CompAr : ensuring safe around advice composition / Renaud Pawlak, Laurence Duchien, and Lionel Seinturier --
Guaranteeing resource bounds for component software / Hoang Truong --
Specification and verification of encapsulation in Java programs / Andreas Roth --
Detecting errors in multithreaded programs by generalized predictive analysis of executions / Koushik Sen, Grigore Rosu, and Gul Agha --
Transforming information in RDF to rewriting logic / Alberto Verdejo [and others] --
--
Modeling- and analysis techniques for web services and business processes / Wolfgang Reisig --
A distributed implementation of mobile nets as mobile agents Nadia Busi and Luca Padovani --
On correctness of dynamic protocol update / Pawel T. Wojciechowski and Olivier Rütti --
Property-driven development of a coordination model for distributed simulations / Rolf Hennicker and Matthias Ludwig --
A timing analysis of AODV / Sibusisiwe Chiyangwa and Marta Kwiatkowska.
Series Title: Lecture notes in computer science, 3535.
Other Titles: FMOODS 2005
Responsibility: Martin Steffen, Gianluigi Zavattaro (eds.).

Abstract:

"This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 -17, 2005."

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/262680905> # Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "262680905" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/203283130#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
    schema:about <http://dewey.info/class/004.36/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/traitement_reparti> ; # Traitement réparti
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/methodes_formelles_informatique> ; # Méthodes formelles (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/methode_formelle> ; # Méthode formelle
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/informatique_repartie> ; # Informatique répartie
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/programmation_orientee_objet_informatique> ; # Programmation orientée objet (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/programmation_orientee_objet> ; # Programmation orientée objet
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/traitement_des_donnees> ; # Traitement des données
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/systeme_oriente_objet> ; # Système orienté objet
    schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
    schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_reference> ; # COMPUTERS--Reference
    schema:alternateName "FMOODS 2005" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/124386778> ; # IFIP Working Group 6.1.
    schema:contributor <http://viaf.org/viaf/246807994> ; # Gianluigi Zavattaro
    schema:contributor <http://viaf.org/viaf/164489067> ; # Martin Steffen
    schema:copyrightYear "2005" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/203283130#Meeting/international_conference_on_formal_methods_for_open_object_based_distributed_systems_7th_2005_athens_greece> ; # International Conference on Formal Methods for Open Object-Based Distributed Systems (7th : 2005 : Athens, Greece)
    schema:datePublished "2005" ;
    schema:description "Pattern matching over a dynamic network of tuple spaces / Rocco De Nicola, Daniele Gorla, and Rosario Pugliese -- A dynamic class construct for asynchronous concurrent objects / Einar Broch Johnsen, Olaf Owe, and Isabelle Simplot-Ryl -- An abstract machine for the Kell calculus / Philippe Bidinger, Alan Schmitt, and Jean-Bernard Stefani -- Xpi : a typed process calculus for XML messaging / Lucia Acciai and Michele Boreale -- Checking the validity of scenarios in UML / ModelsHolger Rasch and Heike Wehrheim -- An extended type system for OCL supporting templates and transformations / Marcel Kyas -- A semantics for UML-RT active classes via mapping into circus / Rodrigo Ramos, Augusto Sampaio, and Alexandre Mota -- Towards an integrated formal analysis for security and trust / Fabio Martinelli -- A formal security analysis of an OSA/Parlay Authentication Interface / Ricardo Corin -- Tracing integration analysis in component-based formal specifications / Martín López-Nores [and others] -- CompAr : ensuring safe around advice composition / Renaud Pawlak, Laurence Duchien, and Lionel Seinturier -- Guaranteeing resource bounds for component software / Hoang Truong -- Specification and verification of encapsulation in Java programs / Andreas Roth -- Detecting errors in multithreaded programs by generalized predictive analysis of executions / Koushik Sen, Grigore Rosu, and Gul Agha -- Transforming information in RDF to rewriting logic / Alberto Verdejo [and others] -- -- Modeling- and analysis techniques for web services and business processes / Wolfgang Reisig -- A distributed implementation of mobile nets as mobile agents Nadia Busi and Luca Padovani -- On correctness of dynamic protocol update / Pawel T. Wojciechowski and Olivier Rütti -- Property-driven development of a coordination model for distributed simulations / Rolf Hennicker and Matthias Ludwig -- A timing analysis of AODV / Sibusisiwe Chiyangwa and Marta Kwiatkowska."@en ;
    schema:description ""This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 -17, 2005.""@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/203283130> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/60677082> ;
    schema:name "Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings"@en ;
    schema:productID "262680905" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262680905#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/203283130#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10531296> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-26181-0> ;
    schema:url <https://ebookcentral.proquest.com/lib/ualberta/detail.action?docID=3068332> ;
    schema:url <http://link.springer.com/10.1007/b136996> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3068332> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/b136996> ;
    schema:url <http://www.myilibrary.com?id=140320> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=183406> ;
    schema:url <http://dx.doi.org/10.1007/b136996> ;
    schema:url <http://www.springerlink.com/link.asp?id=w7ccvgc9ca6m> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/b136996> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-26181-0> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3068332> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3535> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/b136996> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11494881> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-26181-0> ;
    schema:workExample <http://worldcat.org/isbn/9783540261810> ;
    schema:workExample <http://worldcat.org/isbn/9783540315568> ;
    umbel:isLike <http://d-nb.info/974836923> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262680905> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Meeting/international_conference_on_formal_methods_for_open_object_based_distributed_systems_7th_2005_athens_greece> # International Conference on Formal Methods for Open Object-Based Distributed Systems (7th : 2005 : Athens, Greece)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/203283130#Place/athens_greece> ; # Athens, Greece)
    schema:name "International Conference on Formal Methods for Open Object-Based Distributed Systems (7th : 2005 : Athens, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Place/athens_greece> # Athens, Greece)
    a schema:Place ;
    schema:name "Athens, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
    schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
    schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
    schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
    schema:name "COMPUTERS--Reference"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102927> ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/informatique_repartie> # Informatique répartie
    a schema:Intangible ;
    schema:name "Informatique répartie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/methode_formelle> # Méthode formelle
    a schema:Intangible ;
    schema:name "Méthode formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/methodes_formelles_informatique> # Méthodes formelles (Informatique)
    a schema:Intangible ;
    schema:name "Méthodes formelles (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/programmation_orientee_objet> # Programmation orientée objet
    a schema:Intangible ;
    schema:name "Programmation orientée objet"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/programmation_orientee_objet_informatique> # Programmation orientée objet (Informatique)
    a schema:Intangible ;
    schema:name "Programmation orientée objet (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/systeme_oriente_objet> # Système orienté objet
    a schema:Intangible ;
    schema:name "Système orienté objet"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/traitement_des_donnees> # Traitement des données
    a schema:Intangible ;
    schema:name "Traitement des données"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/203283130#Topic/traitement_reparti> # Traitement réparti
    a schema:Intangible ;
    schema:name "Traitement réparti"@fr ;
    .

<http://id.worldcat.org/fast/1042804> # Object-oriented programming (Computer science)
    a schema:Intangible ;
    schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://link.springer.com/10.1007/b136996>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/124386778> # IFIP Working Group 6.1.
    a schema:Organization ;
    schema:name "IFIP Working Group 6.1." ;
    .

<http://viaf.org/viaf/164489067> # Martin Steffen
    a schema:Person ;
    schema:familyName "Steffen" ;
    schema:givenName "Martin" ;
    schema:name "Martin Steffen" ;
    .

<http://viaf.org/viaf/246807994> # Gianluigi Zavattaro
    a schema:Person ;
    schema:familyName "Zavattaro" ;
    schema:givenName "Gianluigi" ;
    schema:name "Gianluigi Zavattaro" ;
    .

<http://worldcat.org/isbn/9783540261810>
    a schema:ProductModel ;
    schema:isbn "3540261818" ;
    schema:isbn "9783540261810" ;
    .

<http://worldcat.org/isbn/9783540315568>
    a schema:ProductModel ;
    schema:isbn "354031556X" ;
    schema:isbn "9783540315568" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262680905> ; # Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/60677082>
    a schema:CreativeWork ;
    rdfs:label "Formal methods for open object-based distributed systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262680905> ; # Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/262680905>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262680905> ; # Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
    schema:dateModified "2018-06-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3068332>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.