Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information
نویسنده
چکیده
RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou de certification. Dans cet article, il s’agit d’utiliser des diagrammes UML pour produire une documentation lisible au sein des projets en B, et ce, en proposant des schémas de transformation définissant des liens structurels et sémantiques entre méta-modèles B et UML.
منابع مشابه
Conception objet dans le cadre des systèmes d'information spatiaux: Agrégation spatiale et généralisation
Notre propos est de témoigner de l'apport du paradigme objet et notamment du formalisme UML dans l'élaboration et la confrontation de modèles conceptuels. Traitant des problèmes de gestion de l'espace rural, nous portons notre attention sur les notions de représentation du paysage. En particulier, nous précisons l'intérêt du concept d'agrégation utilisé à des fins structurelles et dynamiques. N...
متن کاملExploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique
Résumé. Nous présentons dans cet article les méthodes employées et les résultats obtenus en réponse au Défi EGC 2016. Notre approche repose d’une part sur des chaînes automatiques de traitements linguistiques en français et en anglais utilisant le plus possible des ressources et outils publics et d’autre part sur un environnement d’exploration des données basé sur les systèmes d’information log...
متن کاملUne tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports
RÉSUMÉ. Le projet EDEMOI 1 a pour but la modélisation de la sécurité des aéroports. Son approche passe par la production de modèles graphiques (un ensemble de diagrammes UML) destinés à être validés par les experts du domaine, et de modèles formels destinés à être vérifiés. Pour assurer la correspondance entre ce qui est validé et ce qui est vérifié, il faut établir un lien fort entre ces deux ...
متن کاملFormal Description of the UML Architecture and Extensibility
Since its emergence in 1995, the Unified Modeling Language (UML) has become part of the mainstream of object-oriented software development in a wide range of applications. This paper presents a formal description of UML technologies for visualized specification and modeling of software systems, and analyzes the usability of UML views and diagrams. Requirements and extension of UML capability to...
متن کاملUne approche algébrique pour la réutilisation et l'orchestration de services dans les sysèmes d'information
RÉSUMÉ. Dans les systèmes d’information, il est aujourd’hui essentiel de mettre en œuvre rapidement et sans développements lourds de nouvelles fonctionnalités en réponse aux évolutions métiers, en réutilisant au mieux les services déjà présents. Dans le contexte de l’accès à des informations dispersées au sein d’une fédération de systèmes indépendants, nous adressons ici le problème de découver...
متن کامل