DocumentCode :
2208536
Title :
Flexible Semantic-Preserving Flattening of Hierarchical Component Models
Author :
Leveque, Thomas ; Carlson, Jan ; Sentilles, Séverine ; Borde, Etienne
Author_Institution :
Malardalen Real-Time Res. Centre, Malardalen Univ., Vasteras, Sweden
fYear :
2011
fDate :
Aug. 30 2011-Sept. 2 2011
Firstpage :
31
Lastpage :
38
Abstract :
Hierarchical component models allow to better manage system design complexity compared to flat component models. However, many analysis techniques lack support for dealing with hierarchical models. This paper presents a general approach to use existing analysis on hierarchical component systems by means of a flattening transformation. The transformation can be partially applied, which provides a possibility for tradeoffs between analysis scalability, result precision and reusability concerns. The general approach has been implemented and evaluated in the context of ProCom, a hierarchical component model for real-time embedded systems. As a result, the paper describes a flattening transformation which preserves the ProCom operational semantics and presents the related optimizations.
Keywords :
embedded systems; object-oriented programming; software engineering; ProCom; flexible semantic preserving flattening transformation; hierarchical component systems; real-time embedded systems; Analytical models; Complexity theory; Computational modeling; Connectors; Optimization; Scalability; Semantics; analysis; model; transformation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Advanced Applications (SEAA), 2011 37th EUROMICRO Conference on
Conference_Location :
Oulu
Print_ISBN :
978-1-4577-1027-8
Type :
conf
DOI :
10.1109/SEAA.2011.15
Filename :
6068319
Link To Document :
بازگشت