Research Article
Memory Resource Estimation of Component-Based Systems
313 downloads
@INPROCEEDINGS{10.1007/978-3-319-29236-6_8, author={Trinh Nguyen}, title={Memory Resource Estimation of Component-Based Systems}, proceedings={Context-Aware Systems and Applications. 4th International Conference, ICCASA 2015, Vung Tau, Vietnam, November 26-27, 2015, Revised Selected Papers}, proceedings_a={ICCASA}, year={2016}, month={4}, keywords={Estimation of memory resources Resource estimation component-based systems Model compositions Interface based designs Interface compositions}, doi={10.1007/978-3-319-29236-6_8} }- Trinh Nguyen
Year: 2016
Memory Resource Estimation of Component-Based Systems
ICCASA
Springer
DOI: 10.1007/978-3-319-29236-6_8
Abstract
Traditional relational interface theory focuses on expressing functional aspects of software components. We extend the theory by adding resource specification to reason for the quality of composite components in terms of resource efficiency. For practical application, we instantiate interface using automata and present algorithms to check if a component system met the predefined resource requirements. In particular, we can answer if a component can be plugged into an environment of whether it is a refinement of another component.
Copyright © 2015–2025 ICST
