Abstract

Component-based development has made a breakthrough in software industry, it offers safer systems and easier to maintain, furthermore, costs and time to market are reduced. However, several issues, such as the correctness of component-based systems, their adaptation or the interactions between their components, require rigorous verification through the use of formal methods and tools. In this paper, we first present an introduction to component-based development; afterward we propose a classification of formal verification issues for component-based systems.

Highlights

  • In component-based development [1] the construction of a software system is reduced to an assembly of separately developed software components

  • This work constitutes a more general classification of component models; the authors introduce the use of formal languages for software components, they do not provide a detailed study of formal verification issues for componentbased development

  • Unlike [30] and [31], in order to be more selfcontained, basic concepts related to component-based development are provided, this is essential for understanding the formal verification issues

Read more

Summary

Introduction

In component-based development [1] the construction of a software system is reduced to an assembly of separately developed software components. This offers as advantages to reduce development costs as well as time to market. The component-based development process should be controlled by the use of formal methods, which allow, at any stage of the lifecycle, verifying important issues; such as the correctness of componentbased systems, their adaptation or the interactions between their software components.

Related work
Software component
Interfaces and assembly
Component models and component frameworks
Instance of a software component
Synchronous communication vs asynchronous communication
Flat models vs hierarchical models
Life cycle of a component-based system
Development for reuse and development through reuse
3.10 The objectives of component-based development
3.11 The contributions of component-based development
Classification of formal verification issues for component-based systems
Component level
Composition level
Assembly of components
The global verification
Evolution level
An application domain
Conclusion

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.