@inproceedings{e91e7df0b07549349a139406363584b7,
title = "A model of component-based programming",
abstract = "Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, and new functionality. Models of components are required to support black-box compositionality and substitutability by a third party as well as interoperability. However, the glue codes and programs designed by users of the components for new applications in general do not require these features, and they can be even designed in programming paradigms different from those of the components. In this paper, we extend the rCOS calculus of components with a model for glue programs and application programs that is different from that of components. We study the composition of a glue program with components and prove that the components glued by the glue program yield a new component.",
keywords = "Application programs, Components, Composition, Contracts, Glue codes, Protocols, Refinement",
author = "Xin Chen and Jifeng He and Zhiming Liu and Naijun Zhan",
year = "2007",
doi = "10.1007/978-3-540-75698-9\_13",
language = "英语",
isbn = "9783540756972",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "191--206",
booktitle = "International Symposium on Fundamentals of Software Engineering - International Symposium, FSEN 2007, Proceedings",
address = "德国",
note = "2nd IPM International Symposium on Fundamentals of Software Engineering, FSEN 2007 ; Conference date: 17-04-2007 Through 19-04-2007",
}