Home | Issues | Profile | History | Submission | Review
Vol: 48(62) No: 2 / June 2003        

Implementation of OFL Modifiers Assertions
D. Pescaru
Department of Computer Science, "Politehnica" University of Timisoara, Faculty of Automation and Computers, Bd. V. Parvan no 2, Timisoara, Romania, e-mail: dan@cs.utt.ro, web: http://www.cs.utt.ro/~dan


Keywords: assertions, object oriented programming, OFL, OCL, meta-programming.

Abstract
The OFL Model is a meta-model for object oriented programming languages. It provides customization of main aspects of the semantics of a language through actions and parameters. Further experience points out the necessity to capture more of the semantics of these languages. This goal is achieved by adding new elements to the original OFL Model. These elements are called OFL Modifiers. The most important part of a modifier definition resides in its associated assertion. This paper proposes a way to implement assertions for OFL Modifiers using OCL language.

References
[1] R. Chignoli, P. Crescenzo and P. Lahire, “OFL: An Open Object Model Based on Class and Link Semantics Customization”, Research Raport 99-08, Laboratoire Informatique, Signaux et Systmes de Sophia-Antipolis (UNSA / CNRS UMR 6070), Sophia-Antipolis, France, March 1999.
[2] S. Cook, A. Kleppe, R. Mitchell, and R. Rumpe, “The Amsterdam Manifesto on OCL”, Technical Report TUM-I9925, Technical University of Munchen, Germany, 1999.
[3] P. Crescenzo, “OFL: un Modele pour Parameter la Semantique Operationnele des Langages a Objets - Application aux Relations Interclasses”, Phd. Thesis, University of Nice, Sophia Antipolis, France, December 2001
[4] P. Crescenzo and P. Lahire, “Customisation of Inheritance”. Proceedings of the Inheritance Workshop at ECOOP 2002, Malaga, Espagne, June 2002.
[5] J. Gosling, B. Joy, G. Steele and G. Bracha, “The Java Language Specification”, Second Edition, Addison-Wesley, 2000.
[6] B. Meyer. “Eiffel: The Language”, http://www.inf.ethz. ch/meyer/, 2002.
[7] Object Management Group (OMG), “Unified Modelling Language Specification”, version 1.5, 1st ed., March 2003
[8] D. Pescaru and P. Lahire, “Modifiers in OFL: An Approach for Access Control Customization”. OOIS’03, WEAR workshop Geneva, Switzerland, September 2003.
[9] B. Stroustrup, “The C++ Programming Language”, Third Edition, Addison-Wesley, 1997.