Formal Techniques for Distributed Systems
Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
1. Auflage
Erschienen am 1. Juni 2010
Buch
Softcover
XII, 233 Seiten
978-3-642-13463-0 (ISBN)
Beschreibung
In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam,during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?- tion techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and distributed systems, including both practical and foun- tionalmodels,run-timesystems,andrelatedveri?cationandanalysistechniques. The 10th IFIP International Conference on Distributed Applications and Int- operable Systems in particular elicited contributions on architectures, models, technologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends in bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms.
The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods.
The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods.
Weitere Details
Reihe
Sprache
Englisch
Verlagsort
Berlin
Deutschland
Verlagsgruppe
Springer Berlin
Zielgruppe
Für Beruf und Forschung
Research
Illustrationen
40 s/w Abbildungen
XII, 233 p. 40 illus.
Maße
Höhe: 0 mm
Breite: 0 mm
Gewicht
381 gr
ISBN-13
978-3-642-13463-0 (9783642134630)
DOI
10.1007/978-3-642-13464-7
Schweitzer Klassifikation
Weitere Ausgaben
Andere Ausgaben
John Hatcliff | Elena Zucca
Formal Techniques for Distributed Systems
Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
E-Book
06/2010
Springer
53,49 €
Als Download verfügbar
Inhalt
Invited Talk.- Formal Software Verification: How Close Are We?.- Formal UML Modeling.- Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.- Reactive Semantics for Distributed UML Activities.- Components and Architecture.- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.- Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.- Testing Probabilistic Distributed Systems.- Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.- Testing Attribute-Based Transactions in SOC.- Joint DisCoTec Session.- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.- Timed Process Algebra.- Forgetting the Time in Timed Process Algebra.- Theory and Implementation of a Real-Time Extension to the ?-Calculus.- Timed and Hybrid Automata.- Fuzzy-Timed Automata.- Model Checking of Hybrid Systems Using Shallow Synchronization.- Program Logics and Analysis.- Heap-Dependent Expressions in Separation Logic.- Static Type Analysis of Pattern Matching by Abstract Interpretation.- Reasoning about Distributed Systems.- On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols.- On Efficient Models for Model Checking Message-Passing Distributed Protocols.- Logics for Contravariant Simulations.