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

筛选
英文 中文
SystAmes d'intégration des données Une approche à composants 数据集成系统组件方法
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.117-130
Mourad Alia, A. Lefebvre, C. Collet
{"title":"SystAmes d'intégration des données Une approche à composants","authors":"Mourad Alia, A. Lefebvre, C. Collet","doi":"10.3166/objet.10.2-3.117-130","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.117-130","url":null,"abstract":"Cet article decrit l'architecture d'un intergiciel de mediation pour l'integration de sources de donnees heterogenes et autonomes. Les donnees provenant des sources de donnees sont regroupees dans des domaines de donnees. Un domaine est un composant logiciel base sur le modele de composants Fractal (Bruneton et al., 2002). Il offre, a travers des interfaces, des fonctions (i) de traitement de requetes, (ii) d'exportation et importation de donnees et (iii) de controle des domaines. Le modele propose pour l'integration de donnees est minimal et est independant des langages de requetes et de la semantique des donnees (pas de schema global impose). Cet article montre l'apport de la composition logicielle au deploiement et a la configuration des systemes d'integration de donnees.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":" 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132094198","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
Chaîne de production de systèmes à base de composants logiques 基于逻辑组件的系统生产线
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.147-160
E. Renaux, O. Caron, J. Geib
{"title":"Chaîne de production de systèmes à base de composants logiques","authors":"E. Renaux, O. Caron, J. Geib","doi":"10.3166/objet.10.2-3.147-160","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.147-160","url":null,"abstract":"Dans cet article, nous proposons un formalisme de representation de systemes a base de composants et un atelier de conception et de generation, bases sur un meta-modele. La demarche d'ingenierie supportee par cet outil offre une veritable chaine de production d'applications structurees en composants. Nous integrons dans notre demarche l'initiative d'ingenierie dirigee par les modeles (Model Driven Architecture) de l'OMG. Pour cela, nous definissons un langage de modelisation oriente composant. Bien qu'independant d'une plate-forme technologique (Platform Independent Model), il est suffisamment riche pour permettre la projection la plus directe possible vers des plate-formes technologiques a base de composants actuelles. Nous decrivons la projection du modele PIM vers une plate-forme technologique (Platform Specific Model), Enterprise Java Bean. Les demarches de type Processus Unifie n'integrent pas la notion de composant dans la totalite du cycle de developpement d'un systeme. Notre demarche, denommee CUP (COMPONENT UNIFIED PROCESS) permet d'ameliorer la reutilisabilite de composants en preconisant la partition d'un systeme en composants logiques, ainsi que l'identification de ces composants, des les premieres etapes de l'analyse.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131329839","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}
引用次数: 4
Architecture réflexive pour le contrôle de robots modulaires 用于控制模块化机器人的反射式架构
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.17-30
J. Malenfant, Simon Denier
{"title":"Architecture réflexive pour le contrôle de robots modulaires","authors":"J. Malenfant, Simon Denier","doi":"10.3166/objet.10.2-3.17-30","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.17-30","url":null,"abstract":"A visual acuity testing apparatus is herein disclosed which comprises a test chart displayer having a display surface pointing to an upward direction; a first reflector, for downwardly reflecting a light beam from the test chart displayer, disposed above the displayer; and a second reflector for reflecting the light beam, reflected by the first reflector, towards eyes to be tested. Said test chart displayer and the first reflector for reflecting and propagating the light beam from the displayer are contained in a leg of a table and the second reflector for reflecting the light beam from the first reflector towards the eyes to be tested is supported by a supporting arm of the table.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129235945","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
Composants dialogiques génériques. Perspectives et méthodes pour une approche intégrée des outils assistants langagiers et de la programmation objet 通用对话组件。语言辅助工具和对象编程集成方法的观点和方法
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.189-202
J.-P. Sansonnet
{"title":"Composants dialogiques génériques. Perspectives et méthodes pour une approche intégrée des outils assistants langagiers et de la programmation objet","authors":"J.-P. Sansonnet","doi":"10.3166/objet.10.2-3.189-202","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.189-202","url":null,"abstract":"Dans cet article, nous presentons des travaux qui concernent d'une part la communication homme-machine, avec en particulier la problematique des outils assistants d'interface en langue naturelle et d'autre part le traitement de requetes sur la structure et le fonctionnement de petit composants logiciels actifs destines a etre integres dans des pages Web. Nous militons pour une approche integree des outils assistants langagiers et de la programmation objet. A partir d'exemples tires du projet INTERVIEWS, nous essayons de montrer la necessite d'une integration profonde des principes cognitifs des utilisateurs dans les representations internes des composants. Nous proposons un modele de representation de type mediateur et un langage de requetes fonde sur la notion d'heuristique generique d'observation.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128688111","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
Intégration d'optimisations globales en compilation séparée des langages à objets 在对象语言的单独编译中集成全局优化
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.61-74
Jean Privat, Roland Ducournau
{"title":"Intégration d'optimisations globales en compilation séparée des langages à objets","authors":"Jean Privat, Roland Ducournau","doi":"10.3166/objet.10.2-3.61-74","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.61-74","url":null,"abstract":"Mainly used compilers are based on separate compilation, whereas optimizations of object-oriented programs mostly need a complete knowledge of the whole program. This is especially the case for type analysis and late binding implementations. Both approaches have pros and cons. Therefore, this paper proposes an integration of global optimizations in a separate compilation framework. The code generated by the local step is tagged and completed with a class schema and a template abstracting the circulation of types in the class methods. Before linking, a global step makes all global computations and substitutes computed values for symbols in the code generated by the local step.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125592172","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
Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel JAVACT中的分布和移动性一种来自正式模型的方法
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.47-60
Aurélie Hurault, Vincent Hennebert, Marc Pantel
{"title":"Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel","authors":"Aurélie Hurault, Vincent Hennebert, Marc Pantel","doi":"10.3166/objet.10.2-3.47-60","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.47-60","url":null,"abstract":"Dans le cadre du genie logiciel pour les applications concurrentes, reparties et mobiles, nous proposons des analyses statiques pour la validation des programmes exploitant le modele « acteur ». Ces analyses sont definies pour le calcul CAP permettant d'exprimer l'architecture concurrente des applications. Celles-ci sont ensuite programmees en utilisant la bibliotheque JAVACT dont la structure est maintenant derivee de CAP. Cependant, la repartition et la mobilite introduisent une complexite supplementaire. L'objectif de cette communication est la presentation de DCAP et DJAVACT qui etendent CAP et JAVACT pour exprimer l'architecture repartie et mobile des applications. Ces travaux sont fondes sur une synthese bibliographique etendue des calculs existants. Ils introduisent en particulier les notions de domaines hierarchiques securises et de groupes securises.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133545935","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
Maintaining Consistency between UML Models Using Description Logic 使用描述逻辑维护UML模型之间的一致性
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.231-244
J. Simmonds, Ragnhild Van Der Straeten, V. Jonckers, T. Mens
{"title":"Maintaining Consistency between UML Models Using Description Logic","authors":"J. Simmonds, Ragnhild Van Der Straeten, V. Jonckers, T. Mens","doi":"10.3166/objet.10.2-3.231-244","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.231-244","url":null,"abstract":"La conception d'un logiciel est souvent modelisee comme un ensemble de diagrammes UML. Il est essentiel de preserver leur coherence, parce que ces diagrammes sont sujets a de frequentes modifications, dues aux evolutions successives. Les outils contemporains pour UML fournissent un support insatisfaisant pour maintenir la coherence entre differentes versions des diagrammes UML. Pour resoudre ce probleme, une extension du meta modele UML est developpee, et une classification des conflits d'incoherence est proposee. La detection et la resolution de ces conflits est exprimee en utilisant des regles en logique de descriptions. En effectuant un certain nombre d'experiences, nous montrons la faisabilite du formalisme de logique de descriptions pour preserver la coherence entre des modeles UML qui evoluent.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"17 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120861328","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}
引用次数: 57
Une mesure de similarité sémantique pour la classification de documents par le contenu 根据内容对文档进行分类的语义相似性度量
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.217-230
Rim Al Hulou, A. Napoli, E. Nauer
{"title":"Une mesure de similarité sémantique pour la classification de documents par le contenu","authors":"Rim Al Hulou, A. Napoli, E. Nauer","doi":"10.3166/objet.10.2-3.217-230","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.217-230","url":null,"abstract":"Dans cet article, nous proposons une approche pour classifier des documents a partir de leur contenu. Le contenu des documents est exprime par des annotations representees sous forme d'arbres. Etant donnee une hierarchie d'annotations generiques, notre approche vise a rattacher une annotation specifique a une ou plusieurs classes possibles dans la hierarchie. Ce processus de classification repose sur une mesure de similarite qui permet de mesurer l'ecart entre une annotation specifique et une annotation generique. Un schema d'algorithme de classification de documents est propose a partir de cette mesure de similarite.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"11239 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123050766","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}
引用次数: 2
Représentation de points de vue pour le raisonnement à partir de cas 基于案例推理的观点表示
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/OBJET.10.2-3.245-258
Mathieu d'Aquin, J. Lieber, A. Napoli
{"title":"Représentation de points de vue pour le raisonnement à partir de cas","authors":"Mathieu d'Aquin, J. Lieber, A. Napoli","doi":"10.3166/OBJET.10.2-3.245-258","DOIUrl":"https://doi.org/10.3166/OBJET.10.2-3.245-258","url":null,"abstract":"Cet article se situe dans le cadre de la representation des connaissances pour le raisonnement a partir de cas (RAPC) avec une application au systeme d'aide a la decision en cancerologie KASIMIR. On s'interesse plus particulierement a la representation explicite de points de vue, utile en particulier pour prendre en compte les connaissances provenant de differentes disciplines de la cancerologie. S'inspirant du systeme de representation des connaissances par objets TROEPS, les points de vue sont integres a la representation existante dans le systeme KASIMIR. Il est ainsi possible de construire des bases de connaissances dans lesquelles differentes hierarchies de concepts representent les differents points de vue sur les connaissances, avec des liens entre eux, appeles passerelles. Ces differents points de vue sont ensuite utilises comme base pour la decomposition des etapes de rememoration et d'adaptation du RAPC. Les passerelles sont alors vues comme des contraintes permettant d'aider a formuler le probleme traite par le raisonnement et a completer la solution.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126230372","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}
引用次数: 6
Vérification par model-checking de systèmes hybrides objets-règles 混合系统对象-规则的模型检查
Obj. Logiciel Base données Réseaux Pub Date : 2004-09-30 DOI: 10.3166/objet.10.2-3.259-275
Julie Vachon, H. Sahraoui, Mustapha Essalih, H. Mili
{"title":"Vérification par model-checking de systèmes hybrides objets-règles","authors":"Julie Vachon, H. Sahraoui, Mustapha Essalih, H. Mili","doi":"10.3166/objet.10.2-3.259-275","DOIUrl":"https://doi.org/10.3166/objet.10.2-3.259-275","url":null,"abstract":"Un nombre croissant d'approches mixtes combinent programmation a base de regles et programmation orientee objets. La verification des programmes hybrides a base d'objets et de regles est devenue un probleme de plus en plus urgent a resoudre. Les methodes de verification existantes, developpees soit pour les programmes orientes objets soit pour les systemes de regles classiques, ne sont pas directement applicables aux systemes hybrides objets-regles dont les caracteristiques (le sous-typage et le polymorphisme d'une part, le non-determinisme et la non-monotonie d'autre part) interagissent de facon particuliere. Cet article presente une methode pour la verification de systemes objets-regles non monotones. La demarche proposee fait appel aux reseaux de Petri colores et aux techniques de model-checking.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122284053","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
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学术官方微信