Design Architectures through Category Constraints

Jari Koistinen, Nils Klarlund, Michael I. Schwartzbach
1995 BRICS Report Series  
We provide a rigorous and concise formalism for specifying design<br />architectures exterior to the design language. This allows several<br />evolving architectural styles to be supported independently. Such architectural<br />styles are specified in a tailored parse tree logic, which permits<br />automatic support for conformance and consistency. We exemplify<br />these ideas with a small design architecture inspired by real world constraints<br />found in the Ericsson ATM Broadband System.
doi:10.7146/brics.v2i17.19919 fatcat:yoybcwqpbnbythwset4hmbecdu