基于Petri网的面向动态演化的软件体系结构建模

为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性。

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。

一种将需求模型转换为软件体系结构模型的方法

需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。

基于特征组合的软件需求建模

需求建模在需求工程中起着重要的作用。为了提高软件需求建模的效率和质量,提出一种基于特征组合的软件需求建模方法。首先,将特征分为功能性特征和非功能性特征;其次,形式化定义功能性特征的各个部件,包括原子功能性特征和复合功能性特征;第三,把功能性特征之间的特征组合抽象为特征运算,并提出了23条特征运算的公理;第四,形式化定义非功能性特征并通过其作用域把功能性特征和非功能性特征统一为软件需求模型;最后,给出了基于特征组合的软件需求建模过程。

基于EPMM的任务和活动的规范化研究

为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。

基于Petri网的软件动态演化的一致性分析

在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。

基于EPMM的软件过程模型规范化研究

为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。

论高校“三风”及构建逻辑

高校的校风、教风、学风“三风”三者完美的融合和有效的组织是优化育人环境、提高教育质量、塑造学校形象的有效手段。因此,任何一所高校都应注重“三风”的建设。本文主要针对高校“三风”的创建及建设进行构建。

一种超协调的软件演化需求元模型

为了建模包含非协调信息的软件演化需求,提出一个超协调的元模型,其主要部件包括:特征、演化需求和演化意图.首先,分析了演化需求的5个重要特征;其次,在形式定义特征的基础上,研究了特征之间的协调、层次和交叠关系;再次,在分析特征属性间的依赖和互斥关系基础上,形式定义演化需求和演化意图,使得演化需求能包含非协调信息而演化意图必须完整和一致;最后,把演化需求规范化为演化需求第一范式(1ERNF)到第四范式(4ERNF),演化需求规范化的过程提供了一种将演化需求转化为演化意图的方法.结果表明:提出的元模型可以有效支持演化需求的5个重要特征,为提高软件演化实施的质量和效率奠定基础.

营销策划决定着广告策划方向——广告策划必须体现4P意图及途径的教学体会

市场营销组合(the marketing mix),简称4P组合,是市场营销的核心理论,也是企业影响和刺激消费者需求的一种手段。营销策划是对企业营销整体战略与策略的运筹,决定着广告策划的方向,其实质是4P组合的过程。所以,广告策划必须体现4P意图。然而,广告策划如何做到体现4P意图,是教学的难点问题。4P组合析疑是前提,明确广告策划必须体现4P意图是关键,提出广告策划体现4P意图的途径是保证。

高校党建与和谐校园建设研究——把党的先进思想文化融入高校食堂管理的实践探索

"社会稳定看高校,高校稳定看后勤,后勤稳定看食堂。"高校食堂历来是高校后勤工作的重点、难点和焦点。把党的先进思想文化融入高校食堂管理,使食堂稳定发展和学生健康成长,既有利于高校食堂的管理和学生思想政治工作水平和质量的提高,又有利于推动和谐校园建设和社会的稳定。该文围绕把党的先进思想文化融入高校食堂管理问题,对高校党建与和谐校园建设进行了探讨,并对实践经验进行了总结。

论我国加入WTO必要性和可能性及其对策

我国加入WTO机遇与挑战并存.但WTO能为我国经济发展带来许多历史性机遇,因而是必要的;同时WTO也需要中国,加入也存在可能.当然,加入WTO其带来竞争压力也在所难免,只要未雨绸缪,采取相应策略应对,必能赶上世界经济发展潮流,成为21世纪商战的赢家.

一种软件演化过程模型的代数语义

随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.

浅论公关活动方式与创新思路

本文主要是对公关活动的方式和公关活动的创新问题进行一些总结性的浅论。

形象无价·形象建设·刻不容缓——论广西大学梧州分校形象建设的迫切性与可行性

形象无价！广西大学梧州分校(下称西大分校)正处在“机遇与挑战并存”的大发展转折时期,形象建设理应更为迫切;同时,形象构建有“迅猛发展”的事实支撑,因而可行。本文主要是针对西大分校目前形象建设力度偏弱问题,而对它应加大形象建设力度的迫切性与可行性进行论述。

谈广告策划实践教学的一点体会

本文主要是针对自身在广告策划实践教学中的一些体会进行浅论。

论电子商务全球化及我国推广对策

全球商务电子化大势所趋──未来１０年，电子商务不仅广泛应用于购物或交易，而且将深入到与人们密切相关的日常服务中。但影响我国电子商务发展的最大障碍不是技术问题、而是推广应用问题．本文就是在此论述的基础上，提出了我国应如何推广普及应用电子商务的对策。

结合Petri网和Pi演算的协同业务过程建模

协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。

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

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

协同业务过程的建模及正确性修正

由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够更加有效地对协同业务过程进行正确性修正.