Framework for eXecutable UML

Examples

UML Model Examples - simple examples

(serialized UML model in XMI format)
Examples work with 2.0 or heigher version of the FXU.

Choice and junction pseudostates
History pseudostate
Fork and join pseudostates
Entry and exit point pseudostates
Transition priorities Test

UML Model Examples - using MARTE::Time profile

(serialized UML model with MARTE profile in XMI format)
Examples work with 3.0 or heigher version of the FXU.

4Stroke Engine Exemplary model
Dishwasher Exemplary model
Home Alarm model

Performance Benchmarks

ElectronicTreadmill - benchmark model with time events
Robot - benchmark model with call events

Statechart Benchmark

(serialized UML model with in XMI format and projects generated based on this model)

Benchmark - model
Benchmark - project generated using Rhapsody (Java)
Benchmark - project generated using FXU (C#)

Authors: Romuald Pilitowski; Marian Szczykulski; Łukasz Zaremba; Karol Redosz
The whole project is developed under the supervision of Anna Derezińska (2006-2018)
Institute of Computer Science, Warsaw University of Technology