The idea of developing softwarecomponents was envisioned more than forty years ago. In the past two decades, component-based software engineering (CBSE) has emerged as a distinguishable approach in software engineeri...
详细信息
The idea of developing softwarecomponents was envisioned more than forty years ago. In the past two decades, component-based software engineering (CBSE) has emerged as a distinguishable approach in softwareengineering, and it has attracted the attention of many researchers, which has led to many results being published in the research literature. There is a huge amount of knowledge encapsulated in conferences and journals targeting this area, but a systematic analysis of that knowledge is missing. For this reason, we aim to investigate the state-of-the-art of the CBSE area through a detailed literature review. To do this, 1231 studies dating from 1984 to 2012 were analyzed. Using the available evidence, this paper addresses five dimensions of CBSE: main objectives, research topics, application domains, research intensity and applied research methods. The main objectives found were to increase productivity, save costs and improve quality. The most addressed application domains are homogeneously divided between commercial-off-the-shelf (COTS), distributed and embedded systems. Intensity of research showed a considerable increase in the last fourteen years. In addition to the analysis, this paper also synthesizes the available evidence, identifies open issues and points out areas that call for further research. (C) 2015 Elsevier Inc. All rights reserved.
In this paper, the application of component-based software engineering methodology (CBSE) in the development of a robotic system is documented. The robot movements can be controlled remotely with the help of a softwar...
详细信息
ISBN:
(纸本)9783319120126;9783319120119
In this paper, the application of component-based software engineering methodology (CBSE) in the development of a robotic system is documented. The robot movements can be controlled remotely with the help of a software application. It is also capable of streaming live video while moving. CBSE methodology emphasizes on developing new system from pre-built components. Therefore, it is suitable for the development of robotic systems where a large number of such components are used and there is also a wider scope for the reuse of these components. This paper gives, in detail, each phase of the robot development and also proves the suitability of CBSE in the development of such systems. The surveillance robot was successfully built using the software development methodology and worked well in accepting instructions from the software application on the direction of movement and capturing the video of the environment.
component-based software engineering (CBSE) has elicited research interests in recent times in different industrial sectors, including the educational domain because of its perceived advantage over traditional develop...
详细信息
ISBN:
(纸本)9781479949984
component-based software engineering (CBSE) has elicited research interests in recent times in different industrial sectors, including the educational domain because of its perceived advantage over traditional development approaches. However, there is need to empirically justify this claim through case study reports from several industrial domains. A university as a complex enterprise needs an Enterprise Resource Planning (ERP) system to automate its complex operational and administrative procedures for efficiency and effectiveness. However, the peculiarity of each university makes it difficult to obtain commercial off-the-shelf ERPS that perfectly suits their requirements. This paper, reports the application of the CBSE paradigm for the development of a university ERP - specifically an e-Administration System. The research provides a basis to empirically compare the merits of CBSE and traditional development approaches. The result of the case study yielded a usable ERP for a Nigerian university, and concrete empirical data that confirmed the superiority of CBSE over traditional software development.
This paper introduces the Special Issue on component-based software engineering and software Architecture, which contains extended versions of a selection of the best papers presented at the CompArch 2012 conference, ...
详细信息
This paper introduces the Special Issue on component-based software engineering and software Architecture, which contains extended versions of a selection of the best papers presented at the CompArch 2012 conference, held in June 2012, in Bertinoro, Italy. (C) 2013 Elsevier B.V. All rights reserved.
Modern software systems are constantly evolving and therefore subject to change. Model-based knowledge about software systems improves traceability, supports software evolution processes, and helps in quality predicti...
详细信息
ISBN:
(纸本)9798350366266;9798350366259
Modern software systems are constantly evolving and therefore subject to change. Model-based knowledge about software systems improves traceability, supports software evolution processes, and helps in quality prediction. Model transformation is often used to make heterogeneous model-based knowledge usable for model-consuming processes such as quality prediction. The goal of this work is to automate model-driven knowledge transformation and rule-based knowledge refinement to support model-consuming processes. Therefore, a model-driven composition and refinement approach is introduced that links model-generating processes such as reverse engineering with model-consuming processes such as quality prediction. The approach is realized in the form of a metamodel-independent framework that can be adapted to different target metamodels. The refinement rules of our approach are formulated using a high-level programming language. Besides the metamodel-independent framework, we present a concrete instantiation of the framework for a software architecture model for quality prediction. To demonstrate the approach, the instantiation of the framework is applied to six case studies. The results indicate that we can perform a lossless composition of input information into output models. Furthermore, the demonstration shows that the metamodel-independent framework enables knowledge refinement, achieving an F-score of 1.0 by enforcing eight specific refinement rules.
component-based software engineering (CBSE) is a widely used software development paradigm. With software systems becoming increasingly sophisticated, CBSE provides an effective approach to construct reusable, extensi...
详细信息
ISBN:
(纸本)9783031521829;9783031521836
component-based software engineering (CBSE) is a widely used software development paradigm. With software systems becoming increasingly sophisticated, CBSE provides an effective approach to construct reusable, extensible, and maintainable software systems. Formal verification provides a rigorous and systematic approach to validate the correctness of software systems by mathematically proving properties or checking them exhaustively against specified requirements. Using formal verification techniques in component-based development can further enhance the correctness of the development process. However, the adoption of component-based development supported by formal methods is hardly widespread in the industry. It serves to a limited extent in domains with stringent requirements for safety and reliability. In this paper, we aim to analyze the successful application scenarios of formal methods in component-based development, identify the challenges faced during their application, and explore methods to further broaden their adoption.
ICS (industrial control system) has gone through constant evolution in both hardware and software with the growing complexity of control applications. The generalization for these control systems has been a trend, and...
详细信息
ICS (industrial control system) has gone through constant evolution in both hardware and software with the growing complexity of control applications. The generalization for these control systems has been a trend, and the hardware platform for ICS is getting multifunctional. Therefore, it is necessary to apply methods and technologies from the general software domain to handle this. CBSE (component-based software engineering) can promote reusability during software development and decouple the system with scalability. Existing component-based methods for ICS lack support for advanced function with modern technologies, and traditional software architectures are not flexible enough and usually vendor specific, which brings difficulties to system integration. In this paper, we propose an Open software Architecture for Industry based on a novel component model. The motivation is to provide a component-based method for ICS and an open framework for various application parts and multi-vendor cooperation. We concern about three aspects including reusability, openness, and flexibility. Meanwhile, a flexible runtime architecture for the component model that supports isolation and real-time performance also matters. We also implement a simple real-life case based on the component model and software architecture we design and evaluate real-time and communication performance.
Even though that there has been increasing focus on the energy-efficient operation of vessels and that the knowledge of cost-effective improvements is widespread in the industry, energy-efficient operation is only a m...
详细信息
Even though that there has been increasing focus on the energy-efficient operation of vessels and that the knowledge of cost-effective improvements is widespread in the industry, energy-efficient operation is only a minor topic on board many working vessels. A significant reduction in fuel can be achieved through changes in the operational practices, but to establish a successful system for best practices within energy-management the installation of a decision support system is essential. This article presents a decision support system for working vessels to determine best practice for the reduction of fuel consumption. Requirements for the system are defined through interviews with crew and observations on board vessels. Case studies are used for illustrating the usefulness. The use of generators onboard is analyzed using the software. It is found that the generators are not running optimally, but the crew can use the software to re-organize and find the most fuel-efficient loading range for the generators on board.
Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations to adapt to changes in their operating environment or their functional requi...
详细信息
Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations to adapt to changes in their operating environment or their functional requirements. Given the complexity of distributed software and the adverse effects of incorrect reconfigurations, a suitable methodology is needed to ensure the correctness of reconfigurations in component-based systems. This survey gives the reader a global perspective over existing formal techniques that pursue this goal. It distinguishes different ways in which formal methods can improve the reliability of reconfigurations, and lists techniques that contribute to solving each of these particular scientific challenges.
In this work a platform-aware model-driven engineering process for building component-based embedded software systems using annotated analysis models is described. The process is supported by a framework, called MICOB...
详细信息
In this work a platform-aware model-driven engineering process for building component-based embedded software systems using annotated analysis models is described. The process is supported by a framework, called MICOBS, that allows working with different component technologies and integrating different tools that, independently of the component technology, enable the analysis of non-functional properties based on the principles of composability and compositionality. An actor, called Framework Architect, is responsible for this integration. Three other actors take a relevant part in the analysis process. The component Provider supplies the components, while the component Tester is in charge of their validation. The latter also feeds MICOBS with the annotated analysis models that characterize the extra-functional properties of the components for the different platforms on which they can be deployed. The Application Architect uses these components to build new systems, performing the trade-off between different alternatives. At this stage, and in order to verify that the final system meets the extra-functional requirements, the Application Architect uses the reports generated by the integrated analysis tools. This process has been used to support the validation and verification of the on-board application software for the Instrument Control Unit of the Energetic Particle Detector of the Solar Orbiter mission.
暂无评论