A framework for reasoning on component composition
Article
Henrio, L., Kammueller, F. and Khan, M. 2010. A framework for reasoning on component composition. Lecture Notes in Computer Science. 6286, pp. 1-20. https://doi.org/10.1007/978-3-642-17071-3_1
Type | Article |
---|---|
Title | A framework for reasoning on component composition |
Authors | Henrio, L., Kammueller, F. and Khan, M. |
Abstract | The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component compo- sition is well understood formally but existing works do not allow for mechanised reasoning on composition and component reconfigurations, whereas a mechanical support would improve the confidence in the ex- isting results. This article presents the formalisation in Isabelle/HOL of a component model, focusing on the structure and on basic lemmas to handle component structure. Our objective in this paper is to present the basic constructs, and the corresponding lemmas allowing the proof of properties related to structure of component models and the handling of structure at runtime. We illustrate the expressiveness of our approach by presenting component semantics, and properties on reconfiguration primitives. |
Research Group | Artificial Intelligence group |
Foundations of Computing group | |
Publisher | Springer |
Journal | Lecture Notes in Computer Science |
ISSN | 0302-9743 |
Publication dates | |
2010 | |
Publication process dates | |
Deposited | 10 Jan 2011 |
Output status | Published |
Copyright Statement | Authors manuscript as permitted by publisher |
Additional information | Conference information: Formal Methods for Components and Objects, 8th International Symposium, FMCO 2009. Held at Eindhoven, The Netherlands, November 4-6, 2009. |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-642-17071-3_1 |
Language | English |
Series | LNCS |
File |
https://repository.mdx.ac.uk/item/83113
Download files
45
total views7
total downloads1
views this month0
downloads this month