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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/SEAA.2011.15 | EUROMICRO-SEAA |
Keywords | Field | DocType |
procom operational semantics,hierarchical component system,flattening transformation,analysis technique,flat component model,analysis scalability,hierarchical component model,existing analysis,general approach,hierarchical component models,flexible semantic-preserving flattening,hierarchical model,component model,transformation,reusability,design,computer programming languages,embedded systems,real time systems,operational semantics,analysis,systems analysis,semantics,object oriented programming,software engineering | Operational semantics,Flattening,Object-oriented programming,Computer science,Systems analysis,Systems design,Theoretical computer science,Real-time computing,Hierarchical database model,Reusability,Scalability,Distributed computing | Conference |
ISSN | Citations | PageRank |
1089-6503 | 4 | 0.48 |
References | Authors | |
8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Leveque | 1 | 71 | 8.01 |
Jan Carlson | 2 | 49 | 4.68 |
Severine Sentilles | 3 | 147 | 7.93 |
Etienne Borde | 4 | 69 | 11.18 |