Abstract
The provision of distributed services in an open, heterogeneous environment requires a robust methodology for the entire service life-cycle; from service specification to service operation. The Reference Model of Open Distributed Processing (RM-ODP) - an ISO/ITU standard - is an architectural model that lays the ground for rigorous approaches to service development. RM-ODP features a multiple viewpoint approach that significantly enhances the development of distributed services by separating concerns into five relevant viewpoints; enterprise, information, computation, engineering and technology. RM-ODP also uses and advocates the use of formal methods for the design of open distributed systems. We introduce ODP-RM and its viewpoints, give some relevant details of the information and computational viewpoints, discuss the formal support of ODP concepts and investigate the suitability of some specification languages such as OMT, LOTOS, Z, SDL and their extensions as candidate notations for ODP models.
Chapter PDF
Similar content being viewed by others
Keywords
References
Agha G. “Actors: A model of Concurrent Computation in Distributed Systems”. The MIT press, Cambridge, Massachusets. 1986.
Agha G., Wegner P. and Yonezawa A. “Research directions in Concurrent Object- Oriented Programming”. The MIT press, Cambridge, Massachusets. 1993.
Agha G., Frelund S., Kim W., Panwar R., Patterson A. and Sturman D. “Abstraction and Modularity Mechanisms for Concurrent Computing” in Agha (1993).
Bates B. W., Bruel J-M., France. and Larrondo-Petrie M. M. (1996) ‘“Formalizing Fusion Object Oriented Analysis Models” — in FMOODS’96.
Booch G. and Rumbaugh J. (1995) “Unified Method for Object-Oriented Development” - Documentation Set, Version 0.8, Rational Software Corporation, 1995.
Cusak E. et al. “An Object-Oriented Interpretation of LOTOS” In Proceedings of Forte: Formal Description Techniques, December 1989.
Bourdeau R. H. and Cheng B. H. C. (1995) “A Formal Semantics for Object Model Diagrams” — IEEE Transactions on Software Engineering, October 1995.
Bowman H., Derrick, J. Linington P. and Steen M. (1995) “FDTs for ODP” - Computer Standards and Interfaces. Special Issue: Formal Description Techniques. Volume 17. N 5–6, September 1995.
Derrick, J., Boiten E., Bowman H., and Steen M. (1995) “Translating LOTOS to Z” - in (FMOODS’96)
Chapman M., Berndt H. and Gatti N. (1995) “Software architecture for the future information market” - Computer Communications, Vol. 18 - Num. 11, November 1995. Elsevier Science B. V.
Coleman D., Arnold P., Bodoff S. Dollin C., Gilchrist H. Hayes F. and Jeremaes P. “Object Oriented Development: The Fusion Method” - Prentice Hall, 1994.
Dustzadeh J., Najm E. (1996) “Direct Formalization of OMT Object Model” - ENST internal report.
Février A., Najm E. Leduc G. and Leonard L. (1996) “Compositional specification of ODP binding objects” - Proceeding of the INDC’96 conference, June 1996. Chapman & Hall.
FMOODS’96 First IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, Paris, 4–6 March, 1996. Najm E. and Stefani J-B. Eds. Chapman & Hall.
Järvinen H-M., Kurki-Sunio R., Sakkinen M. and Systä K. (1990) “Object Oriented Specification of Reactive Systems” Proceedings of the 12th International Conference on Programming Languages and Systems, Nice, France, March 2830, 1990. IEEE Computer Society Press.
Johnson D. R. and Kilov H. (1996) “Can a flat notation be used to specify an 00 system: using Z to describe RM-ODP constructs” in (FMOODS’96).
R Milner, J. Parrow, D. Walker (1992) “A Calculus of Mobile Processes: Parts I & II ” - Journal of Information and Computation 100, p 1–77, 1992.
Najm E. and Stefani J-B. (1991) “Dynamic Configurations in LOTOS” - Proceedings of the IFIP Forte’91 Conference, Sydney, 1991. North Holland.
Najm E. and Stefani J-B. (1995) “A Formal Semantics for the ODP Computational Model, with signals, explicit binding and reactive objects” - CNET technical report no NT/PAA/TSA/TLR/4187, January 1995.
Najm E. and Stefani J-B. (1995) “A Formal Semantics for the ODP Computational Model” — Computer Networks and ISDN Systems, Volume 27, 1995.
Nierstrasz O. (1993) “Composing active objects” in (Agha et al. 1993).
Pierce B. and Turner D. (1995) “Concurrent Objects in a Process Calculus” Proceedings Theory and Practice of Parallel Programming, Ito T. and Yonezawa A. (Ed.), Springer Verlag LNCS 907, Sendai, Japan, 1995.
Prinz A. (1996) “Including Behaviour into Interfaces” in (FMOODS’96).
Rudkin S. “Inheritance in LOTOS”. In K.R. Parker and G.A. Rose, editors, Formal Description Techniques, I V, (North Holland), 1992. Elsevier Science Publishers B.V.
Rumbaugh J., Blaha M., Premerlani W., Eddy F. and Lorenson W. (1991) “Object-Oriented Modeling Technique” - Prentice Hall, 1991.
RM-ODP (1995) ITU-T Rec. X.901–904/ISO/IEC 10746 1–4: “Reference Model of Open Distributed Processing” - Parts 1–4 (Part 1: Overview, Part 2: Descriptive Model, Part 3: Prescriptive Model, Part 4: Architectural Semantics). - July 1995.
Stefani J-B. (1992) “Open Distributed Processing: The Next Target for the Application of Formal Description Techniques” - Proceedings of the IFIP Forte’90 Conference, Madrid. North Holland.
Stefani J-B. (1995) “Open Distributed Processing: an architectural basis for information networks” - Computer Communications, Vol. 18 - Num. 11, November 1995. Elsevier Science B. V.
Vogel A. (1993) “An ODP architectural Semantics using LOTOS” - Proc. 1st International Conference on ODP, Berlin, September 1993.
Vogel A. (1994) “A Formal Approach to an Architecture for Open Distributed Processing” - Technical Report #902, Université de Montréal (1994).
Wegner P. (1990) “Concepts and Paradigms of Object-Oriented Programming” ACM OOPS Messenger, vol$11, no$11, pp. 7–87, August 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Dutszadeh, J., Najm, E. (1996). Formal Support for ODP and Teleservices. In: Aagesen, F.A., Botnevik, H., Khakhar, D. (eds) Information Network and Data Communication. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34985-5_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-34985-5_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2916-9
Online ISBN: 978-0-387-34985-5
eBook Packages: Springer Book Archive