Sciweavers

GPCE
2007
Springer

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

13 years 9 months ago
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...
Georg Jung, John Hatcliff
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where GPCE
Authors Georg Jung, John Hatcliff
Comments (0)