基于面向服务构架的用户界面集成方法

在面向服务计算中,往往需要调用外部接口来集成第三方工具.为了集成那些未提供接口和源代码的工具,提出了一种基于脚本语言的黑盒方法,将外部工具的用户界面集成到分布式环境中,并且允许用户以服务的形式执行一系列预先制定的界面操作,从而实现相关的功能.设计并实现了基于面向服务架构的从服务包装到服务调用的各个环节.     

基于动态代理的BPEL恢复机制*

提出了一种基于动态代理的方法来提高流程的可靠性。该方法使用面向方面技术扩展BPEL引擎来拦截调用伙伴服务,并由动态代理与伙伴服务交互。如果伙伴服务失败,则动态代理动态地发现并调用等价服务。动态等价服务发现结合了传统的基于关键字的服务发现和基于本体的服务发现两种技术。采用消息转换机制来解决失败服务与替换服务之间接口不匹配的问题。此外,还提供了基于浏览器的管理界面来帮助设计人员管理替换服务和消息转换规则。最后,通过实验分析表明该方法是一种可行的方案。     

基于开放编译的面向对象程序静态分析器*

采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器Open C 进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。     

BPEL流程静态优化技术研究

提出了一种基于同步和并发分析的业务流程执行语言(BPEL)流程静态优化算法．该算法首先利用同步分析技术对流程中的同步结构进行处理: 细化流程的同步粒度、删除冗余的同步依赖和增大流程的并发度; 然后采用程序依赖图对流程进行数据流与控制流分析,利用节点合并-重组算法减少流程中顺序活动的数量,进一步增大流程的并发度．实验表明,该算法能够有效提高流程的执行效率,减少流程的执行时间．     

BPEL流程数据竞争和死锁检测算法研究

针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法．首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁; 通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争．该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性．实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性．     

ICSL:一种用于仿真实体智能化控制的脚本语言

研究一种用于仿真实体智能化控制的脚本语言ICSL(Intelligent Control Scripting Language)．分析领域特征,将语言的语义划分为领域相关语义和领域无关语义;对领域相关语义进行编码,结合形式化描述方法和构造工具,定义ICSL并实现其解释器;通过解释器将ICSL,语言描述的智能化控制策略翻译为仿真系统中实体的行为序列,为用户提供了一种灵活表达控制策略的手段．此外,ICSL还采用元数据控制策略实现了多个侧面的扩充机制,从而解决了语言系统难以定制和演化的问题．     

高艺集团的六大核心战略管理

在长期的装饰工程实践中，我们逐渐摸索出自 己的“最新六大核心战略管理”（简称一、二、三、四、五、六管理），愿与同业同仁交流探讨，以求共同进步，为我国建筑装饰行业可持续发展多作贡献。 一、一个整体 将勤奋、战略、创新连成一个整体是提高我们竞争力的全部秘密。 二、二个严格 一是，严格每月考核一次。 二是，严格各项管理制度的执行。 三、三家文化 一是，道家文化 对公司高层管理人员借鉴道家文化管理。道家文化的核心是“无为而治”，无为而治是我们管理的最高境界，公司只制定战略目标，不管高层的运作过程。 二是，儒家文化…     

一种基于面向侧面技术的并发式软件建模方法

基于面向侧面（Aspect-Oriented）技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。本方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中，并通过事件广播机制反映二者的交互关系。同时，以模块化的状态迁移系统 （Modular Transition System）作为基本计算模型，对该建模方法进行形式化描述，给出了模型元素及建模过程的精确语义。实例研究表明，该方法在并发软件设计阶段实现了横切关注点的分离策略，并使得系统模型具有松耦合、适应性和可跟踪性的优点。     

逆向工程中动静态结合辅助用例模型的恢复

由于根据目前方法调用之间的“线索”或方法调用的相互关系恢复出的用例模型存在一定的局限性，该文提出了一种基于动态信息并结合静态信息的用例模型恢复方法。该方法以动态运行时的方法调用序列提取基本用例，依据静态的类间关系和静态的程序依赖图对基本用例进行调整、找出用例与角色的交互点及各用例所属的功能模块，使产生的用例模型带有语义信息，更好地辅助用户理解。     

二维场计及横向漏电流影响的感应电机损耗与转矩分析

通常中小型电机多应用感应电机,通过转子斜槽的结构达到抑制寄生转矩、电磁振动和噪声等目的,同时斜槽结构会增加转子导条间的横向电流,影响感应电机的起动性能以及电机效率.因此,该文主要研究横向电流对单斜槽感应电机性能的影响,通过总结单斜槽感应电机中横向电流在转子表面的分布规律,提出一种能计及横向电流的2D多截面有限元模型,相...