Fusing statecharts and java

Producción científica: Artículo en revista indizadaArtículorevisión exhaustiva

Resumen

This article presents FUSE, an approach for modeling and implementing embedded software components which starts from a main-stream programming language and brings some of the key concepts of Statecharts as first-class elements within this language. Our approach provides a unified programming environment which not only preserves some of the advantages of Statecharts' formal foundation but also directly supports features of object-orientation and strong typing. By specifying Statecharts directly in FUSE we eliminate the out-of-synch between the model and the generated code and we allow the tuning and debugging to be done within the same programming model. This article describes the main language constructs of FUSE and presents its semantics by translation into the Java programming language. We conclude by discussing extensions to the base language which enable the efficient static checking of program properties.

Idioma originalInglés
Número de artículo45
PublicaciónTransactions on Embedded Computing Systems
Volumen12
N.ºSUPPL1
DOI
EstadoPublicada - mar 2013
Publicado de forma externa

Huella

Profundice en los temas de investigación de 'Fusing statecharts and java'. En conjunto forman una huella única.

Citar esto