We give some technical implementation details.
- Language
- C++ (standard).
- Compiler
- Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 12.xx.xxxx.
- Additional libraries
- Xerces-C++ 2.7.0 (a validating XML parser written in a portable subset of C++); maple.h (Open Maple).
- Code statistics
- ~9 klines (~5klines of pure code).
- Documentation
- Doxygen 1.4.5.
- Operating systems
- Windows XP (however C++ code and Xerces-C should be portable to other operating systems, Open Maple portability was not investigated).
- Diff. equations solver
- Maple 9.5.
- Input format
- Behavioural Hybrid Process Calculus in the internal format provided by BHPCC (\BHPC~compiler)~\citep{Put06}
- Output format
- text file, with tabulation symbol separated columns containing time, values and actions.
- Visualisation
- plots were produced using Microsoft (R) Excel 2003 XY(Scatter) routine of Chart Wizard.
Other
For further information contact us behave -at- utwente.nl (please replace the -at- by an @)