Sciweavers

Share
JUCS
2010

UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture

8 years 5 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is still challenging although MDA is currently able to cope with most syntactic and transformation definition issues. Moreover, the importance of rigorous specification and verification of the system is increasing, as the embedded software is more widely used for systems closely related to our life. Thus, this paper suggests behavior modeling views characterizing Platform-Independent Model (PIM) and Platform-Specific Model (PSM) behaviors and formal and verifiable models for them. In this, the PIM behavior is given from the view of the functionality of the software in Statecharts, whereas the PSM behavior is modeled from the view of a timed and resource-constrained behavior in TRoS, an extension of Statecharts in respect of time and resource constraints. Moreover, we provide an efficient way where PIM in Statechart...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le
Added 20 May 2011
Updated 20 May 2011
Type Journal
Year 2010
Where JUCS
Authors Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
Comments (0)
books