Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - neues Buch

EAN (ISBN-13): 9783540731955
ISBN (ISBN-10): 3540731954
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg
375 Seiten
Gewicht: 0,600 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-10-14T15:23:04+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-17T10:20:56+02:00 (Berlin)
ISBN/EAN: 9783540731955

ISBN - alternative Schreibweisen:
3-540-73195-4, 978-3-540-73195-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: derrick, juri, jüri, vain
Titel des Buches: tallinn, distributed systems, forte, estonia 2007, about estonia, derrick, june june, computer techniques for

---

Daten vom Verlag:

Autor/in: John Derrick; Jüri Vain
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Techniques for Networked and Distributed Systems - FORTE 2007 - 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Verlag: Springer; Springer Berlin
378 Seiten
Erscheinungsjahr: 2007-06-12
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 378 p.

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Informatik; Quality of Service; Quality of Service (QoS); algorithm; algorithms; distributed systems; model checking; verification; Computer Communication Networks; Software Engineering; Computer Science Logic and Foundations of Programming; Operating Systems; Software Engineering; Theoretische Informatik; Betriebssysteme; EA

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.