Please wait a minute...
浙江大学学报(工学版)
J4  2004, Vol. 38 Issue (2): 135-140    
论文     
一种形式化构件集成语义的研究
李阳（浙江大学,计算机科学与工程学系,浙江,杭州,310027）　
吴朝晖（浙江大学,计算机科学与工程学系,浙江,杭州,310027）
 全文: PDF 
摘要：

提出了一种形式化的方法对软件构件集成行为进行描述,将构件接口作为线程进行研究,并将构件接口分为触发器和响应器.介绍了如何从线程的角度对同步、异步并行以及异步互斥情况下表达构件交互语义等.该方法克服了在构件集成过程中,构件接口交互语义难以描述的问题,能够更加直观、清楚、完整地描述接口交互的语义和系统集成的静态与动态特性.
关键词： 构件;  集成;  接口    
出版日期: 2004-02-25
基金资助:

国家"863"高技术计划资助项目(2001AA113142).
作者简介: 李阳(1978-),男,浙江杭州人,博士生,从事分布式网络构件体系结构和形式化语言研究.E-mail: lx11978122@hzcnc.com
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　
李阳
吴朝晖

引用本文:

李阳 吴朝晖. 一种形式化构件集成语义的研究[J]. J4, 2004, 38(2): 135-140.

LI Yang, TUN Chao-Hui. . J4, 2004, 38(2): 135-140.

链接本文:

http://www.zjujournals.com/xueshu/eng/CN/    或    http://www.zjujournals.com/xueshu/eng/CN/Y2004/V38/I2/135

[1] 周敏, 郑国磊, 郑祖杰. 基于模糊推理的飞机结构件平顶筋自动识别方法[J]. 浙江大学学报(工学版), 2018, 52(3): 591-598.
[2] 桂成中, 雷俊卿, 黄祖慰, 陈嵘. 外伸翼缘加劲钢箱形压弯构件屈曲特性试验[J]. 浙江大学学报(工学版), 2018, 52(2): 333-340.
[3] 周健, 石德晓. 基于中断应急的集成弹性供应链网络[J]. 浙江大学学报(工学版), 2018, 52(2): 240-246.
[4] 童基均, 李琳, 林勤光, 朱丹华. 采用平滑伪Wigner-Ville分布的SSVEP脑机接口系统[J]. 浙江大学学报(工学版), 2017, 51(3): 598-604.
[5] 王越, 苏宏业, 邵寒山, 卢山,谢磊. 需求与公用工程不确定的生产计划与调度集成[J]. 浙江大学学报(工学版), 2017, 51(1): 57-67.
[6] 张胜洲,孙玲玲,文进才,刘军. 漏/阻双模高性能D波段无源混频器[J]. 浙江大学学报(工学版), 2016, 50(9): 1815-1822.
[7] 郑翔,张寅升,黄震震,贾峥,段会龙,赵饮虹,李昊旻. 可扩展的临床决策支持应用集成架构[J]. 浙江大学学报(工学版), 2015, 49(9): 1658-1664.
[8] 窦亚冬,王青,李江雄 柯映林. 飞机数字化装配系统数据集成技术[J]. 浙江大学学报(工学版), 2015, 49(5): 858-865.
[9] 王继奎, 李少波. 基于真值发现的冲突数据源质量评价算法[J]. 浙江大学学报(工学版), 2015, 49(2): 303-318.
[10] 杨帮华,韩志军,王倩,何亮飞. 分形维数结合RLS-ICA的脑电信号消噪[J]. 浙江大学学报(工学版), 2014, 48(7): 1234-1240.
[11] 方锡武,刘振宇,谭建荣,程丰备. 异构有限元网格多场信息的等效集成方法[J]. 浙江大学学报(工学版), 2014, 48(6): 973-879.
[12] 蔡佩君, 邓之银, 王晓萍. 基于两电极体系检测水中微量汞[J]. J4, 2014, 48(2): 297-302.
[13] 张永顺,满达,郑鹏,郭建超,邓宗全,唐德威. 高集成三自由度解耦球型手腕[J]. 浙江大学学报(工学版), 2014, 48(11): 2025-2030.
[14] 陈越超, 周晓军, 杨辰龙, 李钊. L型CFRP构件R区微观形态及孔隙特征[J]. 浙江大学学报(工学版), 2014, 48(10): 1775-1880.
[15] 杨帮华, 何美燕, 刘丽, 陆文宇. 脑机接口中基于BISVM的EEG分类[J]. J4, 2013, 47(8): 1431-1436.