Formal Support for ODP and Teleservices

  • Joubine Dutszadeh
  • Elie Najm
Chapter
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

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.

Keywords

Open Distributed Processing Service Specification Information Model Computational Model Formal Methods 
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agha G. “Actors: A model of Concurrent Computation in Distributed Systems”. The MIT press, Cambridge, Massachusets. 1986.Google Scholar
  2. Agha G., Wegner P. and Yonezawa A. “Research directions in Concurrent Object- Oriented Programming”. The MIT press, Cambridge, Massachusets. 1993.Google Scholar
  3. Agha G., Frelund S., Kim W., Panwar R., Patterson A. and Sturman D. “Abstraction and Modularity Mechanisms for Concurrent Computing” in Agha (1993).Google Scholar
  4. Bates B. W., Bruel J-M., France. and Larrondo-Petrie M. M. (1996) ‘“Formalizing Fusion Object Oriented Analysis Models” — in FMOODS’96.CrossRefGoogle Scholar
  5. Booch G. and Rumbaugh J. (1995) “Unified Method for Object-Oriented Development” - Documentation Set, Version 0.8, Rational Software Corporation, 1995.Google Scholar
  6. Cusak E. et al. “An Object-Oriented Interpretation of LOTOS” In Proceedings of Forte: Formal Description Techniques, December 1989.Google Scholar
  7. Bourdeau R. H. and Cheng B. H. C. (1995) “A Formal Semantics for Object Model Diagrams” — IEEE Transactions on Software Engineering, October 1995.Google Scholar
  8. 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.Google Scholar
  9. Derrick, J., Boiten E., Bowman H., and Steen M. (1995) “Translating LOTOS to Z” - in (FMOODS’96)Google Scholar
  10. 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.Google Scholar
  11. Coleman D., Arnold P., Bodoff S. Dollin C., Gilchrist H. Hayes F. and Jeremaes P. “Object Oriented Development: The Fusion Method” - Prentice Hall, 1994.Google Scholar
  12. Dustzadeh J., Najm E. (1996) “Direct Formalization of OMT Object Model” - ENST internal report.Google Scholar
  13. 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.Google Scholar
  14. 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.Google Scholar
  15. 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.Google Scholar
  16. 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).Google Scholar
  17. 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.MATHMathSciNetCrossRefGoogle Scholar
  18. Najm E. and Stefani J-B. (1991) “Dynamic Configurations in LOTOS” - Proceedings of the IFIP Forte’91 Conference, Sydney, 1991. North Holland.Google Scholar
  19. 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.Google Scholar
  20. Najm E. and Stefani J-B. (1995) “A Formal Semantics for the ODP Computational Model” — Computer Networks and ISDN Systems, Volume 27, 1995.Google Scholar
  21. Nierstrasz O. (1993) “Composing active objects” in (Agha et al. 1993).Google Scholar
  22. 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.Google Scholar
  23. Prinz A. (1996) “Including Behaviour into Interfaces” in (FMOODS’96).Google Scholar
  24. 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.Google Scholar
  25. Rumbaugh J., Blaha M., Premerlani W., Eddy F. and Lorenson W. (1991) “Object-Oriented Modeling Technique” - Prentice Hall, 1991.Google Scholar
  26. 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.Google Scholar
  27. 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.Google Scholar
  28. 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.Google Scholar
  29. Vogel A. (1993) “An ODP architectural Semantics using LOTOS” - Proc. 1st International Conference on ODP, Berlin, September 1993.Google Scholar
  30. Vogel A. (1994) “A Formal Approach to an Architecture for Open Distributed Processing” - Technical Report #902, Université de Montréal (1994).Google Scholar
  31. Wegner P. (1990) “Concepts and Paradigms of Object-Oriented Programming” ACM OOPS Messenger, vol$11, no$11, pp. 7–87, August 1990.CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 1996

Authors and Affiliations

  • Joubine Dutszadeh
    • 1
  • Elie Najm
    • 1
  1. 1.ENST-Networks DepartmentEcole Nationale Supérieure des TélécommunicationsParisFrance

Personalised recommendations