**Last modified:***Saturday, 30 July 1994***Source code: components-with-constraints.lisp****List of other known theories**

This theory combines components and constraints. Components are associated with constraints by the binary relation has-constraint. Constraint satisfaction is the application of these constraints to components using satisfies-constraint. A valid-component is a component for which all of its constraints are satisfied, and all of its subcomponents are valid components. Parameters are associated with components via unary functions called parameter-slot's.

- (c) 1994 Thomas R. Gruber and Gregory R. Olsen

Component-AssembliesParametric-Constraints

Mace-DomainVt-Design

Parameter-Slot Valid-Component

Constraint-OnHas-ConstraintHas-Parameter-SlotParameter-Slot-OfUsed-In-Constraint

**The following constants were used from included theories:**

**Arity***defined as a***function***in theory***Frame-Ontology****Class***defined as a***class***in theory***Frame-Ontology****Component***defined as a***class***in theory***Component-Assemblies****Constraint***defined as a***class***in theory***Parametric-Constraints****Documentation***defined as a***relation***in theory***Frame-Ontology****Domain***defined as a***relation***in theory***Frame-Ontology****Has-Subcomponent***defined as a***relation***in theory***Component-Assemblies****Inverse***defined as a***function***in theory***Kif-Relations****Object-Constraint***defined as a***class***in theory***Parametric-Constraints****Range***defined as a***relation***in theory***Frame-Ontology****Relation***defined as a***class***in theory***Kif-Relations****Satisfies-Constraint***defined as a***relation***in theory***Parametric-Constraints****Subclass-Of***defined as a***relation***in theory***Frame-Ontology****Unary-Function***defined as a***class***in theory***Kif-Relations****Value***defined as a***function***in theory***Kif-Relations****Value-Cardinality***defined as a***function***in theory***Frame-Ontology**

**All constants that were mentioned were defined.**

Formatting and translation code was written by