component publications and compositions | |
Zhan Naijun ; Kang Eun Young ; Liu Zhiming | |
2010 | |
会议名称 | 2nd International Symposium on Unifying Theories of Programming |
会议日期 | SEP 08-10, |
会议地点 | Dublin, IRELAND |
关键词 | Contracts Components Component Publications Composition |
页码 | 238-257 |
英文摘要 | One of the major issues in component-based design is how to use a component correctly in different applications according to the given interface specification, called the publication, of the component. In this paper we formulate this as the problem of component publication composition and refinement. We define the notion of publications of components that describes how a component can be used by a third party in building their own components or in writing their applications without access to the design or the code of the component. It is desirable that different users of the components can be given different publications according to their need. The first contribution of this paper is to provide a procedure, which calculates a weakest contract of the required interface of a component from the contract of its provided interface and its code. The other contribution, that is more significant from a component-based designers point of view, is to define composition on publications so that the publication of a composite component can be calculated from those of its subcomponents. For this we define a set of primitive composition operators over components, including renaming, hiding, internalizing, plugging and feedback. This theory is presented based on the sematic model of rCOS, a refinement calculus of component and object systems. |
会议主办者 | Trinity Coll Dublin, Sch Comp Sci & Stat |
会议录 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
![]() |
会议录出版者 | UNIFYING THEORIES OF PROGRAMMING |
会议录出版地 | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
ISSN号 | 0302-9743 |
ISBN号 | 978-3-642-14520-9 |
内容类型 | 会议论文 |
源URL | [http://124.16.136.157/handle/311060/8698] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
推荐引用方式 GB/T 7714 | Zhan Naijun,Kang Eun Young,Liu Zhiming. component publications and compositions[C]. 见:2nd International Symposium on Unifying Theories of Programming. Dublin, IRELAND. SEP 08-10,. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论