基于WfSL的柔性工作流模型形式化定义

针对传统工作流模型柔性不足的问题,考虑各种动态需求以及流程中的可变因素,使用工作流规格说明语言WfSL对柔性工作流模型进行形式化定义,从而增加了模型定义的柔性,使其可以动态地进行过程、角色、状态和异常定义的修改,实现了工作流的动态性和灵活性。     

本体定义及本体代数

基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述.     

形式化描述在学习目标中的研究

对IMS学习设计规范中的学习目标进行了分析,并构建其概念模型,然后运用描述逻辑语言ALC对该模型进行形式化描述,定义了学习目标的相关概念,并通过不同的权值来表现对不同知识点掌握的高低程度。     

树突细胞算法的形式化描述

尽管DCA算法在各种入侵检测方面的成功应用证实了DCA在检测率方面具有很好的性能,但到目前为止,对DCA算法仍然缺乏一种严谨的、形式化的定义与描述。在总结前人的研究成果的基础之上,通过采用数学函数定义方法,定义了算法元素的数据结构,访问数据结构的过程操作函数,目的在于对DCA算法进行简单的形式化描述,将其应用于DCA算法中的伪代码当中,具有一定的有效性,为对DCA算法进行理论分析奠定了基础。     

通信软件系统开发中的形式化描述技术

本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。     

工作流管理的过去、现在和未来

工作流管理是一个新兴的研究领域,被誉为信息系统的后勤,它让合适的人或软件在恰当的时间执行正确的上作,使计算机上的业务处理流程自动化。本文用历史的观点对工作流管理的发展历程进行了回顾,揭示了工作流管理对未来信息系统的影响.根据分析当前的工作流管理系统,我们总结出两个十要不足之处:(1)工作流管理系统的定义不明确以及缺乏统一的概念模型,(2)工作流管理系统的系统结构和能力上的不足,并对工作流管理的未来发展趋势从建模和实施两个方面进行了预测.     

实时系统形式化描述和自动验证

实时系统是一种带有时间约束的计算机系统,这些系统许多动作的完成是与时间相关的,即要满足一定的时间限制,它需要在特定的时间范围内的对某些输入及时做出反应。例如,碰撞中汽车的安全气囊须在300毫秒膨胀开。它的许多嵌入式应用,都有一个共同的特点就是对实时性、安全性要求很高,都需要实时的形式化规范技术。     

一种Agent结构的形式化描述

以BDI模型为代表的Agent结构描述存在抽象、复杂和不完整等问题，很难应用于实际Agent的构造。基于物理和设计立场，提出一种新的Agent结构模型，并作了形式化描述。该模型克服了现有模型建立在纯意识系统基础上的缺点，解决了Agent模型与具体Agent结构、行为和目标的映射问题。用该模型构造的电子谈判实例验证了它的正确性和有效性。     

基于并行工程的产品开发过程管理的研究

并行工程采用集成化与并行化的思想来开发产品,强调在信息集成基础上的过程集成,运用工作流管理技术能够很好地达到此目的。在分析工作流管理技术的基础上,以冲压模具的开发过程为例来说明用工作流管理技术实现产品开发过程管理的     

分布式制造环境下的工艺设计过程管理研究

研讨了分布式制造环境下工艺设计过程管理的要素 ,提出了分级的工艺设计过程管理模型 ,并以之说明了分布式制造环境下工艺设计过程管理的方式 ,最后以上海汇众CAPP项目实例详细阐述了该模型的应用     

一种支持分布式事务的工作流定义语言SWDL

讨论了已有工作流定义语言在支持事务方面的优缺点,结合这些语言的特点,给出了分布式事务型工作流管理系统ScopeWork中的工作流定义语言SWDL(ScopeWorkDefinitionLanguage)的设计,并举例说明了使用SWDL对复杂的事务型工作流应用的定义·SWDL符合CORBA接口定义语言风格,支持分布式的工作流定义,并有能力描述复杂结构的事务型工作流     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

基于B/S的工艺工作流管理的研究

根据工作流管理联盟(WFMC)的工作流参考模型，结合Web技术，提出了基于B／S工艺工作流管理，阐述了基于B／S的工作流管理原理和工艺工作流管理，并在CAPP系统中实现了工作流管理功能。     

分布式数据库的通用交互环境的设计和实现

针对DIS体系仿真的要求，结合计算机数据库技术的研究现状，选择分布式数据库系统，同时将解决其分布处理问题，实现DIS体系仿真的分布式数据库的实时交互功能，建立一个这样的通用交互环境，用户可以对本地或异地数据库进行操作，包括创建、查询、修改、删除等操作，不需要用户了解太多的具体数据库产品和软件开发工具。对数据库进行了修改以后，任何站点的用户都可以实时地看到数据库修改以后的情况。从而为用户提供了灵活、方便的对分布数据库的操作手段。     

分布式工作流过程建模的实现方法

通过对分布式工作流定义的叙述,针对合作产品开发过程中建模和执行服务的基础进行分析,提出了分布式工作流建模的实现方法以及几种有效的模型。并且在工作流管理联盟给出的业务过程之间的交互模型基础上,分析各子过程之间的交互特点,研究了以WEB服务方式实现工作流执行服务之间的交互模型的实现方法。     

基于分布式网络并行环境的惩罚函数法

基于PVM分布式编程环境，将传统的惩罚函数法加以改进，提出惩罚函数并行算法的概念，该算法不但具有编程方便、可移植性强和能效地减少计算时间等优点，而且通讯量少，对传统的惩罚函法改动少，只需有一网络和PVM并行编程环境就能实现。     

基于活动预调度的工作流管理研究

在工作流管理中,通过将顺序执行的活动重叠执行来缩短过程执行周期、提高系统的执行效率,是长久以来大家关注的问题。传统支持过程管理的系统在这方面没有提供足够的支持手段。本文通过对实际应用情况的分析抽象,提出了用活动预调度的方法来解决以上问题,并针对项目管理型系统提出了解决方案:基于信息约束驱动执行的工作流管理机制。分析证明,预调度在实际工作流管理中是有意义且可行的。     

分布式任务调度算法的仿真环境研究

主要研究了分布式任务调度算法的仿真环境．首先给出了分布式任务调度算法的主要规则构成,然后提出了分布式任务调度算法仿真环境的一种系统结构,并说明了面向对象技术的设计和实现思想     

随机环境中具有迁移的分枝过程的灭绝性

设Y(n)表示在时刻n迁入或迁出系统的粒子,这些粒子在随机环境ξ→=ξ→∞={ξ-}-≥中做分枝运动,X(n)表示在时刻n时粒子的总数,这里给出了在平稳遍历环境中具有迁移的分枝过程X(n)的灭绝的条件.