Synthèse automatique de gardes EB3

Abstract

Darts le cadre de développement de systèmes d'informations, les méthodes formelles de spécification peuvent réduire le développement aux seules phases d'analyse et de conception. La méthode EB³ est une de ces méthodes. Elle se base sur une algèbre de processus dont les actions peuvent être gardées. Une garde permet de soumettre leur exécution à une condition.

Les gardes sont des expressions logiques définies sur les attributs des entités du système. Ces attributs sont stockés dans une base de données relationnelle. Ce mémoire présente un algorithme qui permet de générer une implémentation en Java et SQL des gardes d'une spécification EB³. Il est implémenté dans EB³GG, un outil intégré dans la plateforme APIS, plateforme qui supporte la méthode EB ³. Dans ce mémoire, nous présentons l'algorithme élaboré pour réaliser la traduction des définitions de gardes vers du code exécutable et son implémentation.

Nous définissons les opérateurs du langage de description des gardes. L'algorithme détaillé dans ce mémoire se base sur la description de ce langage afin d'implémenter les opérateurs en utilisant une forme normale définie à partir d'un sous-ensemble des opérateurs des gardes.

Abstract (AI English translation)

Information popover about translation disclaimer

Within the information systems development framework, formal specification methods can reduce development to analysis and design phases only. The EB3 method is one such method. It is based on an algebra of processes whose actions can be kept. A guard allows their execution to be subject to a condition.

Guards are logical expressions defined on the attributes of system entities. These attributes are stored in a relational database. This thesis presents an algorithm which makes it possible to generate an implementation in Java and SQL of the guards of an EB3 specification. It is implemented in EB3GG, a tool integrated into the APIS platform, a platform which supports the EB 3 method. In this thesis, we present the algorithm developed to translate guard definitions into executable code and its implementation.

We define the operators of the guard description language. The algorithm detailed in this dissertation is based on the description of this language in order to implement the operators using a normal form defined from a subset of the guard operators.