面向数据流的网构软件服务动态演化分析

　　【摘要】网构软件在运行的过程中，需要和多种结构相组合，进而更好地应对动态变化且具有复杂性的网络环境，达到最佳的服务性能。在进行动态演化的过程中，需要将数据流充分应用到其中，因此，需要形成不同的软件模型。需要注意的是，在进行动态演化工作中可能会产生数据流的变化，进而造成严重的服务障碍。因此，本文主要对面向数据流的网构软件服务动态演化进行细致地分析，希望能够给相关的工作人员提供借鉴和参考。

　　【关键词】网构软件；数据流；动态演化；迁移

　　现如今，计算机技术正在不断发展，相应的计算机软件需要具有开放性以及多边形的特点才能适应社会发展以及日常工作的需要。网构软件是一种集自主性、动态性以及连续性于一体的软件类型。网构软件促进了网络构建和资源数量的不断增多，同时形成了跨网络的数据连接，进而形成了软件实体，可以随时提供智能化、多边形的服务。可见，网构软件可以对外部环境的动态性进行感知，同时也可以按照一定的动态目标进行具体的演化。

　　1、网构软件的运行

　　从技术层面来说，网购软件的结构较为复杂，主要有两方面组成，包括能够提供具体的软件实体和底层的支撑平台。网购软件在正常运行的过程中，需要底层的支撑平台能够将内部的状态以及相关的行为信息等进行暴露，与此同时，还要保证上层软件的实体和行为等进行展现。然后要经过一定的监测和切换机制来达到网构软件的适应性特点。而数据流就是包括操作数据和控制状态在内的内部状态。因此，数据流在进行网构软件服务动态演化的过程中起着至关重要的作用。

　　网构软件在进行服务动态演化的过程中，主要是将当前的源模式迁移到目标模式下，然后进行严格地执行工作。这里有很多注意事项，主要包括以下几个方面：

　　（1）目标模式能够对源模式进行继承。主要是要求源模式本身具有一定的继承性，包括一定的数据、关系以及相应的结果。除此之外，还可以保证其在以后的执行工作中得到应用。

　　（2）要对目标状态进行保护。目标模式的有效性是至关重要的，应该避免出现动态演化的错误，减少死锁或者是流程异常的问题，这样会直接影响到整个服务状态，使其出现差错。另一方面，网构软件也是一种感知系统，不仅可以对环境的变化进行感知，同时也能够对自身的状态进行感知。因此，动态演化工作就具有一定的复杂性，需要考虑到控制流和数据流两个方面。

　　具体来说，控制流主要是为了保证软件服务动态演化的正确性和一致性，可以被分成两种方式，一是将相应的变量作为过程模型的重要组成部分，一是将活动变量作为相应的标准，添加到活动过程中。以上提到的这两种方式主要是对数据流进行严格地控制，对其具体的位置进行规定，这种方式不仅影响到数据流的服务动态演化的特征，同时也不能满足网构软件的基本运行需求。另外，网构软件的核心理论也呈现出形式化的特征，进行动态演化需要首先做好建模工作，其中较为常见的就是Petri网。现如今，这种网络的网构软件建模无法对动态演化进行细致地分析和支持，需要从控制流的角度出发来对其进行改进，并且在此模型的基础上实现网构软件的动态演化过程。

　　在这里应该首先谈到Perti网络，这是一种较为新型的网络技术，在运用的过程中，综合了网络和高级语言的优点，同时突出了数据的重要性。可以针对不同的模型特点来对行为进行分析，并且可以详细地进行表达。因此，文章主要以Petri网络为基础，分析了面向数据流的网构软件服务动态演化过程。主要是为了将数据流的基本特点引入到网构软件动态演化中，并且从静态和动态关系两个方面来对其进行细致地分析和介绍

　　2、网购软件服务模型

　　2.1网构软件服务模型描述

　　在具体的网构软件运行的过程中，为了实现此软件的动态形式化管理，需要将数据流和控制流的相关技术进行引进，同时文中主要分析了CPN系统建模的形式，进而对网构软件的相关服务模式进行详细地探讨和分析。

　　2.2IW_CPN数据依赖关系分析

　　IW_CPN的活动(变迁)中，当输入参数vi在活动ti中产生作用并输出参数vj时，这两个参数就产生了依赖关系(称为参数依赖关系viRDvj)，参数依赖关系可以分为直接参数依赖关系(记为viRDDvj)和间接参数依赖关系(记为viRDIvj)。当一个活动ti的输出参数成为另一个活动tj的输入参数时，这两个活动就发生了数据依赖关系(称为活动数据依赖关系tiRTtj)，同样可以分为直接活动数据依赖关系(记为tiRTDtj)和间接活动数据依赖关系(记为tiRTItj).在IW_CPN模型的活动序列？=t1t2…tn中，有活动ti，ti+1和ti+2，它们的输入参数分别为IN1={inv11，inv12，…，inv1n}，IN2={inv21，inv22，…，inv2n}和IN3={inv31，inv32，…，inv3n}，输出参数分别为OUT1={outv11，outv12，…，outv1n}，OUT2={outv21，outv22，…，outv2n}和OUT3={outv31，outv32，…，outv3n}，经实施后的标识分别为Mi1，Mi2，Mi3，Mi0为ti的初始标识。

　　3、网构软件服务数据流动态演化错误分析

　　网构软件要想实现服务，需要从源模式转换到目标模式下，因此，数据流需要满足以下几个方面的特点：

　　（1）要实现数据流的动态性以及合理性，不能出现数据缺失的现象，这里所谓的数据缺失就是指数据没有建立或者是数据没有被充分利用等。可见数据的真实性和准确是在网构软件运行中起到了至关重要的作用。

　　（2）要使得数据流满足数据依赖关系的一致性。这也是对于数据流最基本的要求。

　　（3）要同时满足数据流和控制流的动态性。需要注意的是不能由于数据依赖关系而产生数据的死锁问题。

　　将网构软件的服务模式从源模式朝着目标模式的改进，需要经过多个环节，主要包括对基本活动、判断条件的细化工作，对于不符合规定的活动序列进行删除或者是增加，对于循环分支或者是变量进行添加或者是删除，这样才能更好地实现网构软件的动态化。对于数据流来说，需要将其分成三类，动态演化错误也可以从以下几个方面来进行细致地分析和介绍：将基本活动进行细化，主要就是指将一个活动分成两个或者是多个活动，但是该操作并不会改变原有的数据输出的特点或者是相互之间的依赖关系。如果进行基本活动的细化操作对内部的活动产生了一定的影响，也不会影响到整个模型的操作方式。总之，需要最大限度地避免基本活动产生的数据输出或输入的错误。

　　4、网构软件服务实力动态演化准则

　　在进行网构软件动态演化的过程中，如果用户的需求或者是相应的环境出现了明显的变化，当前的服务需要进行迁移，要朝着一个有效的目标状态进行执行，进而满足用户的基本需求，或者是使得网构软件能够适应新的环境。但是，在实例迁移的过程中，还会受到诸多因素的限制，同时会导致动态演化的错误，影响到整个网构软件的动态演化工作。因此，需要采取一些切实可行的措施来对其进行完善和改进。主要需要遵循以下几个方面的原则：

　　4.1面向数据流的网构软件服务实例可迁移准则。要保证源模式中所执行的一系列活动数据之间的相互依赖的关系，在进行实例迁移之后也要保证这种关系。

　　4.2网构软件服务实例迁移过程中，要求不产生数据缺失、数据冗余和数据丢失等错误，并保持数据依赖关系的一致性，同时还需要避免由数据流/控制流交叉依赖关系而导致的动态演化错误。

　　4.3从数据流和控制流相结合的角度，保证服务实例从源模式到目标模式可迁移的一致性、合理性和正确性。

　　5、相关工作

　　现如今，网构软件的服务动态演化技术已经得到了广泛地应用，主要体现在工作流和动态演化两个方面。相关的专家和学者对其进行了深入研究和探讨，提出了动态演化的特殊性。同时将变量作为一阶实体，并且将其引入到有向图模型中去，可以对活动本身以及相互之间的依赖关系进行细致地描述，刻画了数据的读写操作规则。数据流要想保证其正确性，需要满足一下两个方面的条件：

　　首先，只要是输出的变量必须要经过定义。其次，同一个变量不能接收两个或者是两个以上的执行的活动。

　　总之，相关的研究工作正在不断发展和继续，同时也取得了一定的成效。本文主要在网构软件的基础上增加了对数据流的分析部分。同时着重地强调了数据以来关系对动态演化所产生的影响和制约作用。因此，需要将数据流分离出来进行探究，而不应该将其依附在控制流上。在此基础上，从过程模型和活动间的数据依赖关系等方面来进行特别的研究，最终保证判定结果的准确性和科学性。这就是网构软件服务动态性的可行性操作。

　　6、结束语

　　综上所述，为了保证网构软件动态模式的正常运行，需要保证其运行状态的有效性，这也是网构软件服务动态演化的重中之重。本文主要根据网构软件运行的基本特点以及着色Petri网的运行模式等对网构软件进行支持。并且分析了网构软件服务数据之间的依赖关系，并且将其分成惨呼和活动数据两方面的依赖关系，进而明确了数据流的约束关系。在此基础上，还对不同操作可能产生的数据错误进行了细致地分析和介绍，同时还提出了几点科学的可迁移性准则，保证了数据依赖关系上的一致性特征。通过具体的实验和相关的实例，得出真实且准确的数据，根据这些资料和数据，进一步保证了网构软件动态演化的可行性和实用性特点。已得到的结论对于网构软件的发展起到一定的促进作用，在这里提出一些展望目标，要对数据流和控制流应用到具体的工作中，进一步研究检测服务实例的可迁移性特征，并且实现迁移。

　　参考文献：

　　[1]宋巍，马晓星，胡昊，吕建.过程感知信息系统中过程的动态演化[J].软件学报.2011(03)

　　[2]周航，黄志球，张广泉，祝义，胡军.基于PTCPN的网构软件建模与分析[J].软件学报.2010(06)

　　[3]曾晋，孙海龙，刘旭东，邓婷，怀进鹏.基于服务组合的可信软件动态演化机制[J].软件学报.2010(02)

　　赵振