Cantitate/Preț
Produs
Total produse
Vezi coșul
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 de John Hatcliff

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: Lecture Notes in Computer Science, cartea 6117

Editat de John Hatcliff, Elena Zucca
en Limba Engleză Paperback – iun 2010

Ecosistemul metodologiilor formale prezentat în Formal Techniques for Distributed Systems se concentrează pe utilizarea riguroasă a limbajelor de modelare precum UML formal, AADL și π-calculus pentru a asigura corectitudinea sistemelor complexe. Ne-a atras atenția modul în care volumul reușește să pună în dialog bazele teoretice ale calculului distribuit cu necesitățile practice de verificare și testare în medii eterogene. Putem afirma că selecția de lucrări oferă o imagine de ansamblu tehnică asupra modului în care specificațiile bazate pe reguli pot fi optimizate pentru planificarea deciziilor în sisteme ierarhice.

Structura volumului reflectă o progresie de la fundamente spre aplicații specifice. Prima secțiune abordează verificarea software și modelarea UML, urmată de o analiză detaliată a componentelor și arhitecturilor, unde este explorată verificarea sistemelor eterogene mari prin model-checking statistic. Merită menționat capitolul dedicat implementării extensiilor de timp real pentru π-calculus, un instrument esențial pentru inginerii care lucrează la sisteme unde latența este critică. Abordarea diferă de Formal Methods for Open Object-Based Distributed Systems prin concentrarea mai accentuată pe integrarea sistemelor hibride și a automatelor fuzzy, fiind mai puțin abstractă și mai mult orientată spre soluții de implementare pentru tranzacții în Service-Oriented Computing (SOC).

Spre deosebire de edițiile ulterioare, cum este Formal Techniques for Distributed Objects, Components, and Systems editat de Kirstin Peters, acest volum din seria Lecture Notes in Computer Science pune un accent deosebit pe sesiunile comune DisCoTec, incluzând cercetări interdisciplinare precum utilizarea teoriei jocurilor coaliționale pentru gruparea nodurilor în rețele de senzori wireless. Este o resursă tehnică densă, axată pe rigoarea matematică aplicată în ingineria sistemelor distribuite moderne.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31867 lei

Preț vechi: 39833 lei
-20%

Puncte Express: 478

Carte disponibilă

Livrare economică 29 aprilie-13 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642134630
ISBN-10: 3642134637
Pagini: 233
Ilustrații: XII, 233 p. 40 illus.
Dimensiuni: 5 x 90 x 15 mm
Greutate: 0.39 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Recomandăm această lucrare cercetătorilor și inginerilor de sistem care doresc să implementeze metode de verificare formală în proiectarea rețelelor distribuite. Cititorul câștigă acces la metodologii avansate de testare pentru sisteme probabilistice și e-commerce, învățând cum să utilizeze automatele hibride și logica de programare pentru a preveni erorile de arhitectură în sisteme complexe de scară largă.

Cuprins

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.

Descriere

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.