Nicolas Belloir - Academia.edu (original) (raw)

Uploads

Papers by Nicolas Belloir

Lecture Notes in Computer Science, 2016

Formal methods provide tools to verify the consistency and correctness of a specification with re... more Formal methods provide tools to verify the consistency and correctness of a specification with respect to the desired properties of the system. This verification is important as the development of an AAL (Ambient Assisted Living) system involves different technologies (medical services, surveillance cameras, intelligent devices, etc.) requiring a strong consistency checking between models. We illustrate in this paper how we prove some of the properties of the system before the development even starts. To model the AAL system, we use the SysML language. In terms of tools, we used Rational Rhapsody in combination with the OMEGA2 profile which is an executable Uml/SysML profile used for the formal specification and validation of critical real-time systems. This profile is supported by the IFx toolset which provides mechanisms for the model simulation and properties verification of the AAL system.

Un processus logiciel basé sur l'ingénierie des modèles est construit à partir d'un ensemble de t... more Un processus logiciel basé sur l'ingénierie des modèles est construit à partir d'un ensemble de transformations qui sont exécutées en séquence pour partir d'un niveau de modélisation abstrait et arriver au code final ou à une spécification d'implémentation détaillée. Ces transformations correspondent pour beaucoup à des raffinements, c'est-à-dire à de l'ajout de détails ou d'information sur un modèle. Ces raffinements peuvent être entièrement automatisés ou nécessiter l'intervention manuelle du concepteur. Nous proposons ici une méthode pour valider que le résultat d'une transformation, y compris lorsque le concepteur intervient manuellement sur les modèles, respecte la spécification d'un raffinement. Nous nous basons pour cela sur des contrats de transformations de modèles écrits en OCL afin de rendre notre méthode indépendante des outils de modélisation et de transformations de modèles.

Electronic Communications of the Easst, Jan 24, 2010

A model-driven engineering process relies on a set of transformations which are usually sequentia... more A model-driven engineering process relies on a set of transformations which are usually sequentially executed, starting from an abstract level to produce code or a detailed implementation specification. These transformations may be entirely automated or may require manual intervention by designers. In this paper, we propose a method to verify that a transformation result is correct with respect to the transformation specification. This method both includes automated transformations and manual interventions. For that, we focus on transformation contracts written in OCL. This leads to making the proposed method independent of modeling and transformation tools. These contracts are partially or fully generated through a dedicated tool.

Nous décrivons ici une approche visant à se concentrer sur la composition hiérarchique lors de la... more Nous décrivons ici une approche visant à se concentrer sur la composition hiérarchique lors de la conception et du développement des applications basées composants. Nous rappelons le modèle de composition sur lequel nous nous appuyons qui est basé sur l'expression de propriétés de composition bien identifiées. Nous montrons ensuite comment nous avons implémenté un mécanisme de contrôle de ces propriétés de composition dans Julia, une implémentation du modèle de composant Fractal.

SysML est le nouveau langage de modélisation défini par l'OMG. Il peut être vu comme une extensio... more SysML est le nouveau langage de modélisation défini par l'OMG. Il peut être vu comme une extension d'UML destinée à la modélisation d'un large spectre de systèmes complexes. Son champ d'application est en ce sens plus large que celui d'UML mais sa filiation le rend tout particulièrement intéressant pour la modélisation de systèmes embarqués majoritairement composés de logiciel. Les logiciels déployés sur les réseaux de capteurs sans fil (WSN) sont un bon exemple de ce type d'application puisque la prise en compte de l'interaction forte entre le matériel et le logiciel inhérente à ce type de système est une condition importante pour une modélisation efficace. Dans cet article nous décrivons notre retour sur expérience concernant la modélisation d'un système utilisant des capteurs mobiles sans fil afin de mesurer les flux de personnes dans une ville. Dans cette étude, nous avons utilisé à la fois SysML pour la modélisation du système et UML pour la modélisation des parties logicielles. Nous présentons les points de recouvrements des deux langages d'une part, et nous en comparons les diagrammes statiques d'autre part.

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings., 2003

... In component-based development, integration testing is a source of huge challenges. ... Built... more ... In component-based development, integration testing is a source of huge challenges. ... Built-In contract testing offers a feasible and practical approach for validating the behavioral semantics of ... Figure 4. Extension of BIT testability contract with State-based BIT testability contract ...

Proceedings. 30th Euromicro Conference, 2004., 2004

Component Based Software Engineering is a good response to actual systems needs: flexibility and ... more Component Based Software Engineering is a good response to actual systems needs: flexibility and adaptability. In this context, design techniques based on software composition and verification techniques proving that the design properties are well implemented, are current and actively studied problematics. In this paper we present a composition design technique based on a formally defined theory: the whole-part relationship. We show, with an in-house verification framework, how to verify an implementation of composition properties. We illustrate our approach with a case study.

Proceedings of the 20th IEEE Instrumentation Technology Conference (Cat No 03CH37412) EURMIC-03, 2003

Reusability is a key factor for the success of the development of low-cost applications. Componen... more Reusability is a key factor for the success of the development of low-cost applications. Component-based software engineering (CBSE) aims to address this challenge by providing flexible and easy to use software components. Composability is a key concern of CBSE because software components collaborate with difficulty in spite of the fact that they are known to be compositional. In this paper we propose to formalize a special kind of composability, based on high coupling in which fine-grained components are encapsulated inside high-granularity components that are deployed on the same node. We specifically study the properties of the universal whole-part relationship within a composition framework. We constrain composition design by means of rules derived from the whole-part relationship. These constraints are used to generate contracts at implementation time. Finally, we incorporate built-in test functionality into components to support runtime validation.

Sections de rattachement : 27 (informatique) Secteur : Tertiaire RÉSUMÉ. Nous souhaitons présente... more Sections de rattachement : 27 (informatique) Secteur : Tertiaire RÉSUMÉ. Nous souhaitons présenter dans cet article un exemple de recherche appliquée, transversale et fédérative, comme le milieu des IUT peut en provoquer. Nous présentons un travail qui démarre seulement et dont les résultats ne pourront être évalués que dans quelques années, mais qui nous le pensons est tout à fait illustratif des intérêts à mener des activités de recherche en milieu IUT et donc tout à fait dans l'esprit de l'appel à communication du congrès. En effet ce projet consiste à développer un langage dédié à l'expression des contraintes des systèmes informatiques adaptatifs (c'est à dire qui modifient leur comportement en fonction de l'évolution de leur environnement extérieur). Le domaine applicatif que nous privilégions est celui des systèmes d'aide au maintien et au monitoring des personnes à domicile.

La difficulté de valider l'intégration des composants dans une nouvelle architecture logicielle e... more La difficulté de valider l'intégration des composants dans une nouvelle architecture logicielle est une limitation importante pour le développement de l'ingénierie logicielle basée composant. Dans ce cadre, nous avons présenté dans le précédent Workshop OCM-SI la technologie BIT et la librairie BIT/J. Dans ce document nous présentons les travaux que nous avons mené pour étendre cette librairie afin, d'une part, qu'elle prenne en com pte les composants sur étagère (COTS), et d'autre part de lui ajouter des capacités de management et de test à distance. ABSTRACT. The difficulty to validate the component integration in a new architecture is a strong limitation to the development of the component-based software engineering. In this domain, during last OCM-SI workshop we presented the BIT technology and the BIT/J library. In this paper, we present our work to extend this library in two axis: firstly, to be able to run the BIT technology with COTS components and secondly to add some remote configuration and testing capabilities. MOTS-CLÉS : Composant, Composabilité, Test Intégré, COTS.

This paper presents WDBQL, a visual query language intended for casual users. WDBQL is a Web-base... more This paper presents WDBQL, a visual query language intended for casual users. WDBQL is a Web-based query language. It means that WDBQL implements the Web navigational mechanism to query databases. Such a mechanism has two main advantages: (i) the querying process is really easy to use for casual users and (ii) the querying process hides the semantics of the performed operations. WDBQL allows to query remote relational and objectoriented databases.

Lecture Notes in Computer Science, 2000

Within organisations, Information Systems are characterised by heterogeneity. The main management... more Within organisations, Information Systems are characterised by heterogeneity. The main management tools are different Relational and Object Oriented DataBase Management Systems. Therefore, variety, complexity and lack of integration make it difficult for casual users to query them. This paper presents WDBQS (Web DataBase Query System); a Web-interface for querying distant Relational and Object Oriented DataBases. This system, dedicated to casual users, proposes simple Web mechanisms to navigate through database schemas, build queries and display results.

Lecture Notes in Computer Science, 2016

Formal methods provide tools to verify the consistency and correctness of a specification with re... more Formal methods provide tools to verify the consistency and correctness of a specification with respect to the desired properties of the system. This verification is important as the development of an AAL (Ambient Assisted Living) system involves different technologies (medical services, surveillance cameras, intelligent devices, etc.) requiring a strong consistency checking between models. We illustrate in this paper how we prove some of the properties of the system before the development even starts. To model the AAL system, we use the SysML language. In terms of tools, we used Rational Rhapsody in combination with the OMEGA2 profile which is an executable Uml/SysML profile used for the formal specification and validation of critical real-time systems. This profile is supported by the IFx toolset which provides mechanisms for the model simulation and properties verification of the AAL system.

Un processus logiciel basé sur l'ingénierie des modèles est construit à partir d'un ensemble de t... more Un processus logiciel basé sur l'ingénierie des modèles est construit à partir d'un ensemble de transformations qui sont exécutées en séquence pour partir d'un niveau de modélisation abstrait et arriver au code final ou à une spécification d'implémentation détaillée. Ces transformations correspondent pour beaucoup à des raffinements, c'est-à-dire à de l'ajout de détails ou d'information sur un modèle. Ces raffinements peuvent être entièrement automatisés ou nécessiter l'intervention manuelle du concepteur. Nous proposons ici une méthode pour valider que le résultat d'une transformation, y compris lorsque le concepteur intervient manuellement sur les modèles, respecte la spécification d'un raffinement. Nous nous basons pour cela sur des contrats de transformations de modèles écrits en OCL afin de rendre notre méthode indépendante des outils de modélisation et de transformations de modèles.

Electronic Communications of the Easst, Jan 24, 2010

A model-driven engineering process relies on a set of transformations which are usually sequentia... more A model-driven engineering process relies on a set of transformations which are usually sequentially executed, starting from an abstract level to produce code or a detailed implementation specification. These transformations may be entirely automated or may require manual intervention by designers. In this paper, we propose a method to verify that a transformation result is correct with respect to the transformation specification. This method both includes automated transformations and manual interventions. For that, we focus on transformation contracts written in OCL. This leads to making the proposed method independent of modeling and transformation tools. These contracts are partially or fully generated through a dedicated tool.

Nous décrivons ici une approche visant à se concentrer sur la composition hiérarchique lors de la... more Nous décrivons ici une approche visant à se concentrer sur la composition hiérarchique lors de la conception et du développement des applications basées composants. Nous rappelons le modèle de composition sur lequel nous nous appuyons qui est basé sur l'expression de propriétés de composition bien identifiées. Nous montrons ensuite comment nous avons implémenté un mécanisme de contrôle de ces propriétés de composition dans Julia, une implémentation du modèle de composant Fractal.

SysML est le nouveau langage de modélisation défini par l'OMG. Il peut être vu comme une extensio... more SysML est le nouveau langage de modélisation défini par l'OMG. Il peut être vu comme une extension d'UML destinée à la modélisation d'un large spectre de systèmes complexes. Son champ d'application est en ce sens plus large que celui d'UML mais sa filiation le rend tout particulièrement intéressant pour la modélisation de systèmes embarqués majoritairement composés de logiciel. Les logiciels déployés sur les réseaux de capteurs sans fil (WSN) sont un bon exemple de ce type d'application puisque la prise en compte de l'interaction forte entre le matériel et le logiciel inhérente à ce type de système est une condition importante pour une modélisation efficace. Dans cet article nous décrivons notre retour sur expérience concernant la modélisation d'un système utilisant des capteurs mobiles sans fil afin de mesurer les flux de personnes dans une ville. Dans cette étude, nous avons utilisé à la fois SysML pour la modélisation du système et UML pour la modélisation des parties logicielles. Nous présentons les points de recouvrements des deux langages d'une part, et nous en comparons les diagrammes statiques d'autre part.

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings., 2003

... In component-based development, integration testing is a source of huge challenges. ... Built... more ... In component-based development, integration testing is a source of huge challenges. ... Built-In contract testing offers a feasible and practical approach for validating the behavioral semantics of ... Figure 4. Extension of BIT testability contract with State-based BIT testability contract ...

Proceedings. 30th Euromicro Conference, 2004., 2004

Component Based Software Engineering is a good response to actual systems needs: flexibility and ... more Component Based Software Engineering is a good response to actual systems needs: flexibility and adaptability. In this context, design techniques based on software composition and verification techniques proving that the design properties are well implemented, are current and actively studied problematics. In this paper we present a composition design technique based on a formally defined theory: the whole-part relationship. We show, with an in-house verification framework, how to verify an implementation of composition properties. We illustrate our approach with a case study.

Proceedings of the 20th IEEE Instrumentation Technology Conference (Cat No 03CH37412) EURMIC-03, 2003

Reusability is a key factor for the success of the development of low-cost applications. Componen... more Reusability is a key factor for the success of the development of low-cost applications. Component-based software engineering (CBSE) aims to address this challenge by providing flexible and easy to use software components. Composability is a key concern of CBSE because software components collaborate with difficulty in spite of the fact that they are known to be compositional. In this paper we propose to formalize a special kind of composability, based on high coupling in which fine-grained components are encapsulated inside high-granularity components that are deployed on the same node. We specifically study the properties of the universal whole-part relationship within a composition framework. We constrain composition design by means of rules derived from the whole-part relationship. These constraints are used to generate contracts at implementation time. Finally, we incorporate built-in test functionality into components to support runtime validation.

Sections de rattachement : 27 (informatique) Secteur : Tertiaire RÉSUMÉ. Nous souhaitons présente... more Sections de rattachement : 27 (informatique) Secteur : Tertiaire RÉSUMÉ. Nous souhaitons présenter dans cet article un exemple de recherche appliquée, transversale et fédérative, comme le milieu des IUT peut en provoquer. Nous présentons un travail qui démarre seulement et dont les résultats ne pourront être évalués que dans quelques années, mais qui nous le pensons est tout à fait illustratif des intérêts à mener des activités de recherche en milieu IUT et donc tout à fait dans l'esprit de l'appel à communication du congrès. En effet ce projet consiste à développer un langage dédié à l'expression des contraintes des systèmes informatiques adaptatifs (c'est à dire qui modifient leur comportement en fonction de l'évolution de leur environnement extérieur). Le domaine applicatif que nous privilégions est celui des systèmes d'aide au maintien et au monitoring des personnes à domicile.

La difficulté de valider l'intégration des composants dans une nouvelle architecture logicielle e... more La difficulté de valider l'intégration des composants dans une nouvelle architecture logicielle est une limitation importante pour le développement de l'ingénierie logicielle basée composant. Dans ce cadre, nous avons présenté dans le précédent Workshop OCM-SI la technologie BIT et la librairie BIT/J. Dans ce document nous présentons les travaux que nous avons mené pour étendre cette librairie afin, d'une part, qu'elle prenne en com pte les composants sur étagère (COTS), et d'autre part de lui ajouter des capacités de management et de test à distance. ABSTRACT. The difficulty to validate the component integration in a new architecture is a strong limitation to the development of the component-based software engineering. In this domain, during last OCM-SI workshop we presented the BIT technology and the BIT/J library. In this paper, we present our work to extend this library in two axis: firstly, to be able to run the BIT technology with COTS components and secondly to add some remote configuration and testing capabilities. MOTS-CLÉS : Composant, Composabilité, Test Intégré, COTS.

This paper presents WDBQL, a visual query language intended for casual users. WDBQL is a Web-base... more This paper presents WDBQL, a visual query language intended for casual users. WDBQL is a Web-based query language. It means that WDBQL implements the Web navigational mechanism to query databases. Such a mechanism has two main advantages: (i) the querying process is really easy to use for casual users and (ii) the querying process hides the semantics of the performed operations. WDBQL allows to query remote relational and objectoriented databases.

Lecture Notes in Computer Science, 2000

Within organisations, Information Systems are characterised by heterogeneity. The main management... more Within organisations, Information Systems are characterised by heterogeneity. The main management tools are different Relational and Object Oriented DataBase Management Systems. Therefore, variety, complexity and lack of integration make it difficult for casual users to query them. This paper presents WDBQS (Web DataBase Query System); a Web-interface for querying distant Relational and Object Oriented DataBases. This system, dedicated to casual users, proposes simple Web mechanisms to navigate through database schemas, build queries and display results.