Title :
Generation of the dynamic aspects of an information system from its static aspects
Author_Institution :
Paris XII Univ., Val de Marne, France
Abstract :
For completeness, the specification of an information system should take equal account of its static (or structural) and dynamic (or behavioural) aspects. The article presents a set of rules making it possible to generate, in part, the latter aspects from the former. These rules depend entirely on the specification models used, and are based on the properties of the attributes and on the reference associations which interrelate the types of object
Keywords :
formal specification; information systems; knowledge based systems; dynamic aspects; information system; reference associations; rules; specification models; static aspects; Information systems;
Conference_Titel :
Electrical and Computer Engineering, 1993. Canadian Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2416-1
DOI :
10.1109/CCECE.1993.332215