xArch Acme Constraints Extension XML Schema 1.0
Description:
The Acme Constraints extension extends the Constraints schema
to include structured Armani constraints. The primitive functions,
as well as the constraint types invariant and heuristic, are
hardwired into this extension
Dependencies: constraints, acmeProperties
Change Log:
2001-2-26: Bradley Schmerl [schmerl@cs.cmu.edu]
Initial development
2001-2-28: Bradley Schmerl [schmerl@cs.cmu.edu]
Added enumerated predefined design analyses
Added types to define design analyses
2001-3-5: Bradley Schmerl [schmerl@cs.cmu.edu]
Changed name of extension to acmeConstriants
2001-3-22: Bradley Schmerl [schmerl@cs.cmu.edu]
Replaced Role and Port with Interface in the
builtin predicates and types, to remain consistent
with xArch.
2001-7-13: Bradley Schmerl [schmerl@cs.cmu.edu]
Corrected typos and validated with XML Spy 3.5