共查询到19条相似文献,搜索用时 535 毫秒
1.
为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程.最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型. 相似文献
2.
形式化与可视化相结合的软件体系结构描述方法研究 总被引:7,自引:1,他引:6
软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。 相似文献
3.
为了保证软件质量,提高软件可靠性、可重用性和可维护性,软件体系结构这一概念自提出以来就得到广泛关注,成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法,连接了体系结构分析到具体实现之间的鸿沟,从而有效地保证了软件体系结构的层次性和可跟踪性。良好的软件体系结构求精方法使得软件开发自动化.加速软件产品的交付过程,降低软件成本,以及提高软件质量。针对体系结构求精研究的主要内容,较系统地阐述了几种体系结构求精分类方法,并对求精检测的相关内容作了介绍,最后是对体系结构求精以后工作的展望。 相似文献
4.
为了保证软件质量,提高软件可靠性、可重用性和可维护性,软件体系结构这一概念自提出以来就得到广泛关注,成为软件工程的一项重要研究领域.软件体系结构求精作为体系结构从抽象到具体的形式化方法,连接了体系结构分析到具体实现之间的鸿沟,从而有效地保证了软件体系结构的层次性和可跟踪性.良好的软件体系结构求精方法使得软件开发自动化,加速软件产品的交付过程,降低软件成本,以及提高软件质量.针对体系结构求精研究的主要内容,较系统地阐述了几种体系结构求精分类方法,并对求精检测的相关内容作了介绍,最后是对体系结构求精以后工作的展望. 相似文献
5.
面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。本文以Petri网作为行为描述和结构描述的统一基础,提出了一种描述软件体系结构方面及其编织逻辑的形式化方法,并通过实例对相关的概念和模型进行了说明。应用研究表明,该方法描述能力强,不仅能描述复杂的方面结构、行为以及相应的编织逻辑,还可对编织效果进行推理和评价。 相似文献
6.
讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征. 相似文献
7.
8.
软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持软件体系结构重用的反射式软件体系结构。给出了基于反射式软件体系结构的软件体系结构重用过程。给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述,即创建元组件、创建元连接器、创建元组合件操作的形式化描述。给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程。 相似文献
9.
10.
11.
Petri网的分解技术是复杂网系统分析的一种重要手段,基于变迁指标的分解方法将系统分解为一组T-网。通过获得分解子网的结构性质以及子网与原网间的性质保持关系,得到了判定原网结构性质的一些方法和结论;同时给出了判定原网系统活性的一个条件。所得结果为结构复杂Petri网的性质分析提供了有效的方法。 相似文献
12.
Petri网在商务工作流建模中的应用研究 总被引:2,自引:0,他引:2
在工作流建模研究中,Petri网是一类重要工具。对于跨机构的商务工作流来说,用基本Petri网建模往往会因为图幅规模过大和细节过多而使得其可读性下降。该文提出了一种活动/层次网(A/H-Nets)模型,并给出了建模过程和应用示例。模型通过引入复合位置和子网转移及过程转移的概念,来满足Petri网在不同层次上建模的需求。为了保证层次之间的一致性,文中给出了层次建模必须的子网(过程)替换规则。 相似文献
13.
Petri网共享T型子网合成公平性分析 总被引:1,自引:0,他引:1
共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径.本文研究了共享T-型子网合成对参与合成的各网系统的公平性的继承关系,给出了合成网保持公平性的充分条件.随后给出的有关制造系统设计的举例,说明了该合成方法的有效性.本文的结果可为Petri网系统合成性质的考察提供有效途径. 相似文献
14.
基于Petri网的FMS物流系统建模与仿真 总被引:3,自引:0,他引:3
在建立FMS物流系统Petri网模型的基础上,采用“映射”思想,将Petri网模型转化为物流系统的仿真程序,提出了库所映射为程序数据、变迁映射为程序函数、系统子网映射为FMS系统基本类的映射方法,通过实例仿真验证了软件程序与模型的一致性。 相似文献
15.
16.
模型组合是DSS研究应用的重要组成部分,为了分析模型集成过程中数据集成和逻辑集成的关系,定义了一个基于Petri网的模型组合方案,将模型组合的要素映射到Petri网结构。利用Petri网提供的分析技术,辅助复杂业务流程的建模,从而在逻辑上提供了模型组合的性能和正确性验证。 相似文献
17.
18.
Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图;当系统存在较多 相似文献
19.
基于分解子网的Petri网不变量的分析 总被引:2,自引:0,他引:2
分析系统性能时,Petri网不变量具有重要意义。为了减小求解的计算复杂性,基于Petri网的分解,并利用关联矩阵的构成特点,分析总网和分解后子网的不变量之间的关系。对分解后的子网为一般Petri网,采用的连接为自环连接和同步连接的情形,得到了总网P/T-不变量可对分解保持的一些充分、必要或充要条件。 相似文献