polyDD: Towards a Framework Generalizing Decision Diagrams
| Autor: | Emmanuel Paviot-Adet, Alban Linard, Fabrice Kordon, Samuel Charron, Didier Buchs |
|---|---|
| Přispěvatelé: | Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2010 |
| Předmět: |
Theoretical computer science
Decision engineering Computer science Decision tree Story-driven modeling 02 engineering and technology Decision rule 020202 computer hardware & architecture Formal specification Business decision mapping 0202 electrical engineering electronic engineering information engineering Influence diagram 020201 artificial intelligence & image processing [INFO]Computer Science [cs] Decision analysis |
| Zdroj: | ACSD |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|