Formal Methods for Open Object-based Dis
โ Howard Bowman, John Derrick (eds.)
๐ Library
๐
1997
๐ Springer US
๐ English
โฆ LIBER โฆ
๐
Formal Methods for Open Object-based Distributed Systems
โ Scribed by Elie Najm, Jean-Bernard Stefani (eds.)
- Publisher
- Springer US
- Year
- 1997
- Tongue
- English
- Leaves
- 408
- Series
- IFIP Advances in Information and Communication Technology
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Table of Contents
Front Matter....Pages i-x
Front Matter....Pages 1-1
Processes, Types, and Observations....Pages 3-3
Types for Active Objects Based on Trace Semantics....Pages 4-19
A type description language supporting interoperability in open distributed systems....Pages 20-35
Describing behaviour in interfaces....Pages 36-43
Front Matter....Pages 45-45
Formalizing Fusion Object-Oriented Analysis Models....Pages 47-62
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols....Pages 63-78
Introducing formal notations in the development of object-based distributed applications....Pages 79-95
Front Matter....Pages 97-97
Refinement of Distributed Object Systems....Pages 99-114
Some Specification and Proof Steps of a Spanning Tree Algorithm with an Object-Oriented Method....Pages 115-131
Front Matter....Pages 133-133
Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems....Pages 135-153
Interaction Semantics for Components of Distributed Systems....Pages 154-169
Using Actors as a computational model for OOram....Pages 170-177
An Example for Concurrent Reflective Computations in Rewriting Logic....Pages 178-185
Front Matter....Pages 187-187
Viewpoint consistency in ODP, a general interpretation....Pages 189-204
Specification of composite objects based on the ODP Reference Model....Pages 205-220
An experience modelling telecommunications systems using ODP-DLcomp....Pages 221-228
Front Matter....Pages 229-229
Advantages of Formal Specifications: A Case Study of Replication in Lotus Notes....Pages 231-244
CPN Modelling of an Object Based System: The ODP Trader....Pages 245-260
An object-oriented description of services in a distributed system....Pages 261-268
Front Matter....Pages 269-269
Formalizing Composable Software Systems โ A Research Agenda....Pages 271-282
Front Matter....Pages 269-269
Towards a calculus for generative communication....Pages 283-297
Omicron, An Object-Oriented Calculus....Pages 298-314
A stream-based mathematical model for distributed information processing systems - the SysLab system model -....Pages 315-322
Front Matter....Pages 323-323
Formal Specification and Design of Distributed Systems....Pages 325-340
Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling....Pages 341-356
Expressing Runtime Structure and Synchronisation in Concurrent OO Languages with MONSTR....Pages 357-372
Front Matter....Pages 373-373
Specifying ODP Computational Objects in Z....Pages 375-390
Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs....Pages 391-398
Supporting ODP - Translating LOTOS to Z....Pages 399-406
Back Matter....Pages 407-411
โฆ Subjects
Software Engineering/Programming and Operating Systems; Computer Communication Networks; Signal, Image and Speech Processing
๐ SIMILAR VOLUMES
Formal Methods for Open Object-Based Dis
โ Oscar Nierstrasz (auth.), Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
๐ Library
๐
1999
๐ Springer US
๐ English
<p><em>Formal Methods for Open Object-Based Distributed Systems</em> 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,
Formal Methods for Open Object-Based Dis
โ Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carol
๐ Library
๐
2000
๐ Springer US
๐ English
<p><em>Formal Methods for Open Object-Based Distributed Systems IV</em> presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures t
Formal Methods for Open Object-Based Dis
โ Matthew Dwyer (auth.), Bart Jacobs, Arend Rensink (eds.)
๐ Library
๐
2002
๐ Springer US
๐ English
<p>Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: <UL><LI>Formal methods; </LI><LI>Distributed systems; </LI><LI>Object-based technology.</LI></UL><P><BR>Such a convergence is representative of recent advances in the field o
Formal Techniques for Distributed Object
โ Christel Baier, Luรญs Caires
๐ Library
๐
2018
๐ Springer International Publishing
๐ English
<p><p>This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniq
Formal Methods for Open Object-Based Dis
โ Andrew Myers (auth.), Gilles Barthe, Frank S. de Boer (eds.)
๐ Library
๐
2008
๐ Springer-Verlag Berlin Heidelberg
๐ English
<p><P>This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.</P><P>The 14 revised full papers presented together with 1 invited lecture were carefull