Filters








6 Hits in 4.0 sec

Modélisation de lignes de produits en UML

Tewfik Ziadi, Loic Hélouët, Jean-Marc Jézéquel
2003 L objet  
The coherence between parts of the product line models is then ensured by OCL (Object Constraint Language) constraints.  ...  This paper proposes a new approach for modeling product lines with UML integrating functional, static and dynamic aspects.  ...  , et comment leur sémantique peut être en partie capturée par des contraintes OCL de méta-niveau ouvrant ainsi des perspectives pour la vérification automatique des modèles dérivés.  ... 
doi:10.3166/objet.9.1-2.227-240 fatcat:ggg36nzvpze6pitmt4vypvznnm

Vers un profil UML pour la conception de composants multivues

Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, Xavier Crégut, Abdelaziz Kriouile
2005 L objet  
In this paper, we first present the notion of multiviews component and its integration into a UML profile, and thus detail an object-oriented multiviews modelling applied to a concrete example.  ...  L' objectif de cet article est de présenter un profil UML permettant la construction de composants logiciels multivues.  ...  Principes VUML est fondée sur une approche centrée utilisateur, dont l'objectif est de représenter les besoins et les droits d'accès des utilisateurs de l'analyse jusqu'à l'implémentation.  ... 
doi:10.3166/objet.11.4.83-113 fatcat:hcxqtl67xfar7fypgor4as4qsq

Une approche fondée sur l'IDM pour le développement d'un environnement de production journalistique

Cyril Faucher, Frédéric Bertrand, Jean-Yves Lafaye, Denis Teyssou, Mathieu Bully
2012 Techniques et sciences informatiques  
Nous donnons une vue d'ensemble de notre démarche et présentons les métamodèles utilisés, notamment le modèle d'événements servant de pivot entre l'interface avec les applications de traitement de la langue  ...  Nous présentons une expérience appliquant l'ingénierie dirigée par les modèles à l'analyse et à la mise en oeuvre d'une chaîne complète de gestion de dépêches d'agence traitant de manifestations dans les  ...  En préliminaire à une vérification sémantique, nous définissons une grammaire fondée sur notre métamodèle.  ... 
doi:10.3166/tsi.31.917-942 fatcat:borgrddhfbda5jgacgnv2gcd2i

Construction de tests qualifiés de transformations de modèles

Jean-Marie Mottu, Benoit Baudry, Yves Le TrRaon
2010 Techniques et sciences informatiques  
Dans nos recherches, nous contribuons au test de transformations de modèles en proposant des techniques de test adaptées aux caractéristiques et à l'emploi des transformations.  ...  Dans l'ingénierie dirigée par les modèles, les modèles sont exploités par les transformations de modèles qui automatisent les étapes du développement.  ...  La valeur de l'analyse de mutation est fondée sur la représentativité des erreurs injectées dans les mutants.  ... 
doi:10.3166/tsi.29.537-569 fatcat:la7t4v7gajfsrin7cv56tdozzm

Semantic interoperability of knowledge in feature-based CAD models

Samer Abdul-Ghafour, Parisa Ghodous, Behzad Shariat, Eliane Perna, Farzad Khosrowshahi
2014 Computer-Aided Design  
Dans le modèle de Tversky, la similarité est fondée sur une fonction linéaire des ).  ...  Descriptive : KL-One, OIL, DAML+OIL, OWL c) Orienté objet : UML + OCL W3C 17 depuis le 10 février 1998, est un langage qui vise à décrire l'information de manière structurée et est adapté au stockage  ...  Notons que la mise en correspondance des propriétés constitue une étape enrichissante de l'intégration d'ontologies puisque leur implication dans le processus de reconnaissance  ... 
doi:10.1016/j.cad.2014.06.001 fatcat:sqf7nbmhi5hr3cjcudkzqgtz5m

UNE APPROCHE FORMELLE POUR L'INTEGRATION DES ASPECTS STRUCTURAUX ET COMPORTEMENTAUX DE REPRESENTATIONS CONCEPTUELLES

Guillaume Auriol, Béchir Ayeb, Tunisie Abdelmajid, Ben Hamadou, Rafik Bouaziz, Faouzi Boufares, Lipn, France, Walid Mehdi, Mohamed Moncef, Ben Khelifa, A Toulon (+23 others)
unpublished
L'originalité de notre travail provient du fait que nous avons traité le problème d'intégration à l'aide d'un langage de spécification formel qui est l'Object-Z et que nous avons inclus aussi bien les  ...  aspects structuraux que ceux comportementaux des représentations conceptuelles dans le processus d'intégration.  ...  ., Mitche, A. (1989), " Quantification vectorielle d'images par le réseau neuronal de kohonen ", Traitement du signal, Vol. 6, N° 6, 1989.  ... 
fatcat:r5ji4l4zvffcxbauyg4qymwcvi