Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.117-130
Mourad Alia, A. Lefebvre, C. Collet
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.
本文描述了用于集成异构和自主数据源的中介中间件的体系结构。来自数据源的数据被分组到数据字段中。域是基于分形组件模型的软件组件(Bruneton et al.， 2002)。它通过接口提供(i)查询处理、(ii)数据导出和导入以及(iii)域控制功能。为数据集成提出的模型是最小的，并且独立于请求语言和数据语义(不需要全局模式)。本文展示了软件组合对数据集成系统部署和配置的贡献。
{"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}
Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.147-160
E. Renaux, O. Caron, J. Geib
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.
{"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}
Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.17-30
J. Malenfant, Simon Denier
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.
{"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}
Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.189-202
J.-P. Sansonnet
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.
{"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}
Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.61-74
Jean Privat, Roland Ducournau
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.
{"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}
Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.47-60
Aurélie Hurault, Vincent Hennebert, Marc Pantel
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.
{"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}
Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.231-244
J. Simmonds, Ragnhild Van Der Straeten, V. Jonckers, T. Mens
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.
{"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}
Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.217-230
Rim Al Hulou, A. Napoli, E. Nauer
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.
{"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}
Pub Date : 2004-09-30DOI: 10.3166/OBJET.10.2-3.245-258
Mathieu d'Aquin, J. Lieber, A. Napoli
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.
{"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}
Pub Date : 2004-09-30DOI: 10.3166/objet.10.2-3.259-275
Julie Vachon, H. Sahraoui, Mustapha Essalih, H. Mili
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：