{"title":"Un mécanisme de sélection de composants logiciels","authors":"B. George, Régis Fleurquin, S. Sadou, H. Sahraoui","doi":"10.3166/obj.14.1-2.139-163","DOIUrl":"https://doi.org/10.3166/obj.14.1-2.139-163","url":null,"abstract":"Component-based software engineering proposes to build complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. The main development effort is required in selection of the components that fit the specifie needs of an application. In this article, we propose a mechanism allowing the automatic selection of a component among a set of candidate COTS, according to functional and non-functional properties. This mechanism has been tested on an example using the ComponentSource component market. MOTS-CLES : selection de composants logiciels, composants sur etagere, comparaison fonctionnelle et non fonctionnelle, composant recherche, indice de satisfaction.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124354348","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Formalisation et implémentation des interactions pour la simulation centrée individu","authors":"Yoann Kubera, P. Mathieu, S. Picault","doi":"10.3166/obj.14.1-2.9-33","DOIUrl":"https://doi.org/10.3166/obj.14.1-2.9-33","url":null,"abstract":"De nombreuses architectures logicielles ont ete proposees dans le cadre de la simula- tion centree individu, notamment a travers des plates-formes parfois tres abouties. Neanmoins, il n'y a pas dans ces plates-formes de decoupage logiciel entre les agents, leurs comportements, et le processus de selection d'action. Nous proposons au contraire une architecture ou les interactions sont reifiees independamment des agents qui les utilisent. Un agent peut alors subir ou effectuer un ensemble quelconque d'interactions qui n'ont pas ete specifiquement developpees pour lui. Outre la reutilisabilite des interactions, cette architecture logicielle a l'avantage, a l'instar des systemes experts, de separer le declaratif du procedural, donc de faciliter a la fois la conception et la montee a l'echelle dans la richesse des comportements.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121026080","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Vérification formelle d'architectures logicielles à base d'UML","authors":"Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmaj Hamadou","doi":"10.3166/obj.14.1-2.61-86","DOIUrl":"https://doi.org/10.3166/obj.14.1-2.61-86","url":null,"abstract":"In spite of its expressive capacity, UML does not transport in itsef a a very precise semantics to describe software architectures. We recommend an opening of UML on the formal ADL Wright via our W-UML profile. Moreover, in order to more analyze architectural descriptions as Wright, we propose a systematic approach of translation of Wright towards Ada. This allows the use of the tools for formal verification of the concurrent programs associated Ada such as FLAVERS in order to analyze and reason formally on the architectures described initially in W-UML.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127759630","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Architecture orientée services et adaptation. Un état des lieux motivant l'approche CompAA","authors":"Jérôme Lacouture, P. Aniorté","doi":"10.3166/obj.14.1-2.87-111","DOIUrl":"https://doi.org/10.3166/obj.14.1-2.87-111","url":null,"abstract":"This paper presents a state of the art of service oriented architectures and speciall how services adaptability is managed in this kind of open environments. Then, a summary notices the relevance of a component / agent mixed approach and the use of P2P (Peer-to-Peer) technologies. Taking into account this analysis, we introduce the main lines of the CompAAapproach. Finally, an experimentation in the area of collaborative learning on the Grid validates our approach.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123330580","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Une démarche orientée modèle pour déployer des systèmes logiciels répartis","authors":"J. Dubus, Areski Flissi, Nicolas Dolet, P. Merle","doi":"10.3166/obj.14.1-2.35-59","DOIUrl":"https://doi.org/10.3166/obj.14.1-2.35-59","url":null,"abstract":"Le deploiement de systemes distribues met en jeu de nombreuses technologies heterogenes. L'administrateur systeme doit 1) maitriser le deploiement de chaque logiciel, 2) l'adapter aux proprietes des machines et 3) l'executer en respectant l'ordre de ses dependances. Ces tâches sont fortement propices aux erreurs. Dans cet article, nous presentons DeployWare, une approche a base de modeles pour le deploiement de systemes distribues complexes. Cette approche repose sur un meta-modele en deux parties. La premiere permet de decrire les proprietes, les dependances et actions a effectuer pour deployer des logiciels. La seconde permet d'assembler des instances de logiciels. Ces deux parties sont realisees de maniere a rendre possible la verification comportementale des procedures de deploiement et des systemes. Les modeles DeployWare sont projetes vers une plate-forme d'execution a base de composants qui gere automatiquement l'heterogeneite des machines et l'orchestration des dependances.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"318 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133711313","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pierre-André Caron, Mireille Blay-Fornarino, Xavier Le Pallec
{"title":"La contextualisation de modèles, une étape indispensable à un développement dirigé par les modèles ?","authors":"Pierre-André Caron, Mireille Blay-Fornarino, Xavier Le Pallec","doi":"10.3166/obj.13.4.55-71","DOIUrl":"https://doi.org/10.3166/obj.13.4.55-71","url":null,"abstract":"The MDA approach may be broadly reduced to the following lifecycle: defining platform independent business models and transforming them into platform dependent models for software implementation concerns. The NOCE team works in the Technology Enhanced Learning (TEL) area. One of its works aims to apply the MDA approach in TEL domain. This application presents two particularities: the versatility of the user who defines models, refines them and drives the corresponding software construction; the final automatic construction which has to contextualise the modelled dispositif within a platform already active and populated. The conducted experience has underlined several difficulties which are related to such approach. We bring out here problems which result from transformations between distinct metamodels and we propose some perspectives to reduce distance between business models and platforms.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116636167","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
B. Combemale, Xavier Crégut, Marc Pantel, Pierre Michel
{"title":"SéMo'07, premier atelier sur la sémantique des modèles","authors":"B. Combemale, Xavier Crégut, Marc Pantel, Pierre Michel","doi":"10.3166/obj.13.4.137-144","DOIUrl":"https://doi.org/10.3166/obj.13.4.137-144","url":null,"abstract":"This paper summarises the presentations and exchanges that took place in the Se- Mo'2007 workshop in March 2007 in Toulouse during the IDM conference. The main topic of the workshop was the semantics of models and meta-models in the purpose to confront the MDE users needs and the technologies used for specification and programming languages.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115055602","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Morphing de métamodèles","authors":"Cédric Dumoulin, Anne Etien","doi":"10.3166/obj.13.4.33-53","DOIUrl":"https://doi.org/10.3166/obj.13.4.33-53","url":null,"abstract":"Writing transformation rules is a complex task due to navigation constraints. Relaxing these constraints for the transformation time eases the rules conception. It may also be necessary, for example to transform or to use graphical editor, to add features into domain metamodels. However, these features additions as well as the relaxation of the navigation constraints must be contained in a well defined context in order to authorize exchange of models between tools manipulating several variants of the same domain metamodel. In this article, we introduce the concept of morph that corresponds to a variant of the original domain metamodel and the concept of gene that specifies these variations. The notion of morph insures the interoperability of models. We also show how to perform these morph. An experimentation with EMF is also described","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123013417","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Anwar, Sophie Ebersold, B. Coulette, M. Nassar, Abdelaziz Kriouile
{"title":"Vers une approche à base de règles pour la composition de modèles. Application au profil VUML","authors":"A. Anwar, Sophie Ebersold, B. Coulette, M. Nassar, Abdelaziz Kriouile","doi":"10.3166/obj.13.4.73-103","DOIUrl":"https://doi.org/10.3166/obj.13.4.73-103","url":null,"abstract":"In a device for adjusting the support pressure of the passenger's thighs by raising or lowering a thigh support part in a seat cushion, a lock mechanism is mounted both in a seat frame and the thigh support pipe which rotates in the up and down directions of said seat frame. The lock mechanism consists of a lock piece pivotally fixed to a rotating shaft disposed horizontally in the thigh support pipe, a stopper which engages with the lock piece mounted rotatably free to the thigh support pipe and a lock release lever which releases a locking state by pushing said stopper in the direction opposite to its engaging direction.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125010538","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Automatisation d'un processus de conception par transformations de modèles","authors":"E. Kaboré, Antoine Beugnard","doi":"10.3166/obj.13.4.105-135","DOIUrl":"https://doi.org/10.3166/obj.13.4.105-135","url":null,"abstract":"This article aims at showing how model driven engineering can be used to make explicit design decisions all along a complex software design process. We build the implementation of a communication component from an abstract (and incomplete) specification by a sequence of model transformations. All design decisions (data structure, placement, replication, etc.) are expressed with the transformation language Kermeta.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114289788","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}