Implementing Reactive Systems with UML State Machines and Ada 2005 Export

@incollection{citeulike:4918787, abstract = {Reactive systems are complex systems which behavior can be adequately modeled using the statechart formalism. The UML standard enriches this formalism with object-oriented concepts. However, manual transformation of these expressive models to object-oriented languages is an error-prone process. Model-Driven Engineering approach advocates for an automatic process to translate models into high-level programing languages. This work deals with the conversion of UML State Machines models into Ada 2005 code and the challenges that arise in this process.}, author = {S\'{a}ez, Sergio and Terrasa, Silvia and Lorente, Vicente and Crespo, Alfons}, citeulike-article-id = {4918787}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-642-01924-1_11}, citeulike-linkout-1 = {http://www.springerlink.com/content/y8650v0877x3m122}, doi = {10.1007/978-3-642-01924-1_11}, journal = {Reliable Software Technologies – Ada-Europe 2009}, keywords = {2009, ada, reactive\_systems, statecharts}, pages = {149--163}, posted-at = {2009-06-20 18:04:53}, priority = {2}, title = {Implementing Reactive Systems with UML State Machines and Ada 2005}, url = {http://dx.doi.org/10.1007/978-3-642-01924-1_11}, year = {2009} }

TY - CHAP ID - citeulike:4918787 L3 - citeulike-article-id:4918787 N2 - Reactive systems are complex systems which behavior can be adequately modeled using the statechart formalism. The UML standard enriches this formalism with object-oriented concepts. However, manual transformation of these expressive models to object-oriented languages is an error-prone process. Model-Driven Engineering approach advocates for an automatic process to translate models into high-level programing languages. This work deals with the conversion of UML State Machines models into Ada 2005 code and the challenges that arise in this process. JF - Reliable Software Technologies – Ada-Europe 2009 EP - 163 TI - Implementing Reactive Systems with UML State Machines and Ada 2005 SP - 149 KW - 2009 KW - ada KW - reactive_systems KW - statecharts AU - Sáez, Sergio AU - Terrasa, Silvia AU - Lorente, Vicente AU - Crespo, Alfons PY - 2009/// UR - http://dx.doi.org/10.1007/978-3-642-01924-1_11 ER -