Title :
An object oriented method of analysis, specification and design for industrial information systems
Author :
Guetari, Rami ; Piard, Frederic
Author_Institution :
LLP/CESALP, Annecy, France
Abstract :
We present an object oriented method of analysis, specification and design of industrial information systems. This method ensures the continuity between different steps of the life cycle of an information system by the automation of the translation from one step to another. We introduce our object model which is an extension of the class model taking into account the temporal properties of an industrial information system
Keywords :
formal specification; information systems; object-oriented methods; object-oriented programming; class model; industrial information systems; life cycle; object model; object oriented method; specification; system design; systems analysis; temporal properties; Automation; Coherence; Computer languages; Contracts; Information analysis; Information systems; Intrusion detection; Knowledge representation; Object oriented methods; Object oriented modeling;
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
DOI :
10.1109/TAI.1994.346445
