A constraint function classification for complex systems development

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.