【摘 要】
：
软件演化过程是近年来软件工程领域的研究热点,Osterweil认为“软件过程也是软件”,软件演化过程作为软件过程的一个分支也可以像软件一样建模和验证。而由于软件过程的实施
论文部分内容阅读
软件演化过程是近年来软件工程领域的研究热点,Osterweil认为“软件过程也是软件”,软件演化过程作为软件过程的一个分支也可以像软件一样建模和验证。而由于软件过程的实施通常有人为参与,软件过程的实际实施行为是否与软件过程模型的规约行为相一致成为了研究重点。在软件演化过程中,不确定性、层次性和并发性是很重要的特征。正是由于“软件过程也是软件”,并发环境下的软件演化过程中也存在并发系统中的交互行为,交互行为实际上是从更细粒度的角度来讨论软件演化过程中各层计算实体(任务、活动、过程)的底层通信行为。软件演化过程中顶层行为的正确性是建立在底层通信行为(交互行为)正确的基础之上,因此对软件演化过程中交互行为的建模和验证也是一个重要任务。本文侧重于软件演化过程中交互行为建模,为后续交互行为验证研究提供理论基础。目前,对软件演化过程行为的研究多集中在顶层的过程执行行为上,多以讨论过程的执行行为的形式化建模和验证方法为主,而对底层的通信行为讨论较少。由于软件演化过程就是一个复杂的并发系统,底层通常存在着复杂的交互行为,且顶层行为的正确性是建立在底层交互行为的正确性基础之上。因此本文以软件演化过程元模型(EPMM)为基础,以π-演算为交互行为的形式化建模手段,进行了如下工作：(1)本文分析了软件演化过程中的交互行为和需要讨论的主要问题。(2)本文分析了在活动内部任务间的交互行为,提出了使用π-演算对活动内部的交互行为进行形式化建模的方法。包括基本交互行为和结构化行为建模。(3)本文分析了在过程内部活动间的交互行为,提出了使用π-演算对过程内部活动间交互行为进行形式化建模的方法。其中,由于经典π-演算是基于同步交互的,本文引入了缓存区进程来对活动间异步交互行为进行形式化建模。(4)本文最终给出了支持描述活动内部交互和过程内部活动间交互行为,并支持描述活动对象的创建与销毁行为的形式化模型。(5)基于π-演算工具-移动工作平台(MWB),进行了实验和案例分析。
其他文献
本文研究了Ricci曲率有界的完备黎曼流形的自由路径空间上的随机分析。其中我们主要研究了其上的分部积分公式和Log-Sobolev不等式。首先对于Ricci曲率有界的黎曼流形上初始
随着化石资源的枯竭,风能逐渐受到了人们的关注。而海上风电场相比陆地风电场其效率更高,建设成本更低,因此更受到人们的青睐。通过交流输电联结海上风电场具有一些缺点:功率
随着能源短缺和环境污染问题日益凸显,新能源汽车成为了未来汽车的发展方向,其中,插电式混合动力汽车既能够大幅度降低燃油消耗和排放,同时还有较长的续航里程,在当前阶段具
拓扑熵是刻划系统动力学复杂性的一个重要特征量，且是度量熵的上界。在通常的求拓扑熵的方法中，常用Stefan转移矩阵和Milnor-Thurston特征多项式。但是，这两种方法在计算和理解
油田广泛使用的游梁式抽油机系统中,电动机带有周期性变化的负载,针对这种特殊负载的断续供电节能控制策略,目前已经得到了实际应用。但是,由于受到控制策略和处理器性能的限制,断续供电过程中,电动机转速发生大范围的波动,定子绕组中冲击电流频繁出现,这些都是有待解决的问题。为此,本文分析了变工况条件下抽油机电机系统的能量流动规律,提出了改进策略：为了解决转速问题,首先实现了对功率的直接监测,然后通过提前断电
作为自然界和人工系统中广泛存在的一类系统，多个体系统是由若干能够在邻居间相互通信的节点构成的。每个节点都有自己的演化规律，通过网络上的相互联系，最终能够完成一个共同的
本文应用简单巨系统理论建立数学模型，研究系统的演化机制。模型描述的实际情况为：传染病在被捕食者中传播，使被捕食者种群由易感类和传染类组成，传染类被捕食者由于患病更易被
地理信息系统(GIS)是融合计算机图形和数据库于一体,用来存储和处理空间信息的高新技术,它把地理位置和相关属性有机地结合起来,根据用户的需要将空间信息及其属性信息准确真
世界经济发展的历史已经雄辩地证明:技术创新是人类财富之源,是经济发展的巨大动力。在不同的经济发展阶段,技术创新都一直推动着经济的发展,尽管在各个阶段发展的方向和表现的形态有所不同。伴随着以知识为基础的经济增长时代的来临,知识密集型产业在产业结构中的比重日趋上升,知识对经济增长的贡献日益增大,知识在经济发展过程中发挥着越来越关键的作用。科学技术仍然是推动经济发展的第一生产力。 经济的高速发展给