Please use this identifier to cite or link to this item: http://repository.vnu.edu.vn/handle/VNU_123/82
Title: Dépliage du modèle en langage AltaRica
Authors: COUVREUR, Jean-Michel
WALUKIEWICZ, Igor
NGUYEN, Duy Tung
Keywords: Dépliage;Altarica;réseau de Petri;modélisation;vérification;préfixe;Dernière Ancêtre Commun (LCA);Requête Minimale du Rang (RMQ);RMQ dynamique
Issue Date: 2005
Abstract: De nos jours, pour éviter l'explosion combinatoire du nombre d'états d'un système compliqué, la vérification basée sur des préfixes finis est une bonne solution, mais le dépliage n'est développé que sur le réseau de Petri, un langage de modélisation en bas niveau. Autrement dit, il ne supporte pas un langage de modélisation en haut niveau comme l'AltaRica. Il faut construire un outil de transformation pour résoudre ce problème. D'autre part, grâce aux caractéristiques du modèle en AltaRica, on peut utiliser un dépliage plus efficace, le dépliage de produits d'automates. De plus, dans leur dépliage local, nous pouvons intégrer la technique basée sur le préfixe local ou les techniques Dernière Ancêtre Commun (LCA) et Requête Minimale du Rang (RMQ) pour diminuer la complexité du problème. Nous avons des implémentations expérimentales sur des tests standards pour tester la correctivité et la performance des algorithmes de dépliage ainsi que des améliorations.
URI: http://repository.vnu.edu.vn/handle/VNU_123/82
Appears in Collections:IFI - Master Theses

Files in This Item:
Thumbnail

  • File : stage-nguyen_duy_tung.pdf
  • Description : 
  • Size : 1.34 MB
  • Format : Adobe PDF


  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.