Verkauf durch Sack Fachmedien

Zavattaro / Steffen

Formal Methods for Open Object-Based Distributed Systems

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Medium: Buch
ISBN: 978-3-540-26181-0
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 03.06.2005
Lieferfrist: bis zu 10 Tage

facto) standardnotation and languagesfor serviceo- ented design, e. g. web services orchestration languages, was explicitly welcome.


Produkteigenschaften


  • Artikelnummer: 9783540261810
  • Medium: Buch
  • ISBN: 978-3-540-26181-0
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 03.06.2005
  • Sprache(n): Englisch
  • Auflage: 2005
  • Serie: Programming and Software Engineering
  • Produktform: Kartoniert
  • Gewicht: 1060 g
  • Seiten: 326
  • Format (B x H x T): 155 x 235 x 19 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.