Obj. Logiciel Base données Réseaux最新文献

筛选
英文 中文
Un mécanisme de sélection de composants logiciels 选择软件组件的机制
Obj. Logiciel Base données Réseaux Pub Date : 2008-06-30 DOI: 10.3166/obj.14.1-2.139-163
B. George, Régis Fleurquin, S. Sadou, H. Sahraoui
{"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}
引用次数: 5
Formalisation et implémentation des interactions pour la simulation centrée individu 以自我为中心的仿真交互的形式化和实现
Obj. Logiciel Base données Réseaux Pub Date : 2008-06-30 DOI: 10.3166/obj.14.1-2.9-33
Yoann Kubera, P. Mathieu, S. Picault
{"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}
引用次数: 5
Vérification formelle d'architectures logicielles à base d'UML 基于 UML 的软件架构的形式化验证
Obj. Logiciel Base données Réseaux Pub Date : 2008-06-30 DOI: 10.3166/obj.14.1-2.61-86
Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmaj Hamadou
{"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}
引用次数: 3
Architecture orientée services et adaptation. Un état des lieux motivant l'approche CompAA 面向服务的架构和适配。一份激励公司方法的清单
Obj. Logiciel Base données Réseaux Pub Date : 2008-06-30 DOI: 10.3166/obj.14.1-2.87-111
Jérôme Lacouture, P. Aniorté
{"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}
引用次数: 0
Une démarche orientée modèle pour déployer des systèmes logiciels répartis 部署分布式软件系统的面向模型的方法
Obj. Logiciel Base données Réseaux Pub Date : 2008-06-30 DOI: 10.3166/obj.14.1-2.35-59
J. Dubus, Areski Flissi, Nicolas Dolet, P. Merle
{"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}
引用次数: 3
La contextualisation de modèles, une étape indispensable à un développement dirigé par les modèles ? 模型上下文化,模型驱动开发的必要步骤?
Obj. Logiciel Base données Réseaux Pub Date : 2007-12-31 DOI: 10.3166/obj.13.4.55-71
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}
引用次数: 11
SéMo'07, premier atelier sur la sémantique des modèles semo '07,第一次关于模型语义的研讨会
Obj. Logiciel Base données Réseaux Pub Date : 2007-12-31 DOI: 10.3166/obj.13.4.137-144
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}
引用次数: 1
Morphing de métamodèles 元模的变形
Obj. Logiciel Base données Réseaux Pub Date : 2007-12-31 DOI: 10.3166/obj.13.4.33-53
Cédric Dumoulin, Anne Etien
{"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}
引用次数: 0
Vers une approche à base de règles pour la composition de modèles. Application au profil VUML 面向基于规则的模型组合方法。应用到VUML配置文件
Obj. Logiciel Base données Réseaux Pub Date : 2007-12-31 DOI: 10.3166/obj.13.4.73-103
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}
引用次数: 5
Automatisation d'un processus de conception par transformations de modèles 通过模型转换实现设计过程的自动化
Obj. Logiciel Base données Réseaux Pub Date : 2007-12-31 DOI: 10.3166/obj.13.4.105-135
E. Kaboré, Antoine Beugnard
{"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}
引用次数: 1
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信