Artifact Description:
UML-RT is a UML profile for real-time and embedded systems, supported by IBM's Rational Software Architect - Real-Time Edition. kiltera is a language for concurrent, mobile and real-time systems based on the pi-calculus. This archive contains a transformation from UML-RT models into kiltera models for analysis and simulation.
The archive contains:
- A model transformation from UML-RT models to kiltera
- Some sample UML-RT models, generated kiltera code and intermediate representation
- The meta-models for the intermediate representation (a subset of UML-RT) and kiltera models