+612 9045 4394
 
CHECKOUT
Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings - Elie Najm

Formal Methods for Open Object-Based Distributed Systems

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

By: Elie Najm (Editor), Uwe Nestmann (Editor), Perdita Stevens (Editor)

Paperback

Published: 10th November 2003
Ships: 5 to 9 business days
5 to 9 business days
$147.02
or 4 easy payments of $36.76 with Learn more

Other Available Formats (Hide)

  • Hardcover View Product Published: 30th November 1996
    $594.50

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19-21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: - formal methods; - distributed systems; - object-based technology. Such a convergence is representative of recent advances in the ?eld of distributed systems, andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation 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 int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci?cation, design or analysis; component-based design; veri?cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di?erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described.

Java's Integral Types in PVSp. 1
Towards Object-Oriented Graphs and Grammarsp. 16
A Rewriting Based Model for Probabilistic Distributed Object Systemsp. 32
Engineering the SDL Formal Language Definitionp. 47
A Syntax-Directed Hoare Logic for Object-Oriented Programming Conceptsp. 64
Inheritance of Temporal Logic Propertiesp. 79
Temporal Logic Based Static Analysis for Non-uniform Behavioursp. 94
The Kell Calculus: Operational Semantics and Type Systemp. 109
A Calculus for Long-Running Transactionsp. 124
Formal Analysis of Some Timed Security Properties in Wireless Protocolsp. 139
Inductive Proof Outlines for Monitors in Javap. 155
Proof Scores in the OTS/CafeOBJ Methodp. 170
Managing the Evolution of .NET Programsp. 185
On Mobility Extensions of UML Statecharts. A Pragmatic Approachp. 199
New Operators for the TURTLE Real-Time UML Profilep. 214
Checking Consistency in UML Diagrams: Classes and State Machinesp. 229
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Componentsp. 244
Verification of Distributed Object-Based Systemsp. 261
Design and Verification of Distributed Multi-media Systemsp. 276
Author Indexp. 293
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540204916
ISBN-10: 3540204911
Series: Lecture Notes in Computer Science
Audience: Tertiary; University or College
Format: Paperback
Language: English
Number Of Pages: 340
Published: 10th November 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.3 x 15.5  x 1.88
Weight (kg): 1.1