Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

✍ Scribed by Oscar Nierstrasz (auth.), Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri (eds.)

• Publisher: Springer US
• Year: 1999
• Tongue: English
• Leaves: 437
• Series: IFIP — The International Federation for Information Processing 10
• Edition: 1
• Category: Library

✦ Synopsis

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

✦ Table of Contents

Front Matter....Pages i-xii
Piccola — A Small Composition Language....Pages 1-1
An Algebra of Actors....Pages 3-18
Developing Object-Based Distributed Systems....Pages 19-34
Reasoning About Histories in Object-Based Distributed Systems....Pages 35-49
Mobile Nets....Pages 51-66
Observation Equivalences for the Semantics of Inheritance....Pages 67-82
Tools for Integrating Formal Methods into the Java Software Development Process (An Extended Abstract)....Pages 83-88
Design and Implementation of Coordination Protocols for Distributed Cooperating Objects — A General Graph-Based Technique Applied to Corba....Pages 89-104
Specifying Component-Based Java Applications....Pages 105-112
Object Composition: A Case Study....Pages 113-130
Specifying Reusable Controllers for Software Components....Pages 131-148
Composition and Interaction for Behavioural Specifications....Pages 149-159
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints....Pages 161-168
Distributed Feature Composition: An Architecture for Telecommunication Services....Pages 169-170
Pattern Application VS. Inheritance in SDI....Pages 171-186
Engineering Telecommunication Services with SDL....Pages 187-203
SDL in Rigorous Object-Oriented Analysis....Pages 205-212
A Junction Between State Based and Behavioural Specification....Pages 213-239
Protocol Assuring Universal Language....Pages 241-258
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations....Pages 259-272
Assessing Service Properties with Regard to a Requested Qos: The Service Metric....Pages 273-280
Combining Design Methods for Service Development....Pages 281-291
Lsc’s: Breathing Life Into Message Sequence Charts....Pages 293-311
Modular Reasoning for Actor Specification Diagrams....Pages 313-330
Towards a Formal Operational Semantics of UML Statechart Diagrams....Pages 331-347
Foundations for Wide-Area Systems....Pages 349-349
Calculi for Concurrent Objects....Pages 351-352
Infinite Types for Distributed Object Interfaces....Pages 353-369
Static Safety Analysis for Non-Uniform Service Availability in Actors....Pages 371-386
A Logic for the Specification of Multi-Object Systems....Pages 387-398
Distributed and Concurrent Objects Based on Linear Logic....Pages 399-400
Composition in Multi-Paradigm Specification Techniques....Pages 401-417
Formal Development of Object-Based Systems in a Temporal Logic Setting....Pages 419-436

✦ Subjects

Processor Architectures; Computing Methodologies; Data Structures, Cryptology and Information Theory; Programming Languages, Compilers, Interpreters