网格工作流的语义模型及其查询机制

针对网格工作流的描述方法提出了一个新的视角:运用知识表达技术提供一个网格工作流的语义模型和查询机制,并将面向对象的继承思想引入到网格工作流表达的语义框架中,该框架是可扩充、可配置的,用户可以对新的类别定义新的语义框架,并可基于该继承结构的语义框架,进行有层次的工作流的查询.     

工作流机的操作语义

针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述.由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义.     

基于本体的工作流抽象模型

基于本体的抽象模型框架, 提出一种工作流的感知建模方法, 通过感知特定领域中实际运行的具体工作流获得构建该领域工作流抽象模型的知识, 既可为工作流模型的设计提供共享和重用机制, 也可直接构造该领域的工作流抽象模性, 实现工作流的部分或全部自动化运行. 并给出了工作流行为本体类和行为关系本体类的定义,  形式化地描述了两个本体类的动态构建和扩展过程, 同时给出了在基于本体抽象模型框架下的工作流抽象建模过程.     

面向生物信息学计算的网格工作流系统

针对生物信息学网格计算需求,提出了一种网格工作流管理系统模型,系统以Web方式为用户提供服务,通过与软件模块的交互实现良好的可定制的人机交互界面,使得不熟悉网格计算和工作流系统的人也可以快捷直观地操作使用.该系统能够自动地对工作流任务进行调度,然后通过网格中间件进行执行,并对任务进行监控和管理.论述了该系统的框架和实现原理,通过一个生物信息学计算实例说明工作流的定义、描述和使用流程;并且,通过与中国教育科研网格公共支撑平台CGSP工作流系统的对比,说明了该系统在可视化、便捷性上更符合生物信息学计算需求的特点.     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

一种基于工作流面向服务的分布式远程协同仿真系统

从面向服务的视角对分布式协同工作流进行了分析,提出工作流网格资源化的概念.定义工作流模型资源为网格资源,并遵照网格资源描述的规范描述工作流模型资源,实现从网格基础设施资源层支持协同工作流;同时以该工作流模型为原型,以面向服务的体系结构为基本框架,构建网格环境中协同工作流服务框架,实现了基于工作流的面向服务的分布式远程协同仿真系统.     

工作流系统UCON模型的研究

目前,随着工作流模式的大规模应用,任务访问控制管理变得越来越复杂,同时信息系统也对访问控制管理提出了新的要求．针对现有的访问控制模型方面的不足,笔者提出了一种在工作流模式下的使用控制模型WUCON,并形式化的表达了其18个核心子模型及其使用策略．     

数据仓库中数据抽取、转换及加载工具研究

分析数据仓库体系结构，描述数据加载过程中的不同实现方法．在实现过程中引入工作流的思想，提出了一种以工作流为模式的基于元数据的ETL模型，将数据加载分解成可配制的具有不同语义的过程，并给出了相关元素的定义，提供了一个可配置的具有良好伸缩性的ETL解决方案。     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

信牌驱动式Web工作流管理系统计算模型

近年来,随着计算机和网络的广泛使用,支持复杂业务过程,以实现业务流程自动化为目标的工作流管理系统引起了越来越多的关注。工作流的自动化执行有赖于对业务流程的形式化描述,以保证流程参与者之间的协同工作以及数据的一致性和过程的可靠性。因此流程建模(过程定义)是实现整个工作流管理系统的关键。本文提出了一种新的业务流程描述模型-信牌驱动式工作流计算模型,它是一个基于Web的工作流管理系统的理论基础。     

一种基于网格服务的分布式远程协同仿真系统研究

随着面向服务的体系结构(SOA)成为网格研究领域的基本共识,越来越多的应用领域开始涉足网格中来;其中分布式远程协同就是其中的代表. 从全新的视角对分布式协同的重要技术之一--工作流进行了分析,提出工作流网格资源化的概念;定义工作流模型资源为网格资源,并遵照网格资源描述的规范描述工作流模型资源,做到从网格基础设施资源层支持协同工作流. 同时以该工作流模型为原型,以面向服务的体系结构为基本框架,构建网格环境中协同工作流服务框架,从而实现基于工作流的面向服务的分布式远程协同仿真系统.     

基于全序语义结构化工作流的研究

针对业务过程的规范化建模问题,研究结构化工作流.证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式,提出了一种结构化工作流代数,并给出了其语义解释模型.在此基础上,形式化地定义了结构化工作流过程和结构化工作流过程函数,从理论上提供了构建规范化、合理化和柔性化业务工作流概念模型的表示方法和操作语言.医疗实例分析证明了结构化工作流理论在过程建模、再造和动态重组中的有效应用.     

工作流管理系统中基于角色的访问控制

在已有的基于角色访问控制模型基础上，提出了一个基于角色的安全工作流管理系统模型．讨论了安全模型的安全目标，给出了模型的形式化描述，分析了用户牵引方式和服务器牵引方式各自的优缺点，详细描述了在服务器牵引方式下的工作方式，同时讨论了动态授权时的一些安全机制．该安全模型较好地将基于角色的访问控制策略运用到工作流管理系统中，动态授权机制使得模型的安全性进一步提高．     

基于工作流的电子商务交易订购系统建模

随着Internet的高速发展和普及,电子商务已成为当前社会和经济发展中的一种重要交易方式。工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持。基于工作流技术为电子商务交易订购系统建立形式化模型。首先通过进程代数CSP的语法进行了定义,并采用CSP对常见的工作流模式进行描述。其次,应用工作流的CSP描述对电子商务交易订购流程进行建模。该模型符合原子性要求,能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述,有助于解决当前电子商务系统存在的诸多问题。     

一个基于本体的语义检索方法

提出一个基于本体的语义检索方法,利用领域本体知识对各类资源进行语义标注.把用户查询转化为形式化的SPARQL检索描述,再把执行查询后的结果扩展到相关的标注资源.     

基于工作流的电子商务交易订购系统建模

随着Intemet的高速发展和普及,电子商务已成为当前社会和经济发展中的一种重要交易方式.工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持.基于工作流技术为电子商务交易订购系统建立形式化模型.首先通过进程代数CSP的语法进行了定义,并采用CSP对常见的工作流模式进行描述.其次,应用工作流的CSP 描述对电子商务交易订购流程进行建模.该模型符合原子性要求,能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述,有助于解决当前电子商务系统存在的诸多问题.     

一种Web查询接口的语义模型

在分析、优化和整合Web表单结构的基础上,形式化地描述了表单;基于一种新型的本体构造方法,对表单建立了语义模型;这种模型可用于机器自动识别表单、准备数据和提交查询,也有助于获取查询结果的语义;最后举例说明了表单建模过程.实验证明这种建模方法是可行的,为自动查询动态Web内容奠定了基础.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.