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

Abstract

Middleware Model-driven development Software architecture Type systems a b s t r a c t Maintaining integrity and consistency, and effecting conformance in architectures of largescale systems require 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 first order logic constraint languages that have steep learning curves associated with them and that become unwieldy when scaling to large systems.We present the Cadena Architecture Language with Meta-modeling (CALM) -that uses multi-level type systems to specify and enforce a variety of architectural constraints relevant to the 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.

Leveraging software architectures to guide and verify the development of sense/compute/control applications

“…The CALM framework uses models as types for componentoriented systems [9]. CALM provides three modelling tiers, where each tier constrains and guides activities in the tier below: the upper tier allows the definition of domain-specific ADLs, the middle tier allows the definition of the system components, and the lower tier allows the instantiation and combination of these components.…”

Isomorphism in model tools and editors

“…Cadena [3] is a model-driven toolchain for componentbased systems that uses CALM as its metamodeling language. CALM is based on a three-tiered typing system: a style tier, a module tier, and a scenario tier.…”