Formal Methods for Open Object-based Distributed Systems

Volume 1

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

Write A Review

Hardcover | 30 November 1996

At a Glance

Hardcover
428 Pages

Dimensions(cm)
24.77 x 16.51 x 2.54

Hardcover

$329.75

or 4 interest-free payments of $82.44 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Computer Science Computer Architecture & Logic Design Parallel Processing Computer Networking & Communications Software Engineering Computer Hardware Network Hardware

Foreword
Processes, types, and observations	p. 3
Types for active objects based on trace semantics	p. 4
A type description language supporting interoperability in open distributed systems	p. 20
Describing behaviour in interfaces	p. 36
Formalizing fusion object-oriented analysis models	p. 47
An approach to integrate formal validation in an OO life-cycle of protocols	p. 63
Introducing formal notations in the development of object-based distributed applications	p. 79
Refinement of distributed object systems	p. 99
Some specification and proof steps of a spanning tree algorithm with object-oriented method	p. 115
Abstracting interaction patterns: a programming paradigm for open distributed systems	p. 135
Interaction semantics for components of distributed systems	p. 154
Using actors as a computational model for OOram	p. 170
An example for concurrent reflective computations in rewriting logic	p. 178
Viewpoint consistency in ODP, a general interpretation	p. 189
Specification of composite objects based on the ODP reference model	p. 205
An experience modelling telecommunications systems using ODP-DLcomp	p. 221
Advantages of formal specifications: a case study of replication in Lotus Notes	p. 231
CPN modelling of an object based system: the ODP trader	p. 245
An object-oriented description of services in a distributed system	p. 261
Formalizing composable software systems - a research agenda	p. 271
Towards a calculus for generative communication	p. 283
Omicron, an object-oriented calculus	p. 298
A stream-based mathematical model for distributed information processing systems - the SysLab system model	p. 315
Formal specification and design of distributed systems	p. 325
Algebraic specification of distributed systems based on concurrent object-oriented modeling	p. 341
Expressing runtime structure and synchronisation in concurrent OO languages with MONSTR	p. 357
Specifying ODP computational objects in Z	p. 375
Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs	p. 391
Supporting ODP - translating LOTOS to Z	p. 399
List of authors	p. 407
Keyword index	p. 410
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Methods for Open Object-based Distributed Systems

Volume 1

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The Tech Coup

How to Save Democracy from Silicon Valley

Nexus

A Brief History of Information Networks from the Stone Age to AI

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

The Shortest History of AI

Ideal Subjects Volume 76

The Abstract People of AI

Ideal Subjects Volume 76

The Abstract People of AI

Life 3.0

Being Human in the Age of Artificial Intelligence

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science

The PAAMS Collection : 23rd International Conference, PAAMS 2025, Lille, France, June 25-27, 2025, Proceedings

AI 2025

Advances in Artificial Intelligence : 38th Australasian Joint Conference on Artificial Intelligence, AI 2025, Canberra, ACT, Australia, December 1-5, 2025, Proceedings, Part II

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Co-Intelligence

Living and Working with AI

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

This product is categorised by