Abstract
The ODP-DLcomp language is intended to describe systems in the ODP computational model. It is object-oriented, implementation-independent and its formal semantics are based on LOTOS, thus it is a Formal Description Technique. It supports specification of interface and object templates, with appropriate creation and binding operations. An application of the language is demonstrated using the Plain Old Telephone System example.
Chapter PDF
Similar content being viewed by others
References
Bolognesi, B., and Brinksma, E. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1987) 2559.
Booch, G. Object Oriented Design with Applications, Benjamin/Cummings, 1994.
Farooqui, K., and Logrippo, L. Architecture for Open Distributed Software Systems. In: A. Zomaya (ed.) Parallel And Distributed Computing Handbook. McGraw-Hill, 1996. Chapter 11, 303–329.
Farooqui, K., Logrippo, L., deMeer, J. The ISO Reference Model for Open Distributed Processing: an introduction in Computer Networks and ISDN Systems 27 (1995) 1215–1229
Koch. F. Spezifizierung offener Verteilter Systeme aus Sicht des ODP Computational Viewpoint, Gesellschaft fuer Mathematik und Datenverarbeitung, GMD-Studien Nr. 243, October 1994.
Stepien, B., and Logrippo, L. Status-Oriented Telephone Service Specification. In: T.Rus and C.Rattray (eds.) Theories and Experiences for Real-Time System Development. AMAST Series in Computing, Vol. 2, World Scientific, 1994, 265–286.
Kitson, B., Leydekkers, P., Mercouroff, N., Ruano, F, et al. TINA Object Definition Language (TINA-ODL) Manual, TINA Consortium, 1995.
A. Vogel On ODP’sArchitectural Semantics using LOTOS: In: J. de Meer, B. Mahr, O. Spaniol(Editors): Proceedings of the International Conference on Open Distributed Processing. Berlin, September 1993
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Stepien, B., Farooqui, K., Logrippo, L. (1997). An experience modelling telecommunications systems using ODP-DLcomp. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_16
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive