基于Petri网的面向动态演化的软件体系结构建模
基于Petri网的软件架构演化波及效应分析
点之～。
（） ２ 构件交互方式 的抽象 ： 在架 构设计 中， 构件 之
着眼于有关 系统 架构全 局特性 方 面的 问题 ， 中 文 在 系统 的基 于 Ｐ ｔ 网［ 的 Ｓ ｅｒ ３ ｉ ｌ Ａ模型 基础上 ， 利用 Ｐ ｔ ｅｒ ｉ 网的可达标 识 图给 出 了一种 计 算构 件 贡献 大小 的方
软件架构设计位 于系统 开发 的前期 。在这一层 次 上的设计 主要包括 以下内容 ： 系统 中构件的描述 、 构件 之间的交互 、 指导构件 交互 的模式 以及施加 在模 式上 的约 束 等 ｌ 。一 个 软 件 架 构 刻 画 了 系 统 的 ３个 方
ｒｐ ｌ— ｅｆｃ ｆＳ ｅ ｏｕｉｎ ｃ ｕｅ ｙ ｃ ｍｐ ｎ ｎｔ ｅｅｉｎ，ａ ｄｔ ｎ， ｄｉｃ ｔ ｎ，ｄｖｓ ｎａ ｄｃ ｍｂｎ ｔ ｎ ｉ ｄ ｓｒｂ ｄ ｒｓｅ ｔ ｅｙｉ ｉｐｅ ｆｅ ｔｏ Ａ ｖ ｌ ｔ ａ ｓ ｂ ｏ ｄ ｏ ｏ ｅ ｌｔ ｄ ｏ ｄ ｉｉ ｍｏ ｆ ａｉ ｏ ｉ ｏ ｉｉｉ ｏ ｉａｉ ｓ ｅ ｉｅ ｅｐ ｃｉ ｌ ｎ ｏ ｎ ｏ ｃ ｖ
中 图分类 号 ： Ｐ ｌ ３１ ｆ 文献 标识码 ： Ａ 文 章编号 ：６ ３—６ ９ ２ ０ ） ２—０ ９ １７ ２ Ｘ（０ ７ １ ０ ９—０ ４
Ｒｉ ｐｌ ‘ ｆ ｃ ａ ｙ ｉ ｆＳ ｆ ｗａ ｅ Ａｒ ｈ ｔ ｃ ｕ ｅ Ｅｖ ｌ ｔｏ ｐ ｅ‘ Ｅｆ ｅ ｔＡｎ ｌ ｓ ｓ ｏ ｏ ｔ ｒ ｃ ｉｅ ｔ ｒ ｏ ｕ ｉ ｎ Ｂａ ｅ ｎ ｔ ｉＮｅ ｓ ｄ ｏ Ｐｅ ｒ ｔ
基于扩展Petri网的软件服务模型设计方法
基于扩展Petri网的软件服务模型设计方法摘要：随着互联网的发展，软件服务模型的设计方法成为了软件工程领域的一个热门研究方向。
本文将基于扩展Petri网的软件服务模型设计方法进行探讨，介绍了基于扩展Petri网的软件服务模型设计方法的基本概念、设计步骤和应用案例，旨在为软件工程领域的研究者和从业者提供参考。
一、引言随着互联网的发展，软件服务模型的设计方法成为了软件工程领域的一个热门研究方向。
软件服务模型是用于描述和管理软件系统中服务的一种形式化模型，它可以帮助软件工程师和开发人员更好地理解和设计软件系统中的服务，并且能够提供一个统一的框架来管理软件系统中的各种服务。
软件服务模型的设计方法对于软件工程领域的发展具有重要的意义。
扩展Petri网是一种形式化的建模工具，它由Petri网经过扩展得到，具有更强的表达能力和更丰富的功能。
扩展Petri网广泛应用于系统建模、性能分析、并发控制等领域，在软件工程领域中也有很好的应用前景。
将扩展Petri网应用于软件服务模型的设计方法是非常具有潜力的研究方向。
2.1 基本概念在介绍基于扩展Petri网的软件服务模型设计方法之前，我们首先来了解一下扩展Petri网的基本概念。
扩展Petri网是对Petri网的一种扩展，它包括了普通Petri网的所有元素和弧（库所、变迁、弧），同时还包括了时延库所、随机变迁、概率弧等新的元素和弧。
扩展Petri 网具有更强的表达能力和更丰富的功能，可以描述更加复杂的系统行为。
2.2 设计步骤（1）确定需求：首先需要确定软件系统的需求，包括系统所包含的服务、服务之间的关系和交互情况等。
这一步是软件服务模型设计的基础，需要充分了解软件系统的需求。
（2）建立扩展Petri网模型：根据系统的需求，建立相应的扩展Petri网模型。
在建立模型的过程中，需要考虑各个服务之间的关系和交互情况，以及服务的执行顺序、并发情况等。
通过扩展Petri网的表达能力和功能，可以更加准确地描述软件系统中的服务。
基于扩展Petri网的软件服务模型设计方法
基于扩展Petri网的软件服务模型设计方法扩展Petri网（Extended Petri net）是Petri网的一种扩展形式，它引入了一些新的概念和表达能力，使得Petri网可以更好地描述和分析复杂系统。
基于扩展Petri网的软件服务模型设计方法，是将扩展Petri网应用于软件服务模型设计的一种方法。
它通过建立Petri网模型来描述和分析软件服务模型，从而更好地理解和设计软件服务模型。
1. 确定软件服务的功能和需求：首先需要明确软件服务的功能和需求，包括服务的输入、输出、流程和约束条件等。
2. 建立扩展Petri网模型：根据软件服务的功能和需求，建立扩展Petri网模型来描述软件服务的行为和状态转换。
扩展Petri网可以比传统Petri网更好地描述并发行为、资源占用和时间约束等。
3. 分析和验证软件服务模型：利用扩展Petri网的分析工具，对建立的软件服务模型进行分析和验证，包括安全性分析、性能分析和时序性分析等。
4. 优化和改进软件服务模型：根据分析和验证的结果，对软件服务模型进行优化和改进，使得软件服务模型更加完善和符合实际需求。
5. 应用于软件开发：将优化和改进后的软件服务模型应用于实际的软件开发中，指导软件开发人员进行具体的编码和实现。
基于扩展Petri网的软件服务模型设计方法，具有形式化、直观和易于分析的特点，可以帮助软件开发人员更好地理解和设计软件服务模型，从而提高软件开发的效率和质量。
下面我们将分别从形式化建模、直观性和分析性三个方面介绍基于扩展Petri网的软件服务模型设计方法的优势和应用。
2. 直观性：扩展Petri网具有直观的图形表示形式，可以通过图形化的方式直观地呈现软件服务模型的行为和状态转换，使得软件开发人员更容易理解和分析软件服务模型。
直观性可以帮助开发人员更快地掌握软件服务模型的关键特性和约束条件，从而更好地进行软件开发工作。
基于扩展Petri网的软件服务模型设计方法已经在实际的软件开发中得到了广泛的应用和验证。
基于扩展Petri网的软件服务模型设计方法
基于扩展Petri网的软件服务模型设计方法随着互联网技术的快速发展，越来越多的企业开始向云服务转型，对软件服务的需求也越来越高。
因此，服务模型的设计就成为了软件开发中的关键问题之一。
传统的服务模型往往使用流程图、UML等方法进行设计，这些方法虽然已经被广泛应用，但是存在一些不足之处，如难以描述服务交互过程中的并发和竞争，难以识别死锁等问题。
为了解决这些问题，本文提出了一种基于扩展Petri网的软件服务模型设计方法。
扩展Petri网是Petri网的一种扩展形式，它增加了输入输出动态性和资源变化规则等元素，能够更好地描述并发、同步和互斥等行为特征。
因此，本文将扩展Petri网应用到服务模型的设计中，提出了一种基于扩展Petri网的软件服务模型设计方法，具体步骤如下：1. 确定服务模型的目标和需求，分析服务模型的表现形式及其特点。
2. 建立扩展Petri网模型，将服务的交互过程建模为Petri网中的变迁和库所，定义输入输出动态性和资源变化规则等元素，以描述服务的并发、同步和互斥等特征。
3. 对Petri网进行扩展，引入服务描述元素，如服务接口、服务协议、服务实现等。
通过引入这些元素，可以更好地描述服务的组成和结构。
4. 建立服务模型的状态转移图，分析服务模型的状态转移规则，描述服务模型的状态变化过程。
5. 进行模型验证和测试，对模型的正确性和可行性进行验证。
可以通过模拟系统运行过程，检查模型的死锁、资源争用等问题。
6. 根据模型验证的结果，对模型进行优化和修改，使其满足实际的应用需求。
本文提出的基于扩展Petri网的软件服务模型设计方法，能够更好地描述服务交互过程和并发特征，提高服务模型的准确性和可靠性。
同时，该方法还能够方便地进行模型验证和测试，确保服务模型的正确性和可行性。
该方法在软件开发中具有很好的应用价值。
基于Petri网的软件项目管理建模方法
2 库所拓展 Petri 网在软件项目管理过程中 的应用
2.1 Petri网的库所拓展定义
作者简介：祁方民(1979-), 男, 青海省平安县人, 硕士生, 研究方向为计
算机软件与理论, 形式化方法; 鱼滨(1964-), 男, 陕西人, 副教授, 研究
方向为(主要从事软件构件技术)分布式计算和多媒体技术; 史立军, 男,
硕士生, 研究方向为软件项目管理与软件度量。
的功能要求日益增长，软件设计复杂，软件的质量问题开始 凸现；而软件项目管理者的任务是要协调有限的资源和经 费，开发出高质量软件。所以，软件项目管理过程成功与否 将关系到整个项目的最终结果。
(1.Northwest University School of Information Science and Technology, Xi’an 710127, China; 2.XiDian University School of Computer Science & Technology, Xi’an 710071, China)
(1) S∩T=Ø； (2) S∪T≠ Ø； (3) F S×T∪T×S（“×”为笛卡儿积）； (4) dom(F)∪cod(F)=S∪T，其中，dom (F) ={x| y：（x， y）∈F}和 cod (F) ={y| x：（x，y）∈F}分别是 F 的定义域 和值域 其中 S 和 T 分别被称为 N 的库所（place）集和变迁 （transition） 集。F 为流关系（flow relation）；库所集和变 迁集是有向网的基本成分，流关系是从中构造出来的，而连 接 S 和 T 中元素的叫做弧（arc），弧是 F 中的元素，所以弧 只能连接库所和变迁，不能连接两个库所或者是两个变迁。 库所拓展 Petri 网的定义： 定义 2：三元组 N=（S，T，F）为库所拓展 Petri 网的 充分必要条件是： (1) S={s|s 是一个 S 拓展后的 Petri 网或者 s S’, S’是 Petri 网 N 的库所集 (2) S∩T=Ø； (3) S∪T≠ Ø； (4) F S×T∪T×S（“×”为笛卡儿积）； (5) dom(F)∪cod(F)=S∪T，其中，dom (F) ={x| y：（x， y）∈F}和 cod (F) ={y| x：（x，y）∈F}分别是 F 的定义域 和值域； (6) ∀(x, y)∈ F : x ∈S ∧ y ∈T ⇒ ∃z ∈ S,使得( y, z)∈ F (7) ∀(x, y)∈ F : x ∈T ∧ y ∈S ⇒ ∃z ∈ S,使得(z, x)∈ F
基于Petri网的产品开发过程建模及系统性能分析的开题报告
基于Petri网的产品开发过程建模及系统性能分析的开题报告一、研究背景及意义Petri 网作为描述并发系统的一种重要工具，在许多领域得到广泛的应用，如工程、自动化、计算机科学、制造业、生产等领域。
Petri 网在产品开发过程中的应用，可以描述产品从设计到投产全过程的各项任务，包括项目进度、任务分配、资源分配、任务优先级等等，能够较好地模拟产品开发过程的各类情景，是实现产品开发过程管理的重要手段。
因此，基于Petri网的产品开发过程的建模及系统性能分析研究有着广泛的实际意义和工程应用价值。
二、研究内容及目标本研究的主要内容是基于Petri网的产品开发过程的建模及系统性能分析，从以下三个方面展开研究：1.产品开发模型的建模：从Petri网模型及工程应用的实际需求出发，建立相应的产品开发模型，通过定义Petri网的元素与参数进行模型描述，从而实现对产品开发中的各个环节的精细化描述；2.产品开发过程的性能分析：基于Petri网的性能分析方法研究产品开发过程的性能分析，通过建立性能评价指标体系对产品开发过程进行综合评价，以期提高产品开发过程的效率和质量，并为效果优化提供理论依据；3.应用实例分析：通过应用实例分析，验证基于Petri网的产品开发过程的建模及系统性能分析方法的可行性和实用性，同时通过案例研究探索基于Petri网的产品开发过程的应用场景与展望。
三、研究方法及技术路线1.文献调研：了解Petri网及产品开发模型的相关研究现状，了解Petri网模型在产品开发领域的应用及现状。
2.模型建立：对产品开发过程进行建模，采用Petri网模型的相关理论知识和方法，建立基于Petri网的产品开发过程的模型。
3.性能分析：基于Petri网的性能分析方法对产品开发过程的性能进行分析，建立性能评价指标体系，探讨产品开发过程的性能优化方法。
4.应用实例分析：以真实企业的产品开发过程为研究对象进行基于Petri网的产品开发过程建模，并进行性能分析，来验证基于Petri网的产品开发过程的建模及系统性能分析方法的可行性和实用性，同时通过案例研究探索基于Petri网的产品开发过程的应用场景与展望。
基于Petri网的计算机系统建模与验证研究
基于Petri网的计算机系统建模与验证研究计算机系统是现代社会不可或缺的重要组成部分，其复杂性使得保障其可靠性和正确性成为一项关键任务。
为了解决这个问题，研究人员发展了多种计算机系统建模与验证的方法和技术。
其中，基于Petri网的计算机系统建模与验证方法在该领域具有重要地位和广泛应用。
什么是Petri网Petri网是由德国数学家Carl Adam Petri于20世纪60年代提出的一种图形描述方法。
它以有向图的形式描述了系统中的各个组成部分及其之间的相互作用关系。
一个Petri网由两个基本元素组成：库所（Place）和变迁（Transition）。
库所表示系统中的资源或状态，变迁表示状态之间的转换或事件发生。
Petri网使用有向弧连接库所和变迁，表示其之间的关系。
同时，Petri网还引入了一个重要概念：标识（Marking），用来描述库所中的资源数量。
通过库所和变迁之间的互动，系统的行为和状态可以通过Petri网来表示和分析。
计算机系统建模与验证的重要性计算机系统是一种动态的、复杂的系统，它包含了大量的硬件和软件组件之间的相互作用。
在设计和开发计算机系统时，我们希望能够在系统投入使用之前预测其性能、可靠性和正确性。
为了实现这一目标，建立一个准确的系统模型是非常重要的。
通过计算机系统建模与验证，我们可以形式化地描述和分析系统的行为和状态，从而帮助我们发现系统中潜在的问题和错误。
基于Petri网的计算机系统建模基于Petri网的计算机系统建模是一种非常有效的建模方法。
通过将系统的各个组成部分表示为库所和变迁，并使用有向弧表示它们之间的关系，我们可以直观地描述系统的结构和行为。
Petri网提供了一种清晰而简洁的表示方法，能够帮助我们深入理解系统的运行机制。
在建立一个基于Petri网的计算机系统模型时，我们需要定义系统的库所和变迁，并定义它们之间的联系。
库所可以表示系统中的各个组件或资源，变迁可以表示系统中的事件或状态转换。
基于扩展Petri网的软件服务模型设计方法
基于扩展Petri网的软件服务模型设计方法随着互联网的迅速发展，软件服务模型设计成为了越来越受关注的话题。
设计一个高效、稳定和可扩展的软件服务模型对于软件系统的性能和可靠性至关重要。
在这个背景下，基于扩展Petri网的软件服务模型设计方法逐渐得到了广泛应用。
本文将介绍基于扩展Petri网的软件服务模型设计方法，并探讨其在软件系统设计中的应用。
一、扩展Petri网简介Petri网是由德国学者Carl Adam Petri在20世纪60年代提出的一种模型，用于描述并发系统中的并发行为。
Petri网由一组库所（Place）和一组变迁（Transition）组成，通过有向边连接库所和变迁以表示系统中的状态转换。
在标准的Petri网模型中，每个库所中仅包含一个标记（Token），变迁的触发取决于库所中是否有足够的标记。
扩展Petri 网是在标准Petri网的基础上进行扩展，引入了时间、数据等概念，使得Petri网可以描述更加复杂的系统行为。
在软件系统中，服务模型的设计是非常关键的一步。
基于扩展Petri网的软件服务模型设计方法通过将系统中的各个模块和组件抽象成库所和变迁，描述它们之间的交互关系和状态转换，从而形成一个全局的系统行为描述。
在这个模型中，引入了时间、数据等因素，可以更加准确地描述系统的行为，并对系统的性能进行分析和优化。
1. 识别系统中的各个模块和组件，并将它们抽象成库所和变迁。
这一步需要对系统进行分析和建模，确定系统中的各个组件以及它们之间的交互关系。
2. 构建扩展Petri网模型。
根据系统的需求和特点，设计扩展Petri网模型，将库所和变迁组织起来，并定义它们之间的关系和触发条件。
3. 分析系统行为。
通过对扩展Petri网模型进行分析，可以得到系统的行为特性，如并发性、同步性、死锁等，并可以对系统的性能进行评估和优化。
4. 设计服务模型。
根据扩展Petri网模型的分析结果，设计系统的服务模型，包括服务的接口、交互方式和状态转换规则等。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
软件 动态演化 软件体 系结构
Ｔ ３ １５ Ｐ １ ． 文献 标 识 码
Ｐｔ 构件 ｅｒ ｉ网
Ａ
连 接件
Ｄ Ｉ １ ． ９ ９ ｊ ｉ ｎ １０ —８ ｘ ２ １ ． ０ ０ Ｏ ：０ ３ ６ ／ ．ｓ ． ０ ０３ ６ ． ０ ２ １ ． １ ｓ １
Ｍ ｏＤＥＬＬＩ ＮＧ ＤＹＮＡＭ Ｉ ＥＶＯＬＵＴＩ Ｃ ｏＮ． ＲＩ ｏ ＥＮＴＥＤ ｏ ＦＴＷ ＡＲＥ Ｓ ＡＲＣＨＩ ＴＥＣＴＵＲＥ ＢＡＳ ＥＤ ｏＮ ＰＥＴＲＩＮＥＴ
ＸｅＺ ｏ ｇ ｅ Ｌ ｏ ｇ＇ Ｄ ｉ ｅ ＇ Ｑ ｎＪ ｎｌ ｇ Ｚ ａ ｇＸ ａ ＭｏＱ Ｚ ｕＲ ｉ ｉ ｈｎｗｎ・ ｉ ｎ Ｔ ａ Ｆｉ ｉ ｉ ｇ ｎ ＇ ｈｎ ｕｎ ＇ ａ ｏ ｉ ｈ ｕ
（ｃｏｌｆＳｆｗ ｒ，Ｙ ｎａ ｎｖｒｔ， ｕ ｍｎ ５ ０ １ ｕ ｎｎ ｈｎ ） Ｓｈ ｏ ｏ ｏｔａｅ ｕ ｎｎ Ｕ ｉ ｓｙ Ｋ ｎ ｉｇ６ ０ ９ ，Ｙ ｎａ ，Ｃ ｉａ ｅｉ （ ｅ ａｏａｏｙｉ ｏ ｗ ｒ Ｅ ｇｎｅｎ ｕｎ ｎＰ ｏｉｃ， ｕ ｍｉ ５ ０ １ ｕ ｎ ｎ Ｃ ｉａ Ｋ ｙＬ ｂｒｔｒ ｎＳｆ ａｅ ｎ ｉｅｒ ｇｏ Ｙｎ ａ ｒｖ ｅ Ｋ ｎ ｎ ６０ ９ ，Ｙ ｎａ ， ｈｎ ） ｔ ｉ ｆ ｎ ｇ
谢仲文 ， 李 彤 ＇ 代 飞 秦江龙 ， 张 璇
云南 昆 明 ６ ０９ ） ５０ １ 云南 昆明 ６０ ９ ） ５０ １
莫 启 朱 锐
（ 云南大学软件学院
（ 云南省软件３ 程重点实验室 ２
摘
要 Байду номын сангаас
为了应对软件动态演化面临 的挑 战， 应提 高所建 立的软件体 系结构模 型 的动态演化 性。以扩展 的 Ｐｔ 网为形 式化工 ｅｒ ｉ
Ａ ｂｓｒ ｃ ｔａ ｔ Ｉ ｒ ｅ ｏ ｔｃ ｌ ｔ ｈ ｈａｌｎｇ ｓｔｅ ｓ ｆｗａｅ ｄ ｎａ ｉ ｖ ｌ ｔｏ ｎ ｏ ｎｔｒ ｄ，ｉ ｓｎｅ ｅ ｓ ｒ Ｏ ｉ ｒ ｖ ｈｅｄｙ ａ ｃｅ ｏ ｕ ｎ ｏ ｄ ｒｔ ａ ｋｅ ｗｉｈ ｔ ｅ ｃ ｌｅ ｅ ｈ ｏｔ ｒ ｙ ｍ ｃ ｅ ｏ ｕｉ ｎ ｅ ｃ ｕ ｅ ｅ ｔｉ ｃ ｓ ａ ｙ ｔ ｍｐ ｏ ｅ ｔ ｎ ｍｉ ｖ ｌ —
ｔ ｎ ａ ｉ ｔ ｆ ｈ ｏｔ ａ ｅ ａｃ ｉ ｃｕ ｅ ｍｏ ｅ ｓｅ ｔｂ ｉｈ ｄ ｈ ｒｆ ｒ ，ｔ ｅｅ ｔｎ ｅ ｅｒ ｎ ｔｉ ｕ ｅ ｓｔ ｅ ｆｒ ｌｔｏ ｄ ｌ ｙ ａ ｃ ｅ ｏ ｉ ｂ ｌ ｙ ｏ ｅ ｓ ｆ ｒ ｒ ｈ ｔ ｔ ｒ ｄ ｌ ｓ ｌ ｅ ．Ｔ ｅｅ ｏ ｅ ｈ ｘｅ ｄ ｄ Ｐ ｔ ｅ ｓ ｄ ａ ｈ ｍａ ｏ ｌ ｏ ｍｏ ｅ ｎ ｍｉ ｖ — ｏ ｉ ｔ ｗ ｅ ａ ｓ ｉ ｓ ｏ ｔ ｄ ｌ ｔ ｎ ｏ ｉ ｎｅ ｏ ｔ ａ ｅ ａ ｃ ｉ ｃｕ ｅ ｕ ｉ ． ｒ ｔｄ ｓ ｆ ｒ ｒ ｈ ｔ ｔｒ ．Ｆ ｒ ｔ ｏ ｅ ｗ ｅ ｉ ｌ ｈ ｅ ｒ ｎ ｔｉ ｅ ｔｎ ｅ ｏ ｃ ｍｐ ｎ ｎ ｅ ｔ ｃｕ ｅ ｎ ｈ ｏ ｏ ｅ ｔｍｏ ｅ ｓｗ ｌ ａ ｏ — ｓ ｙ，ｔ ｅ Ｐ ｔｉ ｅ ｓ ｘｅ ｄ ｄ ｔ ｏ ｏ ｅ ｔｎ ｔｓ ｕ ｔ ｒ ，ａ ｄ ｔ ｅ ｃ ｍｐ ｎ ｎ ｄ ｌａ ｅ ｌ ｓ ｃ ｎ ｒ ｎ ｃｏ ｄ ｌｅｆ ｃｉｅｙ ｓ ｐ ｏｔｎ ｏ ｔ ａ ｅ ｄ ｎ ｍｉ ｖ ｌ ｔ ｎ ｉ ｄ ｓｇ ｅ ．Ｓ ｃ ｎ ｌ ，ｔ ｅ ｓａｉ ｉｗ ａ ｄ ｄ ｎ ｍｉ ｉｗ ｏ ｏｔ ａ ｅ ａ ｃ ｉ ｅ ｅ ｔｒｍｏ ｅ ｆ ｔ ｌ ｕ ｐ ｒ ｇ ｓ ｆ ｒ ｙ ａ ｃ ｅ ｏｕ ｉ ｓ ｅ ｉ ｎ ｄ ｅ ｏ ｄ ｙ ｈ ｔｔ ｖｅ ｎ ｙ ａ ｃ ｖｅ ｆｓ ｆ ｒ ｒ ｈ ｔ — ｅ ｖ ｉ ｗ ｏ ｃ ｗ ｅ ｔｒ ｒ ｅ ｐ，ｗｈ ｃ ａ ｓ ｔｅ ｂ ｓｓｆ ｒａ ａｙ ｉ ｇ ａ ｄ ｉ ｌｍｅ ｔ ｇ ｔ ｅ ｓ ｆ ｒ ｙ ａ ｃ ｅ ｏｕ ｉｎ ｕｅａｅｓ ｔ ｕ ｉ ｈ ｌｙ ｈ ａ ｉ ｏ ｎ ｌｓｎ ｎ ｍｐｅ ｎ ｉ ｈ ｏｔ ｅ ｄ ｎ ｍｉ ｖ ｌｔ ．Ｆ ｎ ｌ ，ｔ ｅ ｃ ｓ ｔ ｄ ｈ ｗｓ ｔ ａ ｔ ｅ ｎ ｗａ ｏ ｉ ａｌ ｙ ｈ ａ ｅ ｓｕ ｙ ｓ ｏ ｈ ｔ ｈ ｐ ｏ ｏ ｅ ｔ ｏ ｓｅｆ ｃｉ ｅ ｎ ｔ ｓａ ｌ ｏ ｓ ｎ ｆ ａ ｔ ｍｐ ｏ ｅ ｔ ｅｄ ｎ ｍｉ ｖ ｌｔ ｎ ａ ｉ ｔ ｆ ｈ ｓ ｂ ｉｈ ｄ ｓ ｆ ｒ ｒ ｈ ｔｃｕ ｅ ｒｏ — ｒ ｐ ｓ ｄ ｍｅ ｈ ｄ ｉ ｆ ｔ ，ａ ｄ ｉ ｉ ｂ ｅｔ ｉ ｉ ｃ ｎｌ ｉ ｒｖ ｈ ｙ ａ ｃ ｅ ｏｕ ｉ ｂ ｌ ｙ ｏ ｅ ｅ ｔ ｌ ｅ ｏｔ ｅ ａ ｃ ｉ ｔ ｒ ｄ ｅ ｖ ｇ ｉ ｙ ｏ ｉ ｔ ａ ｓ ｗａ ｅ ｏ
具， 对面 向动态演化 的软件体 系结构进行建模。首先 ， Ｐ ｔ 网扩展成 为构件 网结构 ， 将 ｅｉ ｒ 并设计有效支持 软件动态演化 的构 件模型和 连接件模型 ； 其次 ， 建立软件体 系结构的静态视 图和动态视 图， 为软件动态演化的分析和实施奠定基础； 最后 ， 通过 案例研 究表明： 该 方法是有效 的， 并可显著提 高所建 立的软件体 系结构模 型的动态演化性。 关键词
第２ ９卷 第 １ ０期
２１ ０ ２年 １ ０月
计 算机 应 用与软件
Ｃｏ ｕ ｅ ｐｉ ａｉ ｎ ｎ ｏｔ ｒ ｍｐ ｔ ｒＡｐ ｌ ｔｏ ｓａ ｄ Ｓ ｆｗａ ｅ ｃ
Ｖ０ ． ９ １２ Ｎｏ １ ．０
Ｏｃ ． ２ ２ ｔ ０１
基 于 Ｐ ｔｉ ｅｒ 网的 面 向动态 演 化 的软 件 体 系 结构 建 模