模型驱动工程在分布式实时嵌入式系统QoS评价中的应用

在分析传统的分布式实时嵌入式系统开发过程中,针对服务质量(QoS)评价方法存在弊端的问题,总结了运用模型驱动工程(MDE)对分布式实时嵌入式系统的服务质量进行管理,将服务质量评价引入系统开发周期的各种探索,指出该方法应解决的几个关键问题,并分析了几种具有代表性解决方案的优缺点,提出了解决方法和建议.     

基于AHP的企业绩效网络考核系统设计

企业绩效具有多维性的特点,考核对象较多、考核指标复杂、主观评价指标权重难以确定使考核有一定模糊性,难以保证可靠与公平.使用层次分析法对考核指标划分层次结构,进行定性和定量分析,结构清晰,数据准确,提高了绩效考核的准确性.在算法实现中采用公式自动生成、自动计算的方法,即时给出结果分析和报表,减少了用户工作量.针对某企业的具体情况,开发了网络考核平台,为企业绩效考核提供了新的工具和思路.     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

基于标号随机Petri网的GSM性能分析

GSM移动通讯网络系统是目前国内覆盖最广、可靠性最高、容量最大、保密性强的公共无线数字传输系统.GSM通信分系统在车载单元与监控中心之间进行数据传输,其性能优劣对车载定位系统起着十分重要的作用.结合实时UML状态机的直观、平台无关性特点和LSPN的理论分析能力,研究了GSM通信模块的工作模式,结合实例初步探索了该方法在移动通讯网络性能分析中的适用性.     

S-组合Petri网的活性分析与实现

设Σ１＝（Ｎ１，Ｍ１），Σ２＝（Ｎ２，Ｍ２）是两个Ｐｅｔｒｉ网，且不含有冻结标志，Ｎｉ＝（Ｓｉ，Ｔｉ；Ｆｉ），ｉ＝１，２，Ｔ１∩Ｔ２＝Φ，Ｓ１∩Ｓ２≠Φ，本文定义了Σ１，Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ，通过引入Ｐｅｔｒｉ网互逆位置序偶的概念，深入研究了Σｓ的活性，给出了Σｓ有界活的几个判定条件。若Σ１，Σ２是两个活的Ｐｅｔｒｉ网，最后提出了一种实现Ｓ－组合Ｐｅｔｒｉ网活性的控制装置。     

基于圆形窗口的简单多边形裁剪算法

提出了一种新颖而实用的圆形窗口Ｖ对多边形Ｐ的裁剪算法。它将多边形Ｐ的边视为有向线段，通过引入多边形顶点的入边和出边交点的概念，深入研究了Ｐ被Ｖ裁剪后的区域确定问题，给出了作出Ｐ在Ｖ内部分的定理     

圆与多边形重叠区域的判定算法

本文提出了一种实用的圆与多边形重叠区域的判定算法，它集判断与确定功能于一体。该算法将多边形的边视为有向线段，通过引入多边形顶点的入边，出边交点的概念，研究了圆与多边形重叠区域的确定问题，并给出了作出其重叠区域的定理。     

T—组合Petri网络活性和公平性分析

同步合成是研究复杂Ｐｅｔｒｉ网络系统性质的有效途径。文中通过引入可引发变迁序偶的概念,研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系,给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件。这些结果对网组合同步设计具有重要的指导意义。     

基于逻辑Petri网的服务流程结构演化研究

流程结构演化是实现服务流程重构的一种有效手段,可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而,当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换,对于流程结构演化所提供的操作过于简单,难以应对复杂流程演化场景.针对上述问题,提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网,在服务网的基础上,针对不同的演化需求构建相应的结构演化运算;引入结构范式概念评价服务流程的结构健壮性,并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架,并基于所提出结构演化运算设计开发了仿真验证平台,验证了方法的有效性.     

Web服务组合的有色网模型及运算性质

定义了一种基于有色Petri网的Web服务组合模型,这一模型能清晰表达服务组合中各组成部分之间的逻辑关系,并可模拟组合服务的执行,分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．