Using object-oriented typing to support architectural design in the C2 style

Medvidović, Nenad; Oreizy, Peyman; Robbins, Jason E.; Taylor, Richard N.

doi:10.1145/239098.239106

Cited by 115 publications

(15 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…MetaH [23] and UniCon [24] for example do not support component evolution thereby they can't be used to reason about dynamic problems such as microservice granularity. Other ADLs such as ACME [25], Rapide [26] and C2 [27] support component evolution by sub-typing, which is a less suitable counterpart to decomposition/merging which we support using transactions in the granularity adaptation aspect.…”

Section: B Qualitative Evaluation 1) Effectiveness and Expressivenesmentioning

confidence: 99%

“…Although most ADLs examined (e.g. [25], [27], [28]) support logical location by allowing hierarchical compositions of components and connectors, they do not capture explicitly the space in the hierarchy where these components are allowed to move, which is significant to the microservice granularity problem.…”

Section: B Qualitative Evaluation 1) Effectiveness and Expressivenesmentioning

confidence: 99%

See 1 more Smart Citation

Microservice Ambients: An Architectural Meta-Modelling Approach for Microservice Granularity

Hassan

Alí

Bahsoon

2017

2017 IEEE International Conference on Software Architecture (ICSA)

View full text Add to dashboard Cite

Abstract-Isolating fine-grained business functionalities by boundaries into entities called microservices is a core activity underlying microservitization. We define microservitization as the paradigm shift towards microservices. Determining the optimal microservice boundaries (i.e. microservice granularity) is among the key microservitization design decisions that influence the Quality of Service (QoS) of the microservice application at runtime. In this paper, we provide an architecturecentric approach to model this decision problem. We build on ambients -a modelling approach that can explicitly capture functional boundaries and their adaptation. We extend the aspect-oriented architectural meta-modelling approach of ambients -AMBIENT-PRISMA -with microservice ambients. A microservice ambient is a modelling concept that treats microservice boundaries as an adaptable first-class entity. We use a hypothetical online movie subscription-based system to capture a microservitization scenario using our aspectoriented modelling approach. The results show the ability of microservice ambients to express the functional boundary of a microservice, the concerns of each boundary, the relationships across boundaries and the adaptations of these boundaries. Additionally, we evaluate the expressiveness and effectiveness of microservice ambients using criteria from Architecture Description Language (ADL) classification frameworks since microservice ambients essentially support architecture description for microservices. The evaluation focuses on the fundamental modelling constructs of microservice ambients and how they support microservitization properties such as utility-driven design, tool heterogeneity and decentralised governance. The evaluation highlights how microservice ambients support analysis, evolution and mobility/location awareness which are significant to quality-driven microservice granularity adaptation. The evaluation is general and irrespective of the particular application domain and the business competencies in that domain.

show abstract

Section: B Qualitative Evaluation 1) Effectiveness and Expressivenesmentioning

confidence: 99%

Section: B Qualitative Evaluation 1) Effectiveness and Expressivenesmentioning

confidence: 99%

Microservice Ambients: An Architectural Meta-Modelling Approach for Microservice Granularity

Hassan

Alí

Bahsoon

2017

2017 IEEE International Conference on Software Architecture (ICSA)

View full text Add to dashboard Cite

show abstract

“…For example, [32] emphasized notions from object-oriented (OO) type systems to describe interesting concepts of component type refinement in the C2 ADL. While C2 supports a particular class of architectures (layered message passing systems) and confines type descriptions to a modeling tier analogous to CALM's module tier, CALM emphasizes use of typing including OO concepts such as inheritance in meta-modeling facilities (at the CALM style tier) that allow one to describe any number of component model styles, style refinement, combinations of styles, nesting relationships between styles.…”

Section: Other Frameworkmentioning

confidence: 99%

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

Jung

Hatcliff

2010

Science of Computer Programming

View full text Add to dashboard Cite

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.

show abstract

“…Wright [4] use a process algebra to ensure that there will be no deadlocks in components interactions. C2 [24] can check the conformance of an architecture description relative to style constraints. However, as identified by [29], ADLs are not enough.…”

Section: Component Configuration and Reconfigurationmentioning

confidence: 99%

FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures

et al. 2008

View full text Add to dashboard Cite

Component-based systems must support dynamic reconfigurations to adapt to their execution context, but not at the cost of reliability. Fractal provides intrinsic support for dynamic reconfiguration, but its definition in terms of low-level APIs makes it complex to write reconfigurations and to ensure their reliability. This article presents a language-based approach to solve these issues: direct and focused language support for architecture navigation and reconfiguration make it easier both to write the reconfigurations and to ensure their reliability. Concretely, this article presents two languages: (1) FPath, a domain-specific language that provides a concise yet powerful notation to navigate inside and query Fractal architectures, and (2) FScript, a scripting language that embeds FPath and supports the definition of complex reconfigurations. FScript ensures the reliability of these reconfigurations thanks to sophisticated run-time control, which provides transactional semantics (ACID properties) to the reconfigurations.

show abstract

Using object-oriented typing to support architectural design in the C2 style

Cited by 115 publications

References 23 publications

Microservice Ambients: An Architectural Meta-Modelling Approach for Microservice Granularity

Microservice Ambients: An Architectural Meta-Modelling Approach for Microservice Granularity

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

FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures

Contact Info

Product

Resources

About