Résumé. Le développement de systèmes à base de composants consiste en l’assemblage d’un ensemble d’unités de base qui répondent chacune à une partie des exigences du système. Cette démarche permet la réduction du coût de développement. Cependant, l’opération d’assemblage impose l’adoption d’une approche de vérification qui doit être complète et moins coûteuse. Dans ce papier, nous proposons une approche formelle de vérification de la compatibilité de blocs SysML, en vue d’étudier la possibilité de leur assemblage. Principalement, une spécification SysML d’un système consiste à représenter sa structure sous forme d’un ensemble de blocs en interaction, cette interaction peut être modélisée par des modèles qui exposent un certain niveau de hiérarchie. Notre approche propose de profiter de la hiérarchie présente dans les modèles SysML ainsi que dans les automates afin d’alléger la vérification de la compatibilité des blocs SysML.
Les contraintes d'architecture sont des specifications definies par les developpeurs dans la phase de conception, qui permettent de verifier, apres une evolution de l'architecture, si sa description est encore conforme aux conditions imposees par un patron ou un style architectural, ou bien une regle de conception generale. Ces specifications peuvent etre exprimees avec un langage standardise comme OCL. Elles sont la plupart du temps des specifications brutes sans aucune structure permettant leur parametrage et reutilisation. Afin de pouvoir les verifier dans la phase d'implementation nous proposons dans ce travail une methode pour traduire automatiquement ces specifications en composants executables. En plus de les rendre verifiables en phase d'implementation, nous avons choisi de cibler les composants logiciels afin de rendre ces contraintes d'architecture reutilisables, personnalisables et composables. Puisque les contraintes d'architecture doivent analyser les descriptions d'architecture, les composants generes utilisent le mecanisme de reflexivite standard fourni par le langage de programmation. Notre implementation prend en entree des contraintes OCL specifiees sur le metamodele UML. Elle produit en sortie des composants programmes en COMPO, un langage de programmation par composants reflexif developpe par notre equipe.
Résumé. Nous nous proposons de concevoir une nouvelle plateforme d’apprentissage multimedia pour faciliter l’acquisition de compétences dans le contexte de métiers manuels. En particulier, cette nouvelle plateforme s’adresse à des apprenants qui n’apprécient pas les méthodes traditionnelles de formation et qui préfèrent principalement des supports vidéo comme ressources pédagogiques, personnalisées selon leurs propres préférences. Pour l’apprenant, la plateforme fournit des recherches sémantiques à partir d’ontologies et propose des ressources pédagogiques appropriées selon son profil et son parcours personnalisé. De plus, la plateforme permet aux utilisateurs d’ajouter de nouvelles ressources annotées qui enrichissent les domaines de formation. Cet article présente l’architecture de cette plateforme et les idées principales sous-jacentes pour résoudre le problème de l’adaptation dynamique de parcours personnalisés dans le contexte de l’apprentissage de métiers manuels.
Thanks to development of technology and Web has reached its peak. It touched almost every domain especially the learning. We notice a huge change has occurred in the methodology and means of information especially in the usage of mobile dispositive. Thus, its necessary that we model the mo-bile learning domain so that we can specialize the needs and the modeling rea-lization. In this domain both the context and the geographic position of a mo-bile learning represent the two principal concepts for modeling a mobile learning situation. Our original research is focus on the ontological modeling of a geo-localized context of a mobile learning. Self adaptability of Web services to the context are a solution for the integration of distributed, autonomous, and heterogeneous information systems. Thus impacts can resolve many problems in different system based on service oriented architecture and Web services. We are interested in the study of a certain number of context learning models without forgetting the models of geo-ontology. We suggest a model that allows describing at the same time the context and the geographic position. This model can be integrated in the mobile learning environment and it leads to the semantic description and reuse of information. We show the reasoning and validation of our approach in an archaeological geo-location case study based on self adaptability of Web services to the context.
Résumé. Le développement d’applications ubiquitaires est pa r iculièrement complexe. Au-delà de l’aspect dynamique de telles a pplications, l’évolution de l’informatique vers la multiplication des termin aux d’accès mobiles ne facilite pas les choses. Une solution pour simplifi er le développement et l'exploitation de telles applications est d’utilise r des plateformes logicielles dédiées au déploiement et à l’adaptation des applic ations et gérant l’hétérogénéité des périphériques. Elles permettent aux concepteurs de se focaliser sur les aspects métiers et facilitent la réutilisation. C’est dans cette optique qu’a été conçue et développée la plateforme Kalimucho. Elle permet l’exécution et la supervision d’applications à base de composants logiciels et offre aux applications un accès à leur contexte d’e xécution.
