A unified approach to code generation from behavioral diagrams

Authors:
Dag Björklund;Johan Lilius;Ivan Porres
Affiliations:
Turku Centre for Computer Science (TUCS), Department of Computer Science, Åbo Akademi University, Lemminkäisenkatu 14 A, FIN-20520;Turku Centre for Computer Science (TUCS), Department of Computer Science, Åbo Akademi University, Lemminkäisenkatu 14 A, FIN-20520;Turku Centre for Computer Science (TUCS), Department of Computer Science, Åbo Akademi University, Lemminkäisenkatu 14 A, FIN-20520
Venue:
Languages for system specification
Year:
2004

Citing 9
Cited 3

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Hardware-software co-design of embedded systems: the POLIS approach

Hardware-software co-design of embedded systems: the POLIS approach
Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
A Formal Semantics of UML State Machines Based on Structured Graph Transformation

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An Execution Algorithm for UML Activity Graphs

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Formalization of UML-Statecharts

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Towards Efficient Code Synthesis from Statecharts

Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
A language for multiple models of computation

Proceedings of the tenth international symposium on Hardware/software codesign

Statechart Features and Pre-Release Defects in Software Maintenance

VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Statechart features and pre-release maintenance defects

Journal of Visual Languages and Computing
Code generation for a family of executable modelling notations

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article we show how to use the Rialto intermediate language, to capture the semantics of UML behavioral diagrams. The Rialto language has a formal semantics given as structural operational rules and it supports semantic variations. It can be used to uniformly describe thc behavior of a combination of several diagrams and as a bridge from UML models to animation and production code.