+612 9045 4394
Formal Methods for Open Object-based Distributed Systems : Volume 1 - Elie Najm

Formal Methods for Open Object-based Distributed Systems

Volume 1

By: Elie Najm (Editor), Jean-Bernard Stefani (Editor)

Hardcover Published: 30th November 1996
ISBN: 9780412797705
Number Of Pages: 412

Share This Book:


RRP $854.99
or 4 easy payments of $148.06 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 10th November 2003

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.

Processes, types, and observationsp. 3
Types for active objects based on trace semanticsp. 4
A type description language supporting interoperability in open distributed systemsp. 20
Describing behaviour in interfacesp. 36
Formalizing fusion object-oriented analysis modelsp. 47
An approach to integrate formal validation in an OO life-cycle of protocolsp. 63
Introducing formal notations in the development of object-based distributed applicationsp. 79
Refinement of distributed object systemsp. 99
Some specification and proof steps of a spanning tree algorithm with object-oriented methodp. 115
Abstracting interaction patterns: a programming paradigm for open distributed systemsp. 135
Interaction semantics for components of distributed systemsp. 154
Using actors as a computational model for OOramp. 170
An example for concurrent reflective computations in rewriting logicp. 178
Viewpoint consistency in ODP, a general interpretationp. 189
Specification of composite objects based on the ODP reference modelp. 205
An experience modelling telecommunications systems using ODP-DLcompp. 221
Advantages of formal specifications: a case study of replication in Lotus Notesp. 231
CPN modelling of an object based system: the ODP traderp. 245
An object-oriented description of services in a distributed systemp. 261
Formalizing composable software systems - a research agendap. 271
Towards a calculus for generative communicationp. 283
Omicron, an object-oriented calculusp. 298
A stream-based mathematical model for distributed information processing systems - the SysLab system modelp. 315
Formal specification and design of distributed systemsp. 325
Algebraic specification of distributed systems based on concurrent object-oriented modelingp. 341
Expressing runtime structure and synchronisation in concurrent OO languages with MONSTRp. 357
Specifying ODP computational objects in Zp. 375
Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructsp. 391
Supporting ODP - translating LOTOS to Zp. 399
List of authorsp. 407
Keyword indexp. 410
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412797705
ISBN-10: 0412797704
Series: IFIP Advances in Information and Communication Technology
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 412
Published: 30th November 1996
Publisher: Chapman and Hall
Country of Publication: GB
Dimensions (cm): 23.4 x 15.6  x 2.54
Weight (kg): 1.71