ProdProc Modeler


ProdProc Modeler is a software implemented in SWI-Prolog. It allows one to model a configurable product and its production process, to check model syntactic correctness, and to automatically generate product/process instances to check model validity.
download_ProdProc

ProdProc Modeler is distributed as a zip archive containing:
  • Source code
  • Example of ProdProc model
  • README file
  • License

ProdProc is a declarative constraint based framework, it has been presented in:

D. CAMPAGNA. A Graphical Framework for Supporting Mass Customization. In Proceedings of the IJCAI'11 Workshop on Configuration, pages 1-8, 2011.


A detailed description of ProdProc and ProdProc Modeler can be found in:

D. CAMPAGNA. Product and Production Process Modeling and Configuration. PhD thesis, Università degli Studi di Perugia, 2012.



SWI Prolog Google Protocol Buffers Library


protobufs is a SWI-Prolog library for the management of Google Protocol Buffers originally implemented by Jeffrey Rosenwald.
In collaboration with Tom Schrijvers I developed a complete new version of the protobufs library, increasing the supported functionality and drastically improving the performance.
This new version of the protobufs library is available in the SWI-Prolog GIT repository.


SAHA-Tool


SAHA-Tool is a software implemented in Objective Caml. It allows one to compute approximated solutions to the reachability problem in Semi-Algebraic Hybrid Automata, exploiting the miM-ra method.
download_SAHA

SAHA-Tool is distributed as a tar.gz archive containing:
  • Source code
  • README file
  • make_SAHA-Tool.sh script
  • License

The miM-ra method has been described in:

D. CAMPAGNA, C. PIAZZA. Hybrid Automata in Systems Biology: How Far Can We Go?. In: Int. Workshop From Biology to Concurrency and back (FBTC'08), volume 229 of Electronic Notes in Theoretical Computer Science, pages 93-108. Elsevier, 2009.