基于形式化构件集成的研究

来源 :信息通信 | 被引量 : 0次 | 上传用户:deiseng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件构件技术目前已经成为软件复用的关键技术之一,文章提出一种比较正式的用来描述软件构件集成行为的方式。并将其作为线程用作语义研究,介绍如何从同步并行和异步并行的角度来研究如何进行构件交互。文章从构件描述语言、构件动作、集成与构件库运维等方面来具体阐述,可以更加直观、清楚、完整地说明构件互动的静态和动态特性。
其他文献
本文主要研究将数据库技术用于核动力装置的故障诊断及运行管理,并对该运行支持数据库的应用做了有益的探索。 核动力装置运行过程中,由于其运行环境复杂,影响其正常运行的因
目的:探讨复芪止汗颗粒对小鼠非特异性免疫和特异性免疫的调节作用。方法:取正常昆明种小鼠40只,雌雄各半,随机分为4组,正常对照组、环磷酰胺模型组、黄芪颗粒组和复芪止汗颗
农业信息技术对引领和支撑现代农业发展发挥了重要的作用。文章介绍了农业信息技术的内涵,回顾了国内外农业信息技术发展的4个主要发展阶段,分析了中国农业信息技术发展存在
南宋初期,宋高宗偏安东南一隅,建都临安,把中原广阔的土地拱手相让给金人。丧失了文化中心的南宋王朝,面对的核心问题是如何确立政权的合法地位。华夷之辨再次成为士人们考虑
UV油墨由于干燥速度快、无污染、印刷质量高等优点,在印刷行业正在被越来越广泛的应用。在UV油墨中,固化速度是一个比较重要的问题。UV油墨的固化,是依靠光引发剂吸收辐射能后形
在改革开放的政治实践进程中,中国特色社会主义政治价值的基本规定和基本内容得以彰显。中国特色社会主义政治价值是马克思科学社会主义中国化的新境界,是中国人民对政治生活本
本选题是基于2012年云南省教育厅立项的“视觉传达专业对地方文化和经济发展的实效性提升研究”教学改革研究项目展开的研究。结合自身的设计实践及设计交流,深刻感觉到社会对
随着冻干食品的大量涌现,使得真空冷冻干燥技术快速的发展。本文以市场上常见的胡萝卜、土豆和生姜等冻干物料为研究对象,进行了大量的实验研究,测定了物料的共晶点、共熔点温度
改革开放以来,在中国共产党领导下,我们主动参与全球化,走出一条全新的有中国特色的社会主义发展道路。立足于全球化发展的客观现实,我们要正确看待中国社会发展过程中所面临的一
食品追溯是保障食品安全的重要手段之一,本文通过分析国内外关于食品追溯的研究现状,为食品追溯未来建设工作重点与方向提供参考。本文从追溯理论、追溯技术、追溯主体行为决