une approche MDA pour la transformation des statecharts vers B en utilisant TGG

Loading...
Thumbnail Image

Date

2017

Journal Title

Journal ISSN

Volume Title

Publisher

Faculté des Mathématiques et de l’Informatique - Université Mohamed BOUDIAF - M’sila

Abstract

les diagramme état-transition défint differents états d'un objet au cours de sa dureé de vie et ces états sont modifiés par des événements .néanmoins les notations orientées objet ne sont pas formalisées et manquent de bases fiables pour l'analyse et la vérification des application .Pour surmonter à ce probléme nous proposons une solution pour transformer le diagramme état-transtion vers des méthodes formelles .enparticulier laméthode B.Notre objectif est de transformer statechart en B.Cette automatisation est réalisée par les régles de TGG.

Description

Keywords

Diagramme état-transition. transformation des modéles. méthodes formelles. méthode B.grammaires de graphes triples TGG.

Citation

Collections