• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

Synthèse automatique de gardes EB[indice supérieur 3]

Thumbnail
View/Open
MR42970.pdf (1.235Mb)
Publication date
2008
Author(s)
Konopacki, Pierre
Show full document record
Abstract
Dans 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[indice supérieur 3] 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[indice supérieur 3] . Il est implémenté dans EB[indice supérieur 3] GG, un outil intégré dans la plateforme APIS, plateforme qui supporte la méthode EB[indice supérieur 3] . 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.
URI
http://savoirs.usherbrooke.ca/handle/11143/4748
Collection
  • Sciences – Mémoires [1657]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback