Top PDF Composants et modèles pour l’ingénierie des systèmes d’information
Composants et modèles pour l’ingénierie des systèmes d’information
... des modèles autour d’un ensemble de standards comme le MOF, XMI, OCL, UML, CMW, SPEM, QVT , ...des systèmes et des ...les modèles qui en ...des modèles plus ...
240
Des hyperclasses aux composants pour l'ingénierie des systèmes d'information - RERO DOC
... Résumé Nous proposons un cadre conceptuel pour l’ingénierie des systèmes d’information (SIs) par composants. Ce cadre est basé sur les concepts d’hyperclasse et de composant de SI. Le concept d’hyperclasse ...
279
Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ?
... Les solutions reposent actuellement soit sur une refonte compl` ete des IHM, soit sur une juxtaposition des IHM de chaque si. Dans le cas d’une refonte, les choix de conception sont totalement revus et repens´ es. Une ...
33
Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE
... de composants formant l’architecture d’un système embarqué, est standardisé par SAE International ...aux systèmes avioniques et spatiaux, et un mécanisme avancé de gestion de propriétés non ...des ...
6
2012 — Une méthode d'agrégation de composants logiciels dirigée par les métadonnées et les modèles
... des composants ainsi que les processus de développement des systèmes à base de composant (section ...les composants sont traduites sous la forme de contrats de ...de composants s‟implémente à ...
308
Ingénierie d'entreprise et de système d'information dirigée par les modèles : quels usages ?
... Chen D. (2005). "Modélisation d’entreprise pour l’intégration et l’interopérabilité des systèmes industriels." Habilitation à Diriger des Recherches de l’Université Bordeaux. 14 décembre 2005 Goepp V., F. ...
5
topPROCESS : vers une ingénierie des procédés dirigée par les modèles
... des systèmes, la maîtrise des processus du système d’information et des logiciels, une communication ciblée, claire et compréhensible par tous, la réduction du coût de maintenance et d’évolution du système ...
8
Conception et usage des composants métier processus pour les systèmes d'information
... les modèles conceptuels, produits lors des étapes de spécification fonctionnelle, constituent de véritables productions capitalisables et réutilisables dans le cycle de conception d'un SI à base de ...des ...
241
Assistance à la validation et vérification de systèmes critiques : ontologies et intégration de composants
... de composants dans un langage de modélisation et du lien avec la vérification com- ...de systèmes logiciels. Le principe est d’utiliser les modèles ou les composants comme les pierres de ...
195
Un outil d'assistance à la construction de tests de modèles à composants et services
... les modèles de composants logiciels basés sur les ...de systèmes logiciels à base de composants et services (Service-based Component ou SBC) et exploitent l’ingénierie dirigée par les ...
3
Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles
... 2.2.6 EAST-ADL EAST-ADL [ 17 ] est un langage architectural spécialisé pour l'automobile. Comme AADL, il couvre aussi bien les aspects logiciels que matériels. Il permet d'exprimer nativement l'aspect comportmental du ...
176
Ingénierie des modèles pour les applications environnementales
... Fin 1999, la Direction Scientifique du Cemagref a retenu l’atelier de génie logiciel Objecteering de la société Softeam comme outil de modélisation et de développement des applications informatiques et des ...
345
Ingénierie des systèmes orientés services adaptables : Une approche dirigée par les modèles
... des systèmes orientés services : phases, activités et artefacts SOC se base principalement sur le service comme un élément fondamental pour le développement des systèmes d‟information d‟entreprise ...
196
Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
198
Une ingénierie participative des exigences pour les systèmes interactifs complexes en aéronautique
... L’analyse!détaillée!des!pratiques!transverses!aux!entreprises!nous!permet!d’identifier!cinq!aspects! du!processus!d’ingénierie!des!exigences!qui!changent!significativement!dans!le!temps:!la!traçabilité,! la! maturité! ...
234
COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système
... Notre approche COnfECt peut s’intégrer à GK-tail comme décrit en Figure 2. L’étape Analyse de Traces et Extraction de COnfECt permet de segmenter les traces et d’identifier des composants. Elle est réalisée après ...
8
Une Forme de Rétro Ingénierie pour Systèmes Multi Agents : explorer l'espace des simulations
... de modèles aléatoires et leur implémentation à partir d’une ontologie spécifiée à l’avance, constituée d’interactions génériques que nous pouvons affecter à des familles ...les modèles sous-jacents puis ...
11
Electroperméabilisation de systèmes modèles
... plication d’un champ électrique à travers la membrane et le réarrangement du réseau interfacial de molécules d’eau associé [Lopez 88]. L’électrofusion est une manière très commode de contrôler, spatiale- ment comme ...
236
Spécification et vérification formelles des systèmes de composants répartis
... In addition a permissive labelling discipline allows a variety of annotations on all distinct elements: states, transitions, automata and networks as a whole. It is through this labelling that behavioural action labels ...
199
Négociation de contrats dans les systèmes à composants logiciels hiérarchiques
... de composants, un catalogue permettant de décrire les attributs de qualité issus de divers domaines et transposables aux composants logiciels [ Brahnmath et ...les composants logiciels ainsi que des ...
200