Research Catalog

Title

Formal methods for open object-based distributed systems / edited by Elie Najm and Jean-Bernard Stefani.

Publication

London ; New York : Chapman & Hall, on behalf of IFIP, 1997.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Najm, Elie.
• Stefani, Jean-Bernard.

Description

vii, 411 pages : illustrations; 24 cm

Subjects

• Electronic data processing > Distributed processing
• Object-oriented methods (Computer science)

Bibliography (note)

• Includes bibliographical references and indexes.

Contents

• 1. Processes, types, and observations / B. C. Pierce -- 2. Types for active objects based on trace semantics / F. Puntigam -- 3. A type description language supporting interoperability in open distributed systems / W. Brookes -- 4. Describing behaviour in interfaces / A. Prinz -- 5. Formalizing fusion object-oriented analysis models / B. W. Bates, J.-M. Bruel and R. B. France [et al.] -- 6. An approach to integrate formal validation in an OO life-cycle of protocols / C. Jard, J.-M. Jezequel and L. Nedelka -- 7. Introducing formal notations in the development of object-based distributed applications / S. Pickin, C. Sanchez and J. C. Yelmo [et al.] -- 8. Refinement of distributed object systems / K. Lano and S. Goldsack -- 9. Some specification and proof steps of a spanning tree algorithm with object-oriented method / L. Bonnet, L. Duchien and G. Florin [et al.] -- 10. Abstracting interaction patterns: a programming paradigm for open distributed systems / G. A. Agha --
• 11. Interaction semantics for components of distributed systems / C. Talcott -- 12. Using actors as a computational model for OOram / H. Vestli -- 13. An example for concurrent reflective computations in rewriting logic / H. Ishikawa, K. Futatsugi and T. Watanabe -- 14. Viewpoint consistency in ODP, a general interpretation / H. Bowman, E. A. Boiten and J. Derrick [et al.] -- 15. Specification of composite objects based on the ODP reference model / D. Ramazani and G. v. Bockmann -- 16. An experience modelling telecommunications systems using ODP-DLcomp / B. Stepien, K. Farooqui and L. Logrippo -- 17. Advantages of formal specifications: a case study of replication in Lotus Notes / M. Bourgois -- 18. CPN modelling of an object based system: the ODP trader / A. Tokmakoff and J. Billington -- 19. An object-oriented description of services in a distributed system / C. Popien and A. Kuepper --
• 20. Formalizing composable software systems - a research agenda / O. Nierstrasz, J.-G. Schneider and M. Lumpe -- 21. Towards a calculus for generative communication / P. Ciancarini, R. Gorrieri and G. Zavattaro -- 22. Omicron, an object-oriented calculus / E. K. Nordhagen -- 23. A stream-based mathematical model for distributed information processing systems - the SysLab system model / C. Klein, B. Rumpe and M. Broy -- 24. Formal specification and design of distributed systems / A. Diagne and P. Estraillier -- 25. Algebraic specification of distributed systems based on concurrent object-oriented modeling / S. Iida, K. Futatsugi and T. Watanabe -- 26. Expressing runtime structure and synchronisation in concurrent OO languages with MONSTR / R. Banach and G. A. Papadopoulos -- 27. Specifying ODP computational objects in Z / R. Sinnott and K. J. Turner -- 28. Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs / D. R. Johnson and H. Kilov --
• 29. Supporting ODP - translating LOTOS to Z / J. Derrick, E. A. Boiten and H. Bowman [et al.].

ISBN

0412797704

OCLC

ocm36802760

Owning Institutions

Columbia University Libraries