A Mozart implementation of CP(BioNet)
| Autor: | Grégoire Dooms, Yves Deville, Pierre Dupont |
|---|---|
| Přispěvatelé: | UCL - FSA/INGI - Département d'ingénierie informatique |
| Jazyk: | angličtina |
| Rok vydání: | 2005 |
| Předmět: |
Theoretical computer science
Graph Domain Variables Computer science Mozart Constrained Path Finding Constraint satisfaction Path Constraint Expression (mathematics) Domain (software engineering) Constraint Programming Constraint (information theory) Oz Constraint graph Constraint logic programming Path (graph theory) Constraint programming |
| Zdroj: | Lecture Notes in Computer Science, Vol. 3389, p. 237-250 (2005) Multiparadigm Programming in Mozart/Oz ISBN: 9783540250791 MOZ |
| Popis: | The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of analyses and their computation, we introduced CP(BioNet), a constraint programming framework for the analysis of biochemical networks. An Oz-Mozart prototype of CP(BioNet) is described. This prototype consists of the implementation of a new kind of domain variables, graph domain variables, and the implementation of constraint propagators for constraints over graph-domain variables. These new variables and constraints are implemented in Oz and they can then be used like other domain variables in the Oz-Mozart platform. An implementation of a path constraint propagator is described in depth and constrained path finding tests are analysed to assess the tractability of our approach. Finally, an alternative Oz-Mozart data-structure for the graph-domain variables is presented and compared to the first one. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|