Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ISO/IEC.: Basic Reference Model of Open Distributed Processing-Part1: Overview and Guide to Use, ISO/IEC CD 10746-1 (1994)
ISO/IEC.: RM-ODP-Part2: Descriptive Model, ISO/IEC DIS 10746-2 (1994)
ISO/IEC.: RM-ODP-Part3: Prescriptive Model, ISO/IEC DIS 10746-3 (1994)
ISO/IEC.: RM-ODP-Part4: Architectural Semantics, ISO/IEC DIS 10746-4 (July 1994)
OMG.: The Object Management Architecture, OMG (1991)
ISO/IEC.: ODP Type Repository Function, ISO/IEC JTC1/SC7 N2057 (1999)
ISO/IEC.: The ODP Trading Function, ISO/IEC JTC1/SC21 (1995)
Bouhdadi, M., et al.: An Informational Object Model for ODP Applications. Malaysian Journal of Computer Science 13(2), 21–32 (2000)
Spivey, J.M.: The Z Reference manual. Prentice Hall, Englewood Cliffs (1992)
IUT, SDL: Specification and Description Language, IUT-T-Rec. Z.100 (1992)
ISO/IUT.: LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behavior, ISO/IEC 8807 (1998)
Bowman, H., et al.: FDTs for ODP. Computer Standards & Interfaces Journal 17(5-6), 457–479 (1995)
Rumbaugh, J., et al.: The Unified Modeling Language. Addison Wesley, Reading (1999)
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)
Evans, A., et al.: Making UML precise. In: Object Oriented Programming, Systems languages and Applications (OOPSLA’98), Vancouver, Canada, ACM Press, New York (1998)
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)
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison Wesley, Reading (1998)
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)
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)
Schmidt, D.A.: Denotational semantics: A Methodology for Language Development. Allyn and Bacon, Massachusetts (1986)
Myers, G.: The art of Software Testing. John Wiley &Sons, Chichester (1979)
Binder, R.: Testing Object Oriented Systems. Models Patterns, and Tools. Addison-Wesley, Reading (1999)
Cockburn, A.: Agile Software Development. Addison-Wesley, Reading (2002)
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)
Beck, K.: Column on Test-First Approach. IEEE Software 18(5), 87–89 (2001)
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)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouhdadi, M., Balouki, Y., Chabbar, E.m. (2007). Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. In: Gervasi, O., Gavrilova, M.L. (eds) Computational Science and Its Applications – ICCSA 2007. ICCSA 2007. Lecture Notes in Computer Science, vol 4707. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74484-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-74484-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74482-5
Online ISBN: 978-3-540-74484-9
eBook Packages: Computer ScienceComputer Science (R0)