A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural constraints. While type systems have proved effective for enforcing structural constraints in programs and data structures, most architectural modeling frameworks include only weak notions of typing or rely on firstorder logic constraint languages that have steep learning curves and that become unwielding when scaling to large systems. We present the CADENA Architecture Language with Metamodeling (CALM) – that uses multi-level type systems to specify and enforce a variety of architectural constraints relevant to development of large-scale component-based systems. CADENA is a robust and extensible tool that has been used to specify a number of industrial-strength component models and applied in multiple industrial research projects on model-driven development and software product lines. Keywords CALM, CADE...

• Type: Conference
• Year: 2007
• Where: GPCE
• Authors: Georg Jung, John Hatcliff
• Keywords: Artificial Intelligence, CADENA Architecture Language, GPCE 2007, Structural Constraints, Type System