Skip to main content
Article thumbnail
Location of Repository

XX Fusing Statecharts and Java

By 

Abstract

This paper 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 paper 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. Categories and Subject Descriptors: C.2 [Special-purpose and application-based systems]: Real-tim

Topics: and embedded systems, I.6.5 [Simulation and Modeling, Model Development, D.2.2 [Software Engineering, Design Tools and Techniques, D.3.3 [Language Constructs and Features, Control Structures General Terms, Languages, Design, Theory Additional Key Words and Phrases, Embedded Systems, Programming Languages, Modeling, State-charts ACM Reference Format
Year: 2014
OAI identifier: oai:CiteSeerX.psu:10.1.1.411.9067
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://software.imdea.org/~ces... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.