Du Langage Naturel à la Spécification – Application à la Spécification de Services de Télécommunication

International audienceLa rédaction de spécifications techniques, écrites la plupart du temps en langage naturel, est devenue une activité considérable. Parallèlement la nécessité de réduire les temps de développement de systèmes complexes, comme ceux des télécommunications, est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Nous essayerons donc de montrer la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécification. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentation intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z. Puis, dans une deuxième approche, nous exposerons les éléments méthodologiques liés à un processus de conception orientée agent, cette fois semi-formel. Pour illustrer notre présentation et lui conférer une meilleure lisibilité, nous avons choisi un exemple simple de spécification que nous appliquerons à chacune des phases du processus de formalisation

Conception de Système de Multi-Assistance à Base d'Agents. Application à un Environnement Pédagogique

International audienceLes systèmes multi-agents permettent de coordonner le comportement d'agents interagissant et communiquant dans une société pour réaliser des tâches ou résoudre des problèmes. Il nous semble donc bien adaptés pour concevoir une multi assistance destinée à des utilisateurs de systèmes complexes, coopératifs et distribués – chaque agent représentant un niveau d'assistance. Dans l'intention d'illustrer notre approche, nous présenterons un système d'assistance intégré dans l'environnement d'apprentissage iPédagogique. L'enseignement d'unités de valeurs scientifiques ou techniques est largement fondé sur l'acquisition de connaissances conceptuelles et la validation d'un savoir-faire. Au cours d'une formation, l'apprenant et l'enseignant doivent être efficaces tant du point de vue quantitatif que qualitatif, tout spécialement en surmontant des difficultés organisationnelles et en bénéficiant d'une aide à la synchronisation d'activités. Nous présenterons les orientations de cet environnement utilisé dans une école d'ingénieurs généralistes et dans deux formations Multimédia, puis nous détaillerons notre système d'aide multi-usages, au travers de la gestion de projets d'étudiants

L'ontologies d'entreprise pour la technologie blockchain

L'ontologie d'entreprise établit une distinction claire entre le niveau de données, le niveau d'information et le niveau essentiel des transactions blockchain et des contrats intelligents. La méthodologie OntoClean analyse des ontologies basées sur des propriétés formelles, indépendantes des domaines (méta-propriétés), constituant la première tentative de formalisation des concepts d'analyse ontologique pour des systèmes informatiques. Les notions sont extraites de l'ontologie philosophique. DOI: 10.13140/RG.2.2.12557.4912

La philosophie de la technologie blockchain - Ontologies

De la nécessité et de l'utilité de développer une philosophie spécifique pour la technologie de la blockchain, mettant l'accent sur les aspects ontologiques. Après une Introduction qui met en évidence les principales orientations philosophiques de cette technologie émergente, dans La technologie blockchain j’explique le fonctionnement de la blockchain, en analysant les directions de développement ontologique de cette technologie dans Conception et modélisation. La section suivante est consacrée à la principale application de la technologie de la blockchain, Bitcoin, avec les implications sociales de cette crypto-monnaie. Il suit une section de Philosophie dans laquelle j'identifie la technologie de la blockchain au concept d'hétérotopie développé par Michel Foucault et je l'interprète à la lumière de la technologie de notation développée par Nelson Goodman en tant que système de notation. Dans la section Ontologie, je présente deux voies de développement que j'estime importantes: une Ontologie narrative, basée sur l'idée d'ordre et de structure de l'histoire transmise à travers l'histoire narrative de Paul Ricoeur, et le système de l'Ontologie d'entreprise basé sur des concepts et des modèles d'entreprise, spécifiques au Web sémantique, que je considère comme le plus développé et qui deviendra probablement le système ontologique formel, du moins en ce qui concerne les aspects économiques et juridiques de la technologie de la blockchain. Dans Conclusions, je parle des orientations futures du développement de la philosophie de la technologie blockchain en général en tant que théorie explicative et robuste d’un point de vue phénoménologique cohérent, qui permet la testabilité et les ontologies en particulier, en plaidant pour la nécessité de l’adoption globale d’un système ontologique afin de développer des solutions transversales et de rentabiliser cette technologie. SOMMAIRE: Abstract Introduction La technologie blockchain - Conception - Modèles Bitcoin Philosophie Ontologies - Ontologies narratives - Ontologies d'entreprise Conclusions Bibliographie Notes DOI: 10.13140/RG.2.2.22996.1472

Conception basée modèle des systèmes temps réel et distribués

Les systèmes temps réel et distribués posent des problèmes complexes en termes de conception d'architecture et de description de comportements. De par leur criticité en vies humaines et leurs coûts de prototypage, ces systèmes ont motivé le développement d'une activité de recherche sur les langages de modélisation formelle et les techniques de validation basées modèle qui contribuent à la détection au plus tôt des erreurs de conception. Néanmoins, les langages formels ont eu un succès plus que limité dans l'industrie. L'arrivée du langage UML (Unified Modeling Language) a ouvert de nouveaux horizons pour l'intégration de langages de modélisation formelle dans une méthodologie de conception susceptible d'être mieux acceptée par les praticiens du domaine. En s'appuyant sur une expérience antérieure de la technique de description formelle Estelle et des extensions temporelles des réseaux de Petri, notre activité de recherche sur les cinq dernières années a débouché sur la production d'un profil UML nommé TURTLE (Timed UML and RT-LOTOS Environment). TURTLE surpasse UML 2.0 par ses extensions aux diagrammes d'analyse et de conception UML, sa sémantique formelle exprimée en RT-LOTOS, et ses outils de support (éditeur de diagrammes et outil de validation formelle combinant simulation et vérification basée sur une analyse d'accessibilité). La méthodologie TURTLE trouve son champ d'application naturel dans la conception de systèmes temps réel et la validation d'architectures de communication en particulier. L'approche proposée a été appliquée avec succès à des systèmes satellitaires et des protocoles d'authentification

Un modèle générique pour les organisations dynamiques en univers multi-agent

Multiagent systems (MAS) are composed of interacting autonomous entities called agents. Their behaviors and interactions take part in the generation of a global functionality in the system. The notion of organization describes the structural and functional aspects of such systems: it includes the objectives of each agent, the way they can interact and create relationships and their importance in the system's global function. These concepts are usually formalized through notions derived from human and animal organizations: roles, groups, norms… However, an important part of MAS' organization can only be partially described with these notions: dynamics. In open MAS – where agents can enter or exit the system at any time, and where their number and characteristics are often not known at the time of the system's design – and in self-organized MAS – where the system's structure evolves with relation to context and environment – organization's dynamics is very difficult to formally describe with these high-level notions. In this thesis, we propose a model for MAS organizations' description, which is focused toward the description of a wide range of systems and the modeling of both their static and dynamic aspects. In order to achieve this, we ground our model on an approach based on emergence and computation. We then create a model based on three basic, low-level, typed static elements: agents, relations and tasks, and one low-level dynamic element: organizational mechanisms. We then propose some methods for organization description based on our model and the principle of system's constraints aggregation. We also provide some computational methods allowing the calculation of some global properties over described organizations, in order to provide a methodological help for MAS design and analysis. We then apply our model and the proposed methods on practical applications in order to show its pertinence in MAS organizations' formalization and comparison.Les systèmes multi-agents (SMA) mettent en relations des entités autonomes, les agents, dont les actes et les interactions participent à la mise en place d'un comportement et d'une fonctionnalité globale du système. La structure et le fonctionnement global du système sont décrits à travers la notion d'organisation : celle-ci regroupe l'ensemble des places occupées par les agents, de leurs relations et de leur importance dans la fonctionnalité attendue du système. Usuellement, ces concepts sont formalisés par des notions empruntées à l'analyse des organisations humaines et animales : rôles, groupes, normes, etc. Cependant, une part importante des organisations des SMA n'est que partiellement décrite par ces notions : la dynamique. En effet, dans les SMA ouverts, dans lesquels des agents, parfois inconnus à la conception du système, peuvent entrer ou sortir de celui-ci à tout instant, et dans les SMA auto-organisés, où la structure du système se forme et se reforme en fonction du contexte, la dynamique des organisations, c'est-à-dire l'analyse de leur évolution au cours du temps, est un champ important qui est difficile à décrire avec les notions de haut-niveau usuellement utilisées pour formaliser les organisations. Ce que nous proposons dans cette thèse est donc un modèle de description des organisations pour les SMA, axé sur la possibilité de décrire une vaste variété de système, à la fois dans leurs aspects statiques et dynamiques. Pour atteindre cela, nous nous appuyons sur une conception émergentiste et calculatoire, et nous créons notre modèle autour de trois éléments statiques typés et de bas-niveau : les agents, les relations et les tâches, et un élément dynamique : les mécanismes organisationnels. Nous proposons ensuite des méthodes descriptives des organisations fondée sur l'agrégation de contraintes sur les systèmes exprimées à partir de ces éléments, ainsi que des méthodes calculatoires destinées à permettre l'extraction de propriétés globales sur les organisations à partir de ces descriptions ; tout cela dans l'optique de fournir une aide méthodologique à la conception et à l'analyse d'organisations pour les SMA. Nous appliquons ensuite l'utilisation de notre modèle sur des applications précises afin de démontrer son intérêt et sa pratique dans la formalisation et dans la comparaison d'organisations dynamiques pour les SMA

Un environnement de conception de systèmes distribués basé sur UML

Cet article propose un nouvel environnement de développement des systèmes distribués, basé sur le profil UML TURTLE. Aux étapes d'analyse et de conception qui firent l'objet de précédents articles, nous ajoutons une étape de déploiement. Il s'agit en l'occurrence de déployer des composants TURTLE sur des noeuds matériels d'exécution et de modéliser les liens entre ces noeuds d'exécution. A l'exemple des diagrammes TURTLE utilisés en analyse et conception, les diagrammes de déploiement se voient dotés d'une sémantique formelle par traduction vers le langage RT-LOTOS. L'outil TTool (TURTLE Toolkit) est enrichi d'un générateur de code exécutable Java capable de prendre en compte les composants TURTLE déployés sur des noeuds et les liens entre les noeuds d'exécution. TTool génère maintenant du code réseau qui utilise les protocoles de type UDP ou RMI pour assurer les communications entre composants. L'intrusion d'un pirate dans une session HTTP sécurisée sert d'exemple illustratif de l'environnement proposé