Component Simulation-based Substitutivity Managing QoS Aspects

Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jérôme

doi:10.1016/j.entcs.2009.12.034

Cited by 7 publications

(5 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We would like to thank the anonymous referees and FACS'08 participants for their interesting and helpful comments and suggestions to improve and to develop the preliminary results in [33]. We are grateful to the anonymous SCP referees for their corrections, interesting comments and helpful advice to improve the preliminary version of this paper.…”

Section: Acknowledgementsmentioning

confidence: 90%

See 2 more Smart Citations

Component simulation-based substitutivity managing QoS and composition issues

Héam¹,

Kouchnarenko²,

Voinot³

2010

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

a b s t r a c tSeveral scientific bottlenecks have been identified in existing component-based approaches. Among them, we focus on the identification of a relevant abstraction for the component expression and verification of properties like substitutivity: when is it possible to formally accept or reject the substitution of a component in a composition? This paper suggests integer weighted automata to tackle this problem when considering a new factor -Quality of Service (QoS). Four notions of simulation-based substitutivity managing QoS aspects are proposed, and related complexity issues on integer weighted automata are investigated. Furthermore, the paper defines composition operators: sequential, strictsequential and parallel compositions, bringing path costs into the analysis. New results on the compatibility of proposed substitutivity notions w.r.t. sequential and parallel composition operators are established.

show abstract

Section: Acknowledgementsmentioning

confidence: 90%

“…Notice that the first contribution was presented in [33]. The second contribution is completely new.…”

Section: Contributionsmentioning

confidence: 93%

See 1 more Smart Citation

Component simulation-based substitutivity managing QoS and composition issues

Héam¹,

Kouchnarenko²,

Voinot³

2010

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…Nevertheless, simulation tests are often used to determine extra-functional properties of the components and their quality of services, which can also play a significant role in the designed component-based application. Some examples of such testing can be found in [2] and [3]. The testing of the software components is an important branch in contemporary research.…”

Section: Introductionmentioning

confidence: 99%

Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework

Lipka

et al. 2012

2012 38th Euromicro Conference on Software Engineering and Advanced Applications

View full text Add to dashboard Cite

Component-based software development is an important trend in software engineering. Using this approach, a system can be constructed from a set of individual components (i.e. pieces of software with defined interfaces and functionality). On deployment, components are usually not tested for their correct functionality since this is considered to be implied. Simulation tests are nevertheless often used to determine extra-functional properties and quality of services. However, only models of the components are usually used for such testing. In this paper, we present the SimCo -a simulation framework for testing of real software components in a simulation environment. This enables thorough tests of components without the need to create their (potentially incorrect) models. The SimCo itself is constructed from components as well in order to enable its modularity and usability. The utilization of the SimCo is demonstrated on a case study involving component-based application for the control of a road traffic crossroad.

show abstract

“…Simulation tests are often used to determine extra-functional properties of the components and quality of services [2], [3]. However, only models of components are used for testing in most cases [4].…”

Section: Introductionmentioning

confidence: 99%