Title :
A complexity control strategy for large system models
Author_Institution :
Software Dev. Concepts, New York, NY, USA
Abstract :
Abstract system models organized as functional hierarchies have complexity control problems due to the distribution of functions and state variables within the model. A model organization that employs object partitioning, the embedding of cooperating concurrent state machines, and domain separation can improve complexity control characteristics
Keywords :
computational complexity; formal specification; object-oriented programming; systems analysis; abstract system models; analysis models; complexity control characteristics; complexity control strategy; conceptual models; cooperating concurrent state machines; domain separation; essential models; large system models; object based model; object partitioning; requirements definitions; specifications; systems development; Automatic control; Buildings; Control system synthesis; Data engineering; Environmental economics; Guidelines; Programming; Software engineering; Systems engineering and theory; Virtual machining;
Conference_Titel :
Real Time Systems, 1991. Proceedings., Euromicro '91 Workshop on
Conference_Location :
Paris-Orsay
Print_ISBN :
0-8186-2210-5
DOI :
10.1109/EMWRT.1991.144071
