Title :
Contribution of object-oriented methodologies to the specification of complex systems
Author_Institution :
Dept. d´´Inf. et de Recherche Oper., Montreal Univ., Que., Canada
Abstract :
We use the analogy between composite objects and complex systems to assess the suitability of object-oriented methodologies for the specification of complex systems. Experience with existing methodologies leads to the proposal of a new approach to the description of composite objects. In addition, we also explore issues related to the specification of complex systems such as the role of the specifier, the kinds of formal specifications, etc
Keywords :
formal specification; large-scale systems; object-oriented methods; complex systems; composite objects; formal specifications; object-oriented methodologies; specifier; Assembly systems; Business; Councils; Couplings; Engineering management; Formal specifications; Object oriented modeling; Physics; Proposals; Protocols;
Conference_Titel :
Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on
Conference_Location :
Ft. Lauderdale, FL
Print_ISBN :
0-8186-7123-8
DOI :
10.1109/ICECCS.1995.479326