Title :
A constraint function classification for complex systems development
Author :
Harelick, Matthew S. ; Marlowe, Thomas J. ; Stoyenko, Alexander D. ; Sinha, Purnendu
Author_Institution :
Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
A complex application consists of a set of software modules, executed on a distributed system, guided by requirements imposed by the designer and the system. The REAL project at NJIT has been investigating the resource allocation problem for such a system. We give a classification of and syntax for constraints, provide a rule-based approach for constraint management, and discuss issues in generating implied constraints and consistency checking
Keywords :
constraint handling; data integrity; distributed processing; knowledge based systems; knowledge verification; large-scale systems; real-time systems; resource allocation; systems analysis; REAL project; complex systems development; consistency checking; constraint function classification; constraint management; constraint syntax; distributed system; implied constraints; requirements; resource allocation problem; rule-based approach; software modules; Application software; Communication system software; Costs; Distributed computing; Hardware; Information science; Laboratories; Real time systems; Resource management; Subspace constraints;
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.479345
