检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

构件系统演化一致性的判定方法

计算机科学 2018年第10期45卷 189-195页

作者：郑交交李彤林英谢仲文王晓芳成蕾刘妙云南大学软件学院昆明650091 云南大学软件工程重点实验室昆明650091

构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件... 详细信息

构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件视为判定执行者,使所有的构件协同参与一致性判定过程,从接口和流程结构出发,判断执行者和全局的一致性;其次,在满足接口、流程结构一致性的情况下,判断演化构件在演化前后的内部行为一致性;最后,通过对一个构件实例的完整分析,详细描述了该判定方法,并验证了其可行性。

关键词：构件系统软件演化演化一致性接口一致性结构一致性

在线全文

学校读者我要写书评

暂无评论

构件系统演化一致性判定方法研究

构件系统演化一致性判定方法研究

作者：郑交交云南大学

学位级别：硕士

软件需求的不断变更是如今的常态,为了既满足用户需求又适应系统依赖环境的改变,现有的构件系统就必须要进行改变演化,使之成为业务功能更强大、满足需求变动和适应系统环境的构件系统。演化后的构件系统中各个构件彼此能够无冗余的按... 详细信息

软件需求的不断变更是如今的常态,为了既满足用户需求又适应系统依赖环境的改变,现有的构件系统就必须要进行改变演化,使之成为业务功能更强大、满足需求变动和适应系统环境的构件系统。演化后的构件系统中各个构件彼此能够无冗余的按照一定次序正常交互,且可以完成演化前的任务,达到用户的要求,即满足一致性是演化操作正确执行的必要条件。一致性判定选取的判定元素单一、不适用于演化阶段以及各个构件是否按照一定次序正常交互的判定局限性是构件系统演化一致性判定需要解决的问题。基于构件的软件开发方式已经是目前主要的开发方法,针对构件式软件在动态演化前后的一致性保持问题,本文基于外部和内部两方面从接口、流程结构、行为三点出发,提出了一种构件系统演化一致性判定方法,具体内容如下:。首先,在演化后的系统中,将每个构件视为判定执行者,让所有的构件协同参与一致性判定过程。从接口和流程结构出发,判断判定执行者和全局的一致性,其中接口一致性包括接口操作对称性和接口消息类型一致性,流程结构一致性是基于UML状态图来进行分析的,这是外部一致性;其次,在满足接口、流程结构一致性的情况下,通过比较判断演化构件在演化前后的行为一致性,这是内部一致性;最后,本文分析了演化过程中可能出现的异常演化情况,并且用π演算对其进行了建模描述。除此之外,对一个图书订购的构件系统实例进行了完整分析,详细描述了本文所提判定方法的分析过程,并且运用π演算对其进行建模检测和推演,然后代码实现了演化一致性分析的原型工具,验证了本文所提方法的可行性和有效性。总之,本文提出了一种演化一致性判定方法,并完整描述了其分析过程。

关键词：构件系统软件演化演化一致性接口一致性结构一致性

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

正确性保证的私有过程建模方法

电子学报 2018年第10期46卷 2551-2560页

作者：莫启笪建代飞朱锐林雷蕾李彤云南大学软件学院云南昆明650091 云南省软件工程重点实验室云南昆明650091 淮安开放大学信息工程系江苏淮安223001 西南林业大学大数据与智能工程学院云南昆明650091

私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各... 详细信息

私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模.

关键词：私有过程基本块精化规则接口一致性正确性

在线全文

学校读者我要写书评

暂无评论

从私有过程提取公共过程构建业务协同的方法

计算机研究与发展 2017年第9期54卷 1892-1908页

作者：莫启代飞朱锐笪建林雷蕾李彤谢仲文郑明云南大学软件学院昆明650091 云南省软件工程重点实验室(云南大学) 昆明650091 西南林业大学大数据与智能工程学院昆明650091 淮安开放大学信息工程系江苏淮安223001

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协... 详细信息

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析.

关键词：业务过程协同异步消息通信业务过程模型基本块抽取规则集接口一致性