导读:本文包含了软件过程建模语言论文开题报告文献综述及选题提纲参考文献，主要关键词:软件演化过程,形式化验证,软件演化过程建模语言,模型检测
软件过程建模语言论文文献综述
刘金卓,白天罡,于倩,王炜,代飞[1]（2016）在《CEPDL:一个简约的软件演化过程建模语言》一文中研究指出随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process Description Language),定义了CEPDL的语法,并给出了案例研究.CEPDL可以作为模型验证工具的输入语言,能够描述软件演化过程模型,同时描述基于线性时序逻辑的过程模型规约,为最终应用模型检测方法实现对软件演化过程模型的动态性质及行为的验证提供基础.(本文来源于《内蒙古大学学报(自然科学版)》期刊2016年01期）
陈迎欣,刘群[2]（2005）在《一种软件过程建模语言SPML的设计》一文中研究指出本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/L可以描述规则等,适合描述软件过程的细节。SPML/H还能够被逐步地变换成SPML/L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。(本文来源于《计算机科学》期刊2005年11期）
张颖[3]（2004）在《基于活动分解和ECA规则的软件过程建模语言设计与实现》一文中研究指出随着软件的发展，人们普遍认识到软件产品的质量不仅与工具、方法有关，而且与生产产品的过程有关，因此人们把软件生产研究的重点开始转向软件生产过程——即软件过程本身上，保证实际的开发过程与文档中描述的开发过程之间的一致。项目组正在开发一种反应式的过程为中心的软件工程环境，其中软件过程建模是基础和核心。论文工作集中在过程建模部分，主要内容如下。 论文首先通过对各种建模方法的分析比较，采用以活动为中心的建模方法。通过活动分解描述活动之间的静态关系；通过ECA规则描述活动之间的动态时序关系。基于活动分解和ECA规则的软件过程建模能够支持反应式控制方式，能很好的支持软件过程的演化。 采用上述建模方法，论文设计了一个软件过程定义元模型，抽象出过程模型中需要描述的基本元素和这些基本元素之间的关系。在元模型的基础上，论文采用XML技术创建基于活动分解和ECA规则的软件过程建模语言，给出了过程模型中信息视图的XML Schema定义，规定了这些视图中能够使用的元素和属性，定义了建模语言需要遵守的规则。采用XML技术来进行过程建模不仅使用户容易掌握，而且所描述的模型也更易于系统间的交换和共享，增强系统之间的交互能力。 设计并实现了一个基于该语言的图形化建模工具，并使用该工具对软件开发流程中的立项管理进行了建模。该工具利用MVC模式进行设计，具体实现采用XML技术与Java技术相结合。该建模工具具有以下特点：支持多视图、支持可视化建模、支持执行、支持互操作。实践证明该建模工具具有较强的表示能力和实用性。(本文来源于《湖南大学》期刊2004-10-01）
李彤,王黎霞[4]（2000）在《一个支持软件并行工程的过程建模语言》一文中研究指出实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言SDDML和基于SDDML的过程建模方法。SDDML基于Petri网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程中软件过程的控制、分析、评估和优化奠定了基础。(本文来源于《计算机应用与软件》期刊2000年04期）
柳军飞,唐稚松[5]（1996）在《软件过程建模语言研究》一文中研究指出本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．(本文来源于《软件学报》期刊1996年08期）
软件过程建模语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/L可以描述规则等,适合描述软件过程的细节。SPML/H还能够被逐步地变换成SPML/L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件过程建模语言论文参考文献
[1].刘金卓,白天罡,于倩,王炜,代飞.CEPDL:一个简约的软件演化过程建模语言[J].内蒙古大学学报(自然科学版).2016
[2].陈迎欣,刘群.一种软件过程建模语言SPML的设计[J].计算机科学.2005
[3].张颖.基于活动分解和ECA规则的软件过程建模语言设计与实现[D].湖南大学.2004
[4].李彤,王黎霞.一个支持软件并行工程的过程建模语言[J].计算机应用与软件.2000
[5].柳军飞,唐稚松.软件过程建模语言研究[J].软件学报.1996
标签：软件演化过程; 形式化验证; 软件演化过程建模语言; 模型检测;