Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
Abstract
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process addresses the existing scalability problems by a proper decomposition and allows the user to define particular restrictions on the resulting statecharts.
BibTeX
@inproceedings{Henkler-al:ICSE09,
author = {Stefan Henkler and
Joel Greenyer and
Martin Hirsch and
Wilhelm Sch{\"{a}}fer and
Kahtan Alhawash and
Tobias Eckardt and
Christian Heinzemann and
Renate L{\"{o}}ffler and
Andreas Seibel and
Holger Giese},
title = {Synthesis of timed behavior from scenarios in the Fujaba {Real-Time} Tool Suite},
booktitle = {ICSE},
pages = {615--618},
publisher = {{IEEE}},
year = {2009},
}