Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. It covers...
Leider schon ausverkauft
versandkostenfrei
Buch
85.59 €
Produktdetails
Produktinformationen zu „Formal Techniques for Networked and Distributed Systems - FORTE 2007 “
Klappentext zu „Formal Techniques for Networked and Distributed Systems - FORTE 2007 “
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches.
Inhaltsverzeichnis zu „Formal Techniques for Networked and Distributed Systems - FORTE 2007 “
Invited Talk.- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.- Technical Session 1. Message Sequence Charts and SDL.- Thread-Based Analysis of Sequence Diagrams.- Recovering Repetitive Sub-functions from Observations.- Specification of Timed EFSM Fault Models in SDL.- Technical Session 2. Concurrency.- Coordination Via Types in an Event-Based Framework.- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.- Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.- Technical Session 3. Model Programs.- State Isomorphism in Model Programs with Abstract Data Structures.- Composition of Model Programs.- Technical Session 4. Theory.- New Bisimulation Semantics for Distributed Systems.- Event Correlation with Boxed Pomsets.- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.- Technical Session 5. Verification.- Improvements for the Symbolic Verification of Timed Automata.- The DHCP Failover Protocol: A Formal Perspective.- Verifying Erlang/OTP Components in ?CRL.- Technical Session 6. Model Checking.- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.- Testing Distributed Systems Through Symbolic Model Checking.- An Incremental and Modular Technique for Checking LTL?X Properties of Petri Nets.- Technical Session 7. Requirements and QoS.- Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements.- Formalization of Network Quality-of-Service Requirements.- Technical Session 8. Components.- Robustness in Interaction Systems.- Transactional Reduction of Component Compositions.- Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
Bibliographische Angaben
- 2007, 392 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Jüri Vain, John Derrick
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540731954
- ISBN-13: 9783540731955
- Erscheinungsdatum: 12.06.2007
Sprache:
Englisch
Kommentar zu "Formal Techniques for Networked and Distributed Systems - FORTE 2007"
0 Gebrauchte Artikel zu „Formal Techniques for Networked and Distributed Systems - FORTE 2007“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Techniques for Networked and Distributed Systems - FORTE 2007".
Kommentar verfassen