CEPDL:一个简约的软件演化过程建模语言

随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process Description Language),定义了CEPDL的语法,并给出了案例研究.CEPDL可以作为模型验证工具的输入语言,能够描述软件演化过程模型,同时描述基于线性时序逻辑的过程模型规约,为最终应用模型检测方法实现对软件演化过程模型的动态性质及行为的验证提供基础.

钢结构梁柱加固节点框架损伤演化过程数值模拟分析

为研究不同因素对钢结构梁柱加固节点框架演化过程损伤的影响,选择4个钢结构梁柱加固节点框架试件作为实验对象,在其他条件不变基础上,改变试件轴压比、钢盖板厚度以及混凝土强度,用ABAQUS软件对钢结构梁柱加固节点框架进行模拟,观察损伤演化过程的应力云图情况,并对屈服位移与峰值位移进行统计。结果表明:轴压比以及钢盖板厚度对受力性能影响不大,混凝土强度对受力性能影响较大,并且随着混凝土强度的增加,钢结构梁柱加固节点框架的承载力也在增加,在节点框架设计时,应适当增加混凝土强度,提高节点框架承载力。

一种支持软件演化过程描述语言的编译器的设计分析

软件演化过程描述语言是一种面向对象的可视化建模语言.使用软件演化过程描述语言,在建模过程中不仅可以建立整体的软件演化框架,还能以极强的描述能力在不同的抽象层次上描述演化过程.软件演化过程描述语言编译器作为软件演化过程的CASE环境的基础,基于Java的软件演化过程描述语言编译器的设计思想和实现方案,可以有效解决编译器平台性问题,具有良好的扩展性.

浅析软件演化过程描述语言的作用及特点

在整个软件生命周期中,软件演化已成为其中一个日益重要的研究方向.软件演化过程用来建立软件演化的整体任务框架,可以提高软件演化的效率,但其描述力不足,难以在计算机中实现.软件演化过程描述语言作为面向对象的形式化建模语言,其较强的描述力和易于在计算机中实现的特性,使它可以在不同的抽象层次上描述演化过程,且有利于对软件演化过程的控制、分析、度量和改进.

软件演化过程描述语言中继承语法的编译实现

软件演化过程描述语言对软件演化过程进行形式化的建模,更容易描述软件过程并在计算机中实现.软件演化过程描述语言的语法描述明确定义了有继承特性的软件过程和活动,继承是整个软件演化过程描述语言的重点之一.本文阐述了软件过程和活动在软件演化过程描述语言编译器中的实现方法,是整个编译器的核心,并为编译器的实现提供了理论基础.

浅析软件演化过程描述语言的作用及特点

作为一种具有良好描述能力的形式化建模语言,软件演化过程描述语言能够准确的对演化过程进行详细的描述。采用软件演化过程描述语言对演化过程进行描述,不仅能够从不同抽象层次上进行描述,而且便于控制、分析和改进演化过程。基于此,本文就软件演化过程描述语言的作用及特点进行分析研究。

一种软件演化过程模型的代数语义

随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．

一种面向同步交互的软件演化过程建模方法

全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM^([10])定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。

一个支持软件并行工程的过程建模语言

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言SDDML和基于SDDML的过程建模方法。SDDML基于Petri网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程中软件过程的控制、分析、评估和优化奠定了基础。

一种基于过程构件的软件演化过程设计方法

软件构件技术已成为软件开发的一种重要方法,同样过程构件技术在软件过程设计中也起着重要作用。过程构件技术对于提高软件过程的设计效率,增强过程的可复用性以及保证软件过程的质量有着十分重要的意义。主要针对软件演化过程(SEP)的设计,提出一种基于过程构件的过程设计方法,通过对过程构件和连接件进行连接与组装,最后得到以Petri网形式描述的软件演化过程模型。

基于改进EPMM软件演化过程时间约束的分析研究

软件演化过程的时间约束对于演化过程能否按时完成以及如何决策软件演化过程执行路线具有极其重要的意义,而目前的过程建模往往忽略时间因素对于演化过程的约束,致使无法在过程模型中对时间因素进行分析与研究。针对这一不足,同时考虑时延Petri网的时间相关性以及变迁的瞬时性,首先对EPMM(Evolution Process Meta-Model)的过程层进行改进,为过程模型中的条件添加时间权值,提出了一种能够对演化过程中的时间因素进行描述的基于时延的演化过程元模型TEPMM(Timed EvolutionProcess Meta-Model),并基于TEPMM给出计算演化过程的最短完成时间的算法和含有反馈路线的过程模型的时间规划函数,通过该规划函数可以对演化过程模型中的时间相关性进行分析与研究。

基于关联矩阵的软件演化过程结构验证

软件演化过程领域将软件演化和软件过程领域联系起来,为了适应新的需求和新的环境,越来越多的软件演化过程模型被建模出来。针对软件演化过程模型结构合理性验证还没有有效实现的问题,对基于白盒建模的软件演化过程模型的结构性质进行了验证,其中包括结构有界性、可重复性和守恒性等,采用了关联矩阵的方法,证明了通过白盒建模得到的软件演化过程模型自身具备着非常优良的结构性质,提高了软件演化过程的质量。

一种基于Bigraph理论的软件演化过程模型研究

基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构,使用Bigraph反应系统来描述软件演化过程模型的动态变化,最后对软件演化过程模型动态调整后的完整性进行了验证。

支持软件演化过程的知识库

软件演化过程是当今软件工程研究的一个重要课题,一些支持软件演化过程的策略和方法被提出,有效地支持了软件的演化.本文以信息复用的策略为基础,提出了在软件演化过程中通过知识库的应用对信息进行复用,以及知识库的应用框架来支持软件演化过程.

面向同步交互的软件演化过程全局层和过程层的建模

在全球化软件开发的背景下,针对分布在不同地域的开发团队频繁同步交互式所引起的软件演化过程的可信问题,和软件演化过程元模型EPMM构建的软件演化过程模型描述的同步交互是非形式化的问题,提出了使用通信系统演算CCS为形式工具的分布式软件演化过程元模型CEPMM.基于CEPMM构建分布式软件演化过程多层模型,包括全局层、过程层、活动层及任务层:任务是原子的,不可分割;为建立分布式软件演化过程全局层和过程层模型提出一种建模方法;最后为实现基于EPMM建模到基于CEPMM建模全局层和过程层转化,在Visual Studio平台下使用C#语言研发出工具CLPmodel.结果表明:全局层和过程层模型的建立,为在该粒度上对分布式软件演化过程的可信分析与研究奠定基础.

软件演化过程体系结构研究

软件过程与软件之间有着非常紧密的联系。借鉴软件体系结构SA的有关概念,提出了软件演化过程体系结构SEPA,试图用SEPA在总体上描绘出软件演化过程的蓝图。给出SEPA的相关定义、研究目的和意义,并对SEPA的描述工具以及风格进行论述,最后提出了一种基于SEPA和过程构件的软件演化过程设计方法。

工程认证背景下的软件工程专业课程思政教学设计——以统一建模语言UML课程为例

以《高等学校课程思政建设指导纲要》为顶层指导,提出软件工程专业课程思政的总体目标,探讨软件工程专业教师有效达成课程思政目标的途径,以统一建模语言UML课程为例,详细阐述如何围绕目标的达成进行课程思政建设,最后说明课程思政教学成效。

面向目标导向的软件演化过程行为的研究

对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理对软件演化过程的行为进行了研究,分别从过程的迹、确定性和不确定性等方面进行了深入的分析,并给出了每一种行为的计算方法.

一种软件过程建模语言SPML的设计

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/L可以描述规则等,适合描述软件过程的细节。SPML/H还能够被逐步地变换成SPML/L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。