Bisher 65,99 €**
64,99 €
versandkostenfrei*

inkl. MwSt.
**Früherer Preis
Versandfertig in 2-4 Wochen
32 °P sammeln
    Broschiertes Buch

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 17, 2005. The eventwasthe seventhmeeting ofthis conferenceseries,whichis held roughly- eryyearandahalf,withtheearliereventsheldrespectivelyinParis,Canterbury, Florence, Stanford, Twente, and Paris. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: formal methods; distributed systems; object-based technology. Sucha…mehr

Produktbeschreibung
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 17, 2005. The eventwasthe seventhmeeting ofthis conferenceseries,whichis held roughly- eryyearandahalf,withtheearliereventsheldrespectivelyinParis,Canterbury, Florence, Stanford, Twente, and Paris. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: formal methods; distributed systems; object-based technology. Sucha convergenceis representativeofrecentadvancesin the?eld ofdistributed systems, and provides links between several scienti?c and technological com- nities, as represented by the conferences FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the pres- tation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of interest - cluded, but were not limited to: formal models; formal techniques for speci?- tion, design, or analysis; veri?cation, testing, and validation; component-based design; formal aspects of service-oriented computing; semantics and type s- tems for programming, coordination, or modelling languages; behavioraltyping; multiple viewpoint modelling and consistency between di?erent models; tra- formations of models; integration of quality-of-service requirements into formal models; formal models for security; formal approachesto distributed component frameworks;andapplications andexperience,carefullydescribed. Work onthese aspects of (o?cial and de facto) standardnotation and languagesfor serviceo- ented design, e. g. web services orchestration languages, was explicitly welcome.
  • Produktdetails
  • Lecture Notes in Computer Science 3535
  • Verlag: Springer, Berlin; Springer Berlin Heidelberg; Springe
  • Artikelnr. des Verlages: 11494881
  • 2005
  • Seitenzahl: 336
  • Erscheinungstermin: 3. Juni 2005
  • Englisch
  • Abmessung: 235mm x 155mm x 18mm
  • Gewicht: 481g
  • ISBN-13: 9783540261810
  • ISBN-10: 3540261818
  • Artikelnr.: 21445105
Autorenporträt
Martin Steffen, Christian-Albrechts-Universität, Kiel, Germany / Gianluigi Zavattaro, Università degli Studi di Bologna, Italy
Inhaltsangabe
Invited Talk.- Pattern Matching over a Dynamic Network of Tuple Spaces.- Models and Calculi.- A Dynamic Class Construct for Asynchronous Concurrent Objects.- An Abstract Machine for the Kell Calculus.- XPi: A Typed Process Calculus for XML Messaging.- UML.- Checking the Validity of Scenarios in UML Models.- An Extended Type System for OCL Supporting Templates and Transformations.- A Semantics for UML-RT Active Classes via Mapping into Circus.- Security.- Towards an Integrated Formal Analysis for Security and Trust.- A Formal Security Analysis of an OSA/Parlay Authentication Interface.- Composition and Verification.- Tracing Integration Analysis in Component-Based Formal Specifications.- CompAr: Ensuring Safe Around Advice Composition.- Guaranteeing Resource Bounds for Component Software.- Analysis of Java Programs.- Specification and Verification of Encapsulation in Java Programs.- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.- Web Services.- Transforming Information in RDF to Rewriting Logic.- Modeling- and Analysis Techniques for Web Services and Business Processes.- A Distributed Implementation of Mobile Nets as Mobile Agents.- Specification and Verification.- On Correctness of Dynamic Protocol Update.- Property-Driven Development of a Coordination Model for Distributed Simulations.- A Timing Analysis of AODV.