| 一种形式化构件集成语义的研究 |
| |
| 引用本文： | 李阳,吴朝晖.一种形式化构件集成语义的研究[J].浙江大学学报(自然科学版 ),2004,38(2):135-140. |
| |
| 作者姓名： | 李阳 吴朝晖 |
| |
| 作者单位： | 李阳（浙江大学,计算机科学与工程学系,浙江,杭州,310027）
吴朝晖（浙江大学,计算机科学与工程学系,浙江,杭州,310027） |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 提出了一种形式化的方法对软件构件集成行为进行描述,将构件接口作为线程进行研究,并将构件接口分为触发器和响应器.介绍了如何从线程的角度对同步、异步并行以及异步互斥情况下表达构件交互语义等.该方法克服了在构件集成过程中,构件接口交互语义难以描述的问题,能够更加直观、清楚、完整地描述接口交互的语义和系统集成的静态与动态特性.
|
| 关 键 词： | 构件 集成 接口 |
| 文章编号： | 1008-973X(2004)02-0135-06 |
| 修稿时间： | 2003年7月21日 |
Research on formal semantics of component integration |
| |
| LI Yang,TUN Chao-Hui.Research on formal semantics of component integration[J].Journal of Zhejiang University(Engineering Science),2004,38(2):135-140. |
| |
| Authors: | LI Yang TUN Chao-Hui |
| |
| Abstract: | |
| |
| Keywords: | component integrate interface |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《浙江大学学报(自然科学版 )》浏览原始摘要信息 |
|
点击此处可从《浙江大学学报(自然科学版 )》下载全文 |
|
