Design Architectures through Category Constraints

Jari Koistinen
Nils Klarlund
Michael I. Schwartzbach

February 1995


We provide a rigorous and concise formalism for specifying design architectures exterior to the design language. This allows several evolving architectural styles to be supported independently. Such architectural styles are specified in a tailored parse tree logic, which permits automatic support for conformance and consistency. We exemplify these ideas with a small design architecture inspired by real world constraints found in the Ericsson ATM Broadband System.

Available as PostScript, PDF, DVI.


Last modified: 2003-06-08 by webmaster.