【摘 要】
：
描述动态体系结构的关键在于如何刻画软件的动态行为.基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL（dynamic architecture description language）.在D-ADL中,构件
【机 构】
：
浙江大学计算机软件研究所,湖南工业大学计算机系
【基金项目】
：
国家自然科学基金;湖南省自然科学基金;霍英东青年教师基金~~
论文部分内容阅读
描述动态体系结构的关键在于如何刻画软件的动态行为.基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL（dynamic architecture description language）.在D-ADL中,构件、连接件和体系结构风格被模型化为高阶多型π演算中的抽象（abstraction）类型,系统行为被模型化为进程（process）,构件和连接件的交互点则被模型化为通道（channel）.为方便系统变更逻辑的编写、修改和理解,D-ADL将动态行为从计算行为中分离出来,显式、集中地表达.由于动态行
其他文献
编者按:9月14日,最高人民法院公布了《关于审理劳动争议案件适用法律若干问题的解释(三)》,对劳动争议案件的受案范围、诉讼主体、加班事实的举证责任、终局裁决的认定标准、仲裁与诉讼的相互衔接机制等五方面内容进行了规定。为了领会该司法解释精神,我们约请有关专家对此进行了解读。 一、三类案件纳入法院受案范围 1、社会保险争议将有区别地纳入人民法院受案范围。《调解仲裁法》确定了社会保险争议属于劳动
随着信息时代的蓬勃发展,多媒体通信技术在生产、生活中发挥着越来越重要的作用。人工智能等热点技术的迅猛发展,为多媒体通信领域带来了新的机遇与挑战,面对人工智能环境的
对基于成果导向教育理念的教育方法进行了研究和分析,以使学生灵活掌握知识和培养学生工程思维能力为目标,针对南京航空航天大学电气工程及其自动化专业的"信号与线性系统"课
传统的自然场景文字检测方法所采用的手工设计特征在应对复杂自然场景时缺乏鲁棒性。针对复杂自然场景中的多方向文字检测问题,提出了一种新的基于深度学习文字检测方法,采用全卷积网络(Fully Convolutional Networks,FCN)并融合多尺度文字特征图,结合语义分割的方法分割文字候选区域,利用分割得到的文字候选区域直接获取文字候选检测框并进行扩大补偿处理,对文字候选检测框进行后处理得到最
毕业生就业指导是一项融思想性、政策性、技术性为一体的系统工作,已经逐渐取代原来的事务性、服务性工作,成为目前新形势下就业工作新的工作重点。
目前,计算机类专业程序与算法设计类课程存在程序实践形式落后、实践教学缺乏激励措施、学科竞赛与课程教学脱节等问题。以在线程序实践和程序设计竞赛为双核驱动,重构程序与
医院获得性呼吸道感染是在医院就医的病人在院内发生了急性呼吸道感染，是属于院内感染。为了解门急诊医护人员作为易感染者的流行病学发病情况，探讨如何进行有效地防治措施和自