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.Povzetek: V tem članku je predstavljena klasifikacija formalnih metod preverjanja za sisteme, ki temeljijo na komponentah.
Basic concepts of component-based developmentIn this section we present the basic principles and concepts of component-based development.
International audience
The component based approach and advanced separation of concerns are two important paradigms for software systems development. Although the two paradigms are complementary and looking for their synergy is a promising issue, only few research works are currently dedicated to their combination. This paper presents a comparative state of the art of the main research works that aim at the synergy of the two paradigms and proposes a new approach of combination that derives from the fact that all potential contributions that can be drawn, are tightly related with the well manipulation of aspects.
L’approche basée composant et la séparation avancée des préoccupations constituent deux paradigmes importants pour le développement des systèmes logiciels. Bien que les deux paradigmes soient complémentaires et que la recherche de leur synergie soit une issue prometteuse, relativement peu de travaux sont actuellement dédiés à leur combinaison. Cet article présente un état de l’art comparatif des principaux travaux qui ciblent la synergie des deux paradigmes et propose une nouvelle approche de combinaison qui part du constat que tous les apports potentiels pouvant être tirés de cette combinaison sont étroitement liés à la bonne manipulation des aspects
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.