A Taxonomy of Software Composition Mechanisms

Lau, Kung-Kiu; Rana, Tauseef

doi:10.1109/seaa.2010.36

Cited by 21 publications

(15 citation statements)

References 38 publications

(47 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A component may be a physical composite or a conceptual composite of many different sub-components using different composition mechanisms. For CBD, a typical and effective composition mechanism is based on interactions between the composed components [14].…”

Section: Flexible Software Architecturementioning

confidence: 99%

Incremental Composition Process for the Construction of Component-Based Management Systems

Rana

Bangash

Baz

et al. 2020

Sensors

Self Cite

View full text Add to dashboard Cite

Cyber-physical systems (CPS) are composed of software and hardware components. Many such systems (e.g., IoT based systems) are created by composing existing systems together. Some of these systems are of critical nature, e.g., emergency or disaster management systems. In general, component-based development (CBD) is a useful approach for constructing systems by composing pre-built and tested components. However, for critical systems, a development method must provide ways to verify the partial system at different stages of the construction process. In this paper, for system architectures, we propose two styles: rigid architecture and flexible architecture. A system architecture composed of independent components by coordinating exogenous connectors is in flexible architecture style category. For CBD of critical systems, we select EX-MAN from flexible architecture style category. Moreover, we define incremental composition mechanism for this model to construct critical systems from a set of system requirements. Incremental composition is defined to offer preservation of system behaviour and correctness of partial architecture at each incremental step. To evaluate our proposed approach, a case study of weather monitoring system (part of a disaster management) system was built using our EX-MAN tool.are caused by disasters occurring due to the changes in the weather conditions. Hardware devices to read changes in weather situations are readily available by multiple vendors. Hence, a disaster management system based on weather changes is a typical cyber-physical system (CPS) for which a safe and verifiable construction method is needed. A well-defined mechanism for the composition of existing systems into a predictable/verifiable system is the core of such a method. The essence of this composition is to provide a way to reuse existing work.In general, the trend toward reuse in software engineering has increased the importance of composition mechanisms. Program or code reuse is one of the simplest and oldest techniques to reduce the cost by composing existing program units into larger units. The concept of 'software reuse' was first used in 1968 [5]. Software reuse appears at many different levels of solution development, such as code level by reusing programming language constructs (e.g., selection, sequence and looping) [6], functions/services level and data structure level. The next level is the solution domain specific and application domain specific components [7]. Software reuse, being a simple but effective technique for reducing the software development cost, appears in many forms from ad-hoc or white-box to systematic or black-box approaches [8].In the context of the aforesaid, component-based development (CBD) can be used for the construction of management systems in a shorter time. In CBD, software components provide large-scale reuse of their intellectual property, offering reduced development and maintenance cost. Composition must be systematic or hierarchical with fixed semantics from the simplest level o...

show abstract

Section: Flexible Software Architecturementioning

confidence: 99%

Incremental Composition Process for the Construction of Component-Based Management Systems

Rana

Bangash

Baz

et al. 2020

Sensors

Self Cite

View full text Add to dashboard Cite

show abstract

“…In CBD, in a system, interactions between the components is an important element that can help in finding the ways of composing components together [15]. For CPS construction, CBD-based development, by using and reusing secure components [16,17], is in need of the latest development methodologies.…”

Section: Related Workmentioning

confidence: 99%

“…A generic component in CBD ( Figure 1a) can be represented by a component diagram from UML. Components in CBD can be divided into three groups (objects, architectural units and encapsulated components) based on the interfaces of components [15].…”

Section: Related Workmentioning

confidence: 99%

Incremental Construction for Scalable Component-Based Systems

Rana

Baz

2020

Sensors

Self Cite

View full text Add to dashboard Cite

The availability of smart and intelligent sensors has changed the monitoring, control and maintenance of a conventional and advanced cyber-physical system used in public or private sectors of a society. For example, internet of things (IoT)-based health, agricultural and weather management systems. With the emergence of such sensors, along with the new ways to communicate or coordinate with them, we need to analyze and optimize the system construction processes. In this paper, to address the issue of scalability for bigger and complex systems based on sensors, we redefine an incremental construction process with an emphasis on behavior preservation and study the effectiveness of the use of software component models from the component-based development domain. In this paper, to deal with the issue of scalability, we investigate component-based development approaches with respect to our defined process and propose a taxonomy of component models with respect to component/system behavior. Moreover, based on the outcome of our analysis, we recommend the EX-MAN component model as the most suitable approach. We investigate incremental construction in the context of the three main categories of current component models, namely models where components are: (i) objects, (ii) architectural units and (iii) encapsulated components. Furthermore, to evaluate our defined process and selection of EX-MAN, we designed three examples of systems using our proposed process in EX-MAN component model.

show abstract

“…For compositional construction, components and their composition mechanisms [5] have to be defined properly. We advocate to do so in a component model [9,10].…”

Section: Component Modelsmentioning

confidence: 99%

From Formal Methods to Software Components: Back to the Future?

Lau

2017

Formal Aspects of Component Software

Self Cite

View full text Add to dashboard Cite

Abstract. Looking back at the past, I believe Formal Methods and Component-based Software Engineering have missed opportunities to synergise. Looking forward to the future, I believe even more strongly that this synergy will be crucial for developing Software Engineering techniques that tackle scale and complexity. In this position paper I outline the fundamentals of my belief, in terms of existing work and future challenges.

show abstract

A Taxonomy of Software Composition Mechanisms

Cited by 21 publications

References 38 publications

Incremental Composition Process for the Construction of Component-Based Management Systems

Incremental Composition Process for the Construction of Component-Based Management Systems

Incremental Construction for Scalable Component-Based Systems

From Formal Methods to Software Components: Back to the Future?

Contact Info

Product

Resources

About