polyDD: Towards a Framework Generalizing Decision Diagrams - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

polyDD: Towards a Framework Generalizing Decision Diagrams

Alban Linard
  • Fonction : Auteur
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651
Fabrice Kordon
Didier Buchs
  • Fonction : Auteur
Samuel Charron
  • Fonction : Auteur

Résumé

Decision Diagrams are now widely used in model checking as extremely compact representations of state spaces. Many Decision Diagram categories have been developed over the past twenty years based on the same principles. Each one targets a specific domain with its own characteristics. Moreover, each one provides its own definition. It prevents sharing concepts and techniques between these structures. This paper aims to propose a basis for a common Framework for Decision Diagrams. It should help users of this technology to define new Decision Diagram categories thanks to a simple specification mechanism called Controller. This enables the building of efficient Decision Diagrams dedicated to a given problem.
Fichier non déposé

Dates et versions

hal-01292564 , version 1 (23-03-2016)

Identifiants

Citer

Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron. polyDD: Towards a Framework Generalizing Decision Diagrams. 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. pp.124-133, ⟨10.1109/ACSD.2010.17⟩. ⟨hal-01292564⟩
42 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More