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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Dang Van, H., Truong, H.: Modeling and specification of real-time interfaces with UTP. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 136–150. Springer, Heidelberg (2013)
Eskenazi, E., Fioukov, A., Hammer, D., Chaudron, M.: Estimation of static memory consumption for systems built from source code components. In: 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (2002)
Fioukov, A.V., Eskenazi, E.M., Hammer, D.K., Chaudron, M.R.V.: Evaluation of static properties for component-based architectures. In: Proceedings of 28th EUROMICRO Conference, Component-based Software Engineering Track, pp. 33–39. IEEE Computer Society Press (2002)
Jonge, M.D., Muskens, J., Chaudron, M.: Scenario-based prediction of run-time resource consumption in component-based software systems. In: Proceedings of the 6th ICSE Workshop on Component-based Software Engineering, CBSE6. IEEE (2003)
Muskens, J., Chaudron, M.R.V.: Prediction of run-time resource consumption in multi-task component-based software systems. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 162–177. Springer, Heidelberg (2004)
Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: On relational interfaces. In: Chakraborty, S., Halbwachs, N. (eds.) EMSOFT, pp. 67–76. ACM, New York (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Nguyen, T.D. (2016). Memory Resource Estimation of Component-Based Systems. In: Vinh, P., Alagar, V. (eds) Context-Aware Systems and Applications. ICCASA 2015. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 165. Springer, Cham. https://doi.org/10.1007/978-3-319-29236-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-29236-6_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29235-9
Online ISBN: 978-3-319-29236-6
eBook Packages: Computer ScienceComputer Science (R0)