Formal Methods for Open Object-based Distributed Systems: Volume 2

✍ Scribed by Howard Bowman, John Derrick (eds.)

• Publisher: Springer US
• Year: 1997
• Tongue: English
• Leaves: 466
• Series: IFIP Advances in Information and Communication Technology
• Category: Library

✦ Table of Contents

Front Matter....Pages i-xii
Front Matter....Pages 1-1
The Pi Calculus and its Applications....Pages 3-4
A Calculus of Object Bindings....Pages 5-20
A Calculus with Code Mobility....Pages 21-36
A proof-theoretic approach to the design of object-based mobility....Pages 37-53
Front Matter....Pages 55-55
CO-OPN/2: A Concurrent Object-Oriented Formalism....Pages 57-72
Analysis for Concurrent Objects....Pages 73-88
Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic....Pages 89-104
Front Matter....Pages 105-105
A Set-Constraint-based analysis of Actors....Pages 107-122
Actors and Virtual Time: an Experience using Time Warp, Timed Petri Nets and Cellular Networks....Pages 123-138
Formalizing Multimedia QoS Constraints Using Actors....Pages 139-153
Front Matter....Pages 155-155
Invited Paper — Computational models for open distributed systems....Pages 157-176
Using SDL to develop CORBA object implementations....Pages 177-192
Meta Information Management....Pages 193-202
Improving the Development and Validation of Viewpoint Specifications....Pages 203-212
Front Matter....Pages 213-213
Formal user-centred models....Pages 215-230
Approaches to the Specification of Object Associations....Pages 231-246
Exploring The Semantics of UML Type Structures with Z....Pages 247-257
Front Matter....Pages 259-259
Expressive flexibility in constraint-oriented specification: LOTOS and Co-notation....Pages 261-276
Objects as Abstract Machines....Pages 277-292
State Based Service Description....Pages 293-302
Front Matter....Pages 303-303
Subtyping for Distributed Object Stores....Pages 305-318
Inheritance Anomaly — A Formal Treatment....Pages 319-334
On Behavioural Subtyping in LOTOS....Pages 335-351
On the Specification, Inheritance, and Verification of Synchronization Constraints....Pages 352-367
Front Matter....Pages 369-369
Transformations and Consistent Semantics for ODP Viewpoints....Pages 371-386
Architectural Concepts for Agent Paradigm: A Way to Separate Concerns in Open Distributed Systems....Pages 387-398
A Conformance Relationship for Stream Interfaces....Pages 399-408
Test execution of telecommunications services using CORBA....Pages 409-419
Front Matter....Pages 421-421
CSP-OZ: A Combination of Object-Z and CSP....Pages 423-438
Towards the Refinement of Executable Temporal Objects....Pages 439-454
Applying LOTOS to the Design of TINA Applications....Pages 455-466
Back Matter....Pages 467-470

✦ Subjects

Computer Communication Networks; Signal, Image and Speech Processing