Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises

  • Mohamed Bouhdadi
  • Youssef Balouki
  • El maati Chabbar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4707)


The Reference Model for Open Distributed Processing (RM-ODP) defines a framework within which support of distribution, interoperability and portability can be integrated. However other ODP standards have to be defined. We treat in this paper the need of formal notation for structural concepts in the enterprise language. Indeed, the ODP viewpoint languages are abstract in the sense that they define what concepts should be supported not how these concepts should be represented. One approach to define formal semantics of a language is denotational elaborating the instance denoted by a sentence of the language in a particular context. Using the denotational semantics in the context of UML/OCL meta-modelling approach and the denotational semantics we define in this paper syntax and semantics for a fragment of ODP structural concepts defined in the RM-ODP foundations part and in the enterprise language. These specification concepts are suitable for describing and constraining ODP enterprise viewpoint specifications.


RM-ODP Enterprise Language Structural Concepts Denotational Semantics UML/OCL 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ISO/IEC.: Basic Reference Model of Open Distributed Processing-Part1: Overview and Guide to Use, ISO/IEC CD 10746-1 (1994)Google Scholar
  2. 2.
    ISO/IEC.: RM-ODP-Part2: Descriptive Model, ISO/IEC DIS 10746-2 (1994)Google Scholar
  3. 3.
    ISO/IEC.: RM-ODP-Part3: Prescriptive Model, ISO/IEC DIS 10746-3 (1994)Google Scholar
  4. 4.
    ISO/IEC.: RM-ODP-Part4: Architectural Semantics, ISO/IEC DIS 10746-4 (July 1994)Google Scholar
  5. 5.
    OMG.: The Object Management Architecture, OMG (1991)Google Scholar
  6. 6.
    ISO/IEC.: ODP Type Repository Function, ISO/IEC JTC1/SC7 N2057 (1999)Google Scholar
  7. 7.
    ISO/IEC.: The ODP Trading Function, ISO/IEC JTC1/SC21 (1995)Google Scholar
  8. 8.
    Bouhdadi, M., et al.: An Informational Object Model for ODP Applications. Malaysian Journal of Computer Science 13(2), 21–32 (2000)Google Scholar
  9. 9.
    Spivey, J.M.: The Z Reference manual. Prentice Hall, Englewood Cliffs (1992)Google Scholar
  10. 10.
    IUT, SDL: Specification and Description Language, IUT-T-Rec. Z.100 (1992)Google Scholar
  11. 11.
    ISO/IUT.: LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behavior, ISO/IEC 8807 (1998)Google Scholar
  12. 12.
    Bowman, H., et al.: FDTs for ODP. Computer Standards & Interfaces Journal 17(5-6), 457–479 (1995)CrossRefGoogle Scholar
  13. 13.
    Rumbaugh, J., et al.: The Unified Modeling Language. Addison Wesley, Reading (1999)Google Scholar
  14. 14.
    Rumpe, B.: A Note on Semantics with an Emphasis on UML. In: Demeyer, S., Bosch, J. (eds.) Object-Oriented Technology. ECOOP ’98 Workshop Reader. LNCS, vol. 1543, pp. 167–188. Springer, Heidelberg (1998)Google Scholar
  15. 15.
    Evans, A., et al.: Making UML precise. In: Object Oriented Programming, Systems languages and Applications (OOPSLA’98), Vancouver, Canada, ACM Press, New York (1998)Google Scholar
  16. 16.
    Evans, A., et al.: The UML as a Formal Modeling Notation. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 349–364. Springer, Heidelberg (1999)Google Scholar
  17. 17.
    Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison Wesley, Reading (1998)Google Scholar
  18. 18.
    Kent, S., et al.: A meta-model semantics for structural constraints in UML. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral specifications for businesses and systems, ch. 9, Kluwer, Dordrecht (1999)Google Scholar
  19. 19.
    Evans, E., et al.: Meta-Modeling Semantics of UML (ch. 4). In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral specifications for businesses and systems, Kluwer, Dordrecht (1999)Google Scholar
  20. 20.
    Schmidt, D.A.: Denotational semantics: A Methodology for Language Development. Allyn and Bacon, Massachusetts (1986)Google Scholar
  21. 21.
    Myers, G.: The art of Software Testing. John Wiley &Sons, Chichester (1979)Google Scholar
  22. 22.
    Binder, R.: Testing Object Oriented Systems. Models Patterns, and Tools. Addison-Wesley, Reading (1999)Google Scholar
  23. 23.
    Cockburn, A.: Agile Software Development. Addison-Wesley, Reading (2002)Google Scholar
  24. 24.
    Rumpe, B.: Agile Modeling with UML. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 297–309. Springer, Heidelberg (2004)Google Scholar
  25. 25.
    Beck, K.: Column on Test-First Approach. IEEE Software 18(5), 87–89 (2001)CrossRefGoogle Scholar
  26. 26.
    Briand, L.: A UML-based Approach to System testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 194–208. Springer, Heidelberg (2001)Google Scholar
  27. 27.
    Rumpe, B.: Model-Based Testing of Object-Oriented Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 380–402. Springer, Heidelberg (2003)Google Scholar
  28. 28.
    Rumpe, B.: Executable Modeling UML. A Vision or a Nightmare? In: Issues and Trends of Information technology management in Contemporary Associations, Seattle, pp. 697–701. Idea Group, London (2002)Google Scholar
  29. 29.
    Bouhdadi, M., et al.: An UML-based Meta-language for the QoS-aware Enterprise Specification of Open Distributed Systems. In: IFIP Series, vol. 85, pp. 255–264. Springer, Heidelberg (2002)Google Scholar
  30. 30.
    Bouhdadi, M., et al.: M. A UML/OCL Denotational Semantics for ODP Structural Computational Concepts. In: First IEEE International Conference on Research Challenges in Information Science (RCIS’07), April 23-26, Ouarzazate, Morocco pp.259-264 (2007) Google Scholar
  31. 31.
    France, R., Kent, S., Evans, A., France, R.: What Does the Term Semantics Mean in the Context of UML. In: Moreira, A.M.D., Demeyer, S. (eds.) ECOOP 1999. LNCS, vol. 1743, pp. 34–36. Springer, Heidelberg (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Mohamed Bouhdadi
    • 1
  • Youssef Balouki
    • 1
  • El maati Chabbar
    • 1
  1. 1.Mohammed V University, Department of Mathematics & Computer Science, RabatMorocco

Personalised recommendations