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