OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Specification of Decision Diagram Operations

Hamez, Alexandre and Hostettler, Steve and Linard, Alban and Marechal, Alexis and Paviot-Adet, Emmanuel and Risoldi, Matteo Specification of Decision Diagram Operations. (2010) In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 22 June 2010 - 22 June 2010 (Braga, Portugal).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://ceur-ws.org/Vol-827/33_AlexandreHamez_article.pdf


Decision Diagrams (DDs) are a well populated family of data structures, used for efficient representation and manipulation of huge data sets. Typically a given application requires choosing one particular category of DDs, like Binary Decision Diagrams (BDDs) or Data Decision Diagrams (DDDs), and sticking with it. Each category provides a language to specify its operations. For instance, the operation language of BDDs provides if-then-else, apply, etc. We focus on two main kinds of operation languages: BDD-like and DDD- like. They overlap: some operations can be expressed in both kinds of languages, while others are only available in one kind. We propose in this article a critical comparison of BDD-like and DDD- like languages. From the identified problems, we also propose a unified language for DD operations. It covers both BDD-like and DDD-like lan- guages, and even some operations that cannot be expressed in either.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Université Pierre et Marie Curie, Paris 6 - UPMC (FRANCE)
Other partners > Université de Genève (SWITZERLAND)
Laboratory name:
Deposited On:27 Feb 2015 15:53

Repository Staff Only: item control page