Mehdi Hariati - Academia.edu (original) (raw)
Papers by Mehdi Hariati
ARIMA, Sep 16, 2009
L'approche basée composant et la séparation avancée des préoccupations constituent deux paradigme... more 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.
Informatica, Dec 15, 2020
Component-based development has made a breakthrough in software industry, it offers safer systems... more 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. 3 Basic concepts of component-based development In this section we present the basic princip les and concepts of component-based development. 3.1 Software component In the literature, there are many definitions of the notion of software component; according to [1], "A software component is a unit of composition with contractually specified interfaces and explicit context dependencies only.
International Journal of Software Engineering and its Applications, Nov 30, 2017
Not all potential changes to a component-based system can be anticipated beforehand as they depen... more Not all potential changes to a component-based system can be anticipated beforehand as they depend on the environment and users' needs. In such case, a system should adapt its behavior to respond to these changes. To achieve this, one possible solution is to implement this adaptation using an aspect-oriented approach. However, even if aspect oriented adaptations of a component-based system are worthwhile, they have also negative effects. Indeed, for the reliability sake, adaptations must be formally controlled. In this paper, we present an overview of formal approaches for the verification of aspectoriented adaptations for component-based software systems.
L’approche basee composant et la separation avancee des preoccupations constituent deux paradigme... more L’approche basee composant et la separation avancee des preoccupations constituent deux paradigmes importants pour le developpement des systemes logiciels. Bien que les deux paradigmes soient complementaires et que la recherche de leur synergie soit une issue prometteuse, relativement peu de travaux sont actuellement dedies a leur combinaison. Cet article presente un etat 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 etre tires de cette combinaison sont etroitement lies a la bonne manipulation des aspects
Informatica (Slovenia), 2020
International Journal of Software Engineering and Its Applications
RÉSUMÉ. L'approche basée composant et la séparation avancée des préoccupations constituent de... more RÉSUMÉ. 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. ABSTRACT. 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 prese...
ARIMA, Sep 16, 2009
L'approche basée composant et la séparation avancée des préoccupations constituent deux paradigme... more 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.
Informatica, Dec 15, 2020
Component-based development has made a breakthrough in software industry, it offers safer systems... more 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. 3 Basic concepts of component-based development In this section we present the basic princip les and concepts of component-based development. 3.1 Software component In the literature, there are many definitions of the notion of software component; according to [1], "A software component is a unit of composition with contractually specified interfaces and explicit context dependencies only.
International Journal of Software Engineering and its Applications, Nov 30, 2017
Not all potential changes to a component-based system can be anticipated beforehand as they depen... more Not all potential changes to a component-based system can be anticipated beforehand as they depend on the environment and users' needs. In such case, a system should adapt its behavior to respond to these changes. To achieve this, one possible solution is to implement this adaptation using an aspect-oriented approach. However, even if aspect oriented adaptations of a component-based system are worthwhile, they have also negative effects. Indeed, for the reliability sake, adaptations must be formally controlled. In this paper, we present an overview of formal approaches for the verification of aspectoriented adaptations for component-based software systems.
L’approche basee composant et la separation avancee des preoccupations constituent deux paradigme... more L’approche basee composant et la separation avancee des preoccupations constituent deux paradigmes importants pour le developpement des systemes logiciels. Bien que les deux paradigmes soient complementaires et que la recherche de leur synergie soit une issue prometteuse, relativement peu de travaux sont actuellement dedies a leur combinaison. Cet article presente un etat 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 etre tires de cette combinaison sont etroitement lies a la bonne manipulation des aspects
Informatica (Slovenia), 2020
International Journal of Software Engineering and Its Applications
RÉSUMÉ. L'approche basée composant et la séparation avancée des préoccupations constituent de... more RÉSUMÉ. 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. ABSTRACT. 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 prese...