Dynamic modifications of object-oriented specifications

Author

Erradi, Mohammed ; Bochmann, Gregor V. ; Hamid, Issam A.

Author_Institution

Dept. d´´Inf. et de Recherche Operationnelle, Montreal Univ., Que., Canada

fYear

1992

fDate

4-8 May 1992

Firstpage

654

Lastpage

659

Abstract

RMondel (Reflective Mondel) is a reflective object-oriented specification language developed for the description of distributed systems. The objective of RMondel is to allow the development of dynamically modifiable specifications. Reflection in RMondel is supported by two fundamental features of reflection related to object oriented languages: structural reflection and computational reflection. The focus is mainly on structural reflection. With respect to computational reflection, the objects in the system are considered to share one interpreter. The main issue is to show how structural reflection can be useful to change dynamically a specification. The need for validation of the changes to maintain system consistency is also discussed.<>

Keywords

object-oriented languages; specification languages; RMondel; Reflective Mondel; computational reflection; distributed systems; dynamic modifications; object oriented languages; object-oriented specifications; structural reflection; system consistency; Computer aided software engineering; Computer architecture; Concurrent computing; Formal specifications; Object oriented programming; Reflection; Specification languages; Strontium; Switches; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.

Conference_Location

The Hague, Netherlands

Print_ISBN

0-8186-2760-3

Type

conf

DOI

10.1109/CMPEUR.1992.218457

Filename

218457