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 the behavior of a combination of several diagrams and as a bridge from UML models to animation and production code.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
OMG, Unified Modeling Language Specification, Version 1.4, September 2001, available at www.omg.org
S. Kent, A. Evans and B. Rumpe (Eds.) UML Semantics FAQ Available at www.univ-pau.fr/OOPSLA99/samplewr99.eps
Sabine Kuske, A Formal Semantics of UML State Machines Based on Structured Graph Transformations, UML2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Martin Gogolla and Cris Kobryn (Eds.)
Michael von der Beeck, Formalization of UML-Statecharts, UML2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Martin Gogolla and Cris Kobryn (Eds.)
Rik Eshuis and Roel Wieringa, An Execution Algorithm for UML Activity Graphs, UML2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Martin Gogolla and Cris Kobryn (Eds.)
Gérard Berry and Georges Gonthier, The Esterel Synchronous Programming Language: Design, Semantics, Implementation, Science of Computer Programming, 19/2, 1992
D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Tran. of Software Engineering and Methodology, 5(4), 1996
Edward A. Lee, Embedded Software, Advances in Computers, 56, 2002
Stephen J Melloer and Marc J Balcer, Executable UML, A Foundation for Model-Driven Architecture, Addison-Wesley, 2002
Ivan Porres, A Toolkit for Manipulating UML Models, Technical report, Turku Centre for Computer Science, 441, 2002
Dag Björklund, Johan Lilius and Ivan Porres, Towards Efficient Code Synthesis from Statecharts, pUML Workshop at UML2001
Dag Björklund and Johan Lilius, A Language for Multiple Models of Computation, Symposium on Hardware/Software Codesign 2002, ACM
OMG, XML Metadata Interchange Specification, Available at www.omg.org
Felice Balarin et al., Hardware-Software Co-Design of Embedded Systems, Kluwer Academic Publishers, 1997
Dag Björklund and Johan Lilius, From UML Behavioral Models to Efficient Synthesizable VHDL, Proceedings of the 20th IEEE Norchip Conference, 2002
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
Björklund, D., Lilius, J., Porres, I. (2004). A Unified Approach to Code Generation from Behavioral Diagrams. In: Grimm, C. (eds) Languages for System Specification. Springer, Boston, MA. https://doi.org/10.1007/1-4020-7991-5_2
Download citation
DOI: https://doi.org/10.1007/1-4020-7991-5_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7990-0
Online ISBN: 978-1-4020-7991-7
eBook Packages: Springer Book Archive