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

 
9783540462194: Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-29, 2006 Proceedings: 4229
Brossura
ISBN 10: 3540462198 ISBN 13: 9783540462194
Casa editrice: Springer, 2009

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by ELIE NAJM

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2009
Lingua
Inglese
ISBN 10 
3540462198
ISBN 13 
9783540462194
Rilegatura
Copertina flessibile
Numero di pagine
500
Redattore
Najm Elie
Contatto del produttore
non disponibile
Persona responsabile
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9783540831129: Formal Techniques for Networked and Distributed Systems - FORTE 2006

Edizione in evidenza

ISBN 10:  3540831126 ISBN 13:  9783540831129
Casa editrice: Springer, 2008
Brossura