中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 会议论文
题名:
component publications and compositions
作者: Zhan Naijun ; Kang Eun Young ; Liu Zhiming
会议文集: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议名称: 2nd International Symposium on Unifying Theories of Programming
会议日期: SEP 08-10,
出版日期: 2010
会议地点: Dublin, IRELAND
关键词: Contracts ; Components ; Component Publications ; Composition
出版者: UNIFYING THEORIES OF PROGRAMMING
出版地: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
ISSN: 0302-9743
ISBN: 978-3-642-14520-9
部门归属: Zhan, Naijun CAS, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China.
主办者: Trinity Coll Dublin, Sch Comp Sci & Stat
英文摘要: 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.
内容类型: 会议论文
URI标识: http://ir.iscas.ac.cn/handle/311060/8698
Appears in Collections:计算机科学国家重点实验室 _会议论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
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,.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Zhan Naijun]'s Articles
[Kang Eun Young]'s Articles
[Liu Zhiming]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Zhan Naijun]‘s Articles
[Kang Eun Young]‘s Articles
[Liu Zhiming]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace