skip to content
Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings Preview this item
ClosePreview this item
Checking...

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

Author: Elie Najm; Jean-François Pradat-Peyre; Véronique Viguié Donzeau-Gouge
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series: Lecture notes in computer science, 4229.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books
Summary:
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and  Read more...
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

Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Elie Najm; Jean-François Pradat-Peyre; Véronique Viguié Donzeau-Gouge
ISBN: 9783540462200 3540462201 9783540462194 3540462198
OCLC Number: 1006398289
Description: 1 online resource (XII, 486 pages Also available online.) : online resource
Contents: Invited Talks --
Modelling of Complex Software Systems: A Reasoned Overview --
The?+?CAL Algorithm Language --
Semantic-Based Development of Service-Oriented Systems --
Services --
JSCL: A Middleware for Service Coordination --
Analysis of Realizability Conditions for Web Service Choreographies --
Web Cube --
Presence Interaction Management in SIP SOHO Architecture --
Middleware --
Formal Analysis of Dynamic, Distributed File-System Access Controls --
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus --
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures --
A LOTOS Framework for Middleware Specification --
Composition and Synthesis --
Automatic Synthesis of Assumptions for Compositional Model Checking --
Refined Interfaces for Compositional Verification --
On Distributed Program Specification and Synthesis in Architectures with Cycles --
Generalizing the Submodule Construction Techniques for Extended State Machine Models --
Logics --
Decidable Extensions of Hennessy-Milner Logic --
Symbolic Verification --
Slicing --
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness --
A New Approach for Concurrent Program Slicing --
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach --
Unified Modeling Languages --
Branching Time Semantics for UML 2.0 Sequence Diagrams --
Formalizing Collaboration Goal Sequences for Service Choreography --
Composition of Use Cases Using Synchronization and Model Checking --
Petri Nets --
PN Standardisation: A Survey --
Resource Allocation Systems: Some Complexity Results on the S4PR Class --
Optimized Colored Nets Unfolding --
Parameterized Verification --
Liveness by Invisible Invariants --
Real Time --
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts --
Scenario-Based Timing Consistency Checking for Time Petri Nets --
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets --
Testing --
Grey-Box Checking --
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models --
Minimizing Coordination Channels in Distributed Testing --
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.
Series Title: Lecture notes in computer science, 4229.
Responsibility: edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge.

Abstract:

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches, and address - in addition to the classical protocol specification, verification and testing problems - the issues of composition of protocol functions and of algorithms for distributed systems. The papers are organized in topical sections on services, middleware, composition and synthesis, logics, symbolic verification/slicing, unified modeling languages, petri nets, parameterized verification, real time, and testing.

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/1006398289> # Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1006398289" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/457549747#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
    schema:about <http://dewey.info/class/004.6/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_network_protocols> ; # Computer network protocols
    schema:about <http://experiment.worldcat.org/entity/work/data/457549747#Topic/operating_systems_computers> ; # Operating systems (Computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/457549747#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/457549747#Topic/software_engineering> ; # Software engineering
    schema:bookFormat schema:EBook ;
    schema:datePublished "2006" ;
    schema:description "This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches, and address - in addition to the classical protocol specification, verification and testing problems - the issues of composition of protocol functions and of algorithms for distributed systems. The papers are organized in topical sections on services, middleware, composition and synthesis, logics, symbolic verification/slicing, unified modeling languages, petri nets, parameterized verification, real time, and testing."@en ;
    schema:description "Invited Talks -- Modelling of Complex Software Systems: A Reasoned Overview -- The?+?CAL Algorithm Language -- Semantic-Based Development of Service-Oriented Systems -- Services -- JSCL: A Middleware for Service Coordination -- Analysis of Realizability Conditions for Web Service Choreographies -- Web Cube -- Presence Interaction Management in SIP SOHO Architecture -- Middleware -- Formal Analysis of Dynamic, Distributed File-System Access Controls -- Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus -- Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures -- A LOTOS Framework for Middleware Specification -- Composition and Synthesis -- Automatic Synthesis of Assumptions for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program Specification and Synthesis in Architectures with Cycles -- Generalizing the Submodule Construction Techniques for Extended State Machine Models -- Logics -- Decidable Extensions of Hennessy-Milner Logic -- Symbolic Verification -- Slicing -- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness -- A New Approach for Concurrent Program Slicing -- Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach -- Unified Modeling Languages -- Branching Time Semantics for UML 2.0 Sequence Diagrams -- Formalizing Collaboration Goal Sequences for Service Choreography -- Composition of Use Cases Using Synchronization and Model Checking -- Petri Nets -- PN Standardisation: A Survey -- Resource Allocation Systems: Some Complexity Results on the S4PR Class -- Optimized Colored Nets Unfolding -- Parameterized Verification -- Liveness by Invisible Invariants -- Real Time -- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts -- Scenario-Based Timing Consistency Checking for Time Petri Nets -- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets -- Testing -- Grey-Box Checking -- Integration Testing of Distributed Components Based on Learning Parameterized I/O Models -- Minimizing Coordination Channels in Distributed Testing -- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/457549747#Person/donzeau_gouge_veronique_viguie> ; # Véronique Viguié Donzeau-Gouge
    schema:editor <http://experiment.worldcat.org/entity/work/data/457549747#Person/pradat_peyre_jean_francois> ; # Jean-François Pradat-Peyre
    schema:editor <http://experiment.worldcat.org/entity/work/data/457549747#Person/najm_elie> ; # Elie Najm
    schema:exampleOfWork <http://worldcat.org/entity/work/id/457549747> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/457549747#CreativeWork/> ;
    schema:name "Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings"@en ;
    schema:productID "1006398289" ;
    schema:url <https://link.springer.com/10.1007/11888116> ;
    schema:url <http://www.library.yorku.ca/eresolver/?id=1244053> ;
    schema:url <http://dx.doi.org/10.1007/11888116> ;
    schema:url <http://www.library.yorku.ca/eresolver/?id=1244052> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-46219-4> ;
    schema:url <http://resolver.scholarsportal.info/isbn/9783540461678> ;
    schema:url <https://login.ezproxy.brunel.ac.uk/login?url=http://dx.doi.org/10.1007/11888116> ;
    schema:url <https://doi.org/10.1007/11888116> ;
    schema:url <http://resolver.scholarsportal.info/isbn/9783540462200> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks0/springer/2010-02-11/1/11888116> ;
    schema:workExample <http://worldcat.org/isbn/9783540462200> ;
    schema:workExample <http://worldcat.org/isbn/9783540462194> ;
    schema:workExample <http://dx.doi.org/10.1007/11888116> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1006398289> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/457549747#Person/donzeau_gouge_veronique_viguie> # Véronique Viguié Donzeau-Gouge
    a schema:Person ;
    schema:familyName "Donzeau-Gouge" ;
    schema:givenName "Véronique Viguié" ;
    schema:name "Véronique Viguié Donzeau-Gouge" ;
    .

<http://experiment.worldcat.org/entity/work/data/457549747#Person/najm_elie> # Elie Najm
    a schema:Person ;
    schema:familyName "Najm" ;
    schema:givenName "Elie" ;
    schema:name "Elie Najm" ;
    .

<http://experiment.worldcat.org/entity/work/data/457549747#Person/pradat_peyre_jean_francois> # Jean-François Pradat-Peyre
    a schema:Person ;
    schema:familyName "Pradat-Peyre" ;
    schema:givenName "Jean-François" ;
    schema:name "Jean-François Pradat-Peyre" ;
    .

<http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
    schema:name "Computer Communication Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/457549747#Topic/computer_network_protocols> # Computer network protocols
    a schema:Intangible ;
    schema:name "Computer network protocols"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/457549747#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/457549747#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/457549747#Topic/operating_systems_computers> # Operating systems (Computers)
    a schema:Intangible ;
    schema:name "Operating systems (Computers)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/457549747#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://worldcat.org/entity/work/data/457549747#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1006398289> ; # Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
    .

<http://worldcat.org/isbn/9783540462194>
    a schema:ProductModel ;
    schema:isbn "3540462198" ;
    schema:isbn "9783540462194" ;
    .

<http://worldcat.org/isbn/9783540462200>
    a schema:ProductModel ;
    schema:isbn "3540462201" ;
    schema:isbn "9783540462200" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1006398289> ; # Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.library.yorku.ca/eresolver/?id=1244052>
    rdfs:comment "An electronic book accessible through the World Wide Web; click for information" ;
    .

<http://www.worldcat.org/title/-/oclc/1006398289>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1006398289> ; # Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
    schema:dateModified "2019-08-03" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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