YAWL语言及其系统的初步研究

工作流和工作流管理系统的合理应用可大大提高办公自动化的程度,而现有的工作流系统在支持工作流基本模式上存在一定的缺陷。一种新出现的YAWL语言较好地支持了工作流现有的基本模式,文章就YAWL语言及其系统的执行方法进行了初步的研究。     

工作流管理系统的结构与应用

本文介绍了用于企业业务流程管理的工作流的结构和应用 ,详细地说明了各个阶段的功能实现以及工作流引擎等 ,最后讨论了工作流在实际实现中的各种应用。     

基于风险平台实施企业集成风险管理

企业集成风险管理(EIRM)是企业风险管理发展的必然趋势,工作团队的确定和工作流程的构建是目前EIRM实施的瓶颈所在。在分析国内外相关研究的基础上,通过采用项目目标管理(MBO)方法和项目组的三维空间模型确定了EIRM的项目团队,并结合EIRM的组织结构建立了EIRM的工作流程,使EIRM的实施通过项目平台得以实现。     

An intelligent service matching method for mechanical equipment condition monitoring using the fibre Bragg grating sensor network

Due to the advantages of being able to function under harsh environmental conditions and serving as a distributed condition information source in a networked monitoring system, the fibre Bragg grating (FBG) sensor network has attracted considerable attention for equipment online condition monitoring. To provide an overall conditional view of the mechanical equipment operation, a networked service-oriented condition monitoring framework based on FBG sensing is proposed, together with an intelligent matching method for supporting monitoring service management. In the novel framework, three classes of progressive service matching approaches, including service-chain knowledge database service matching, multi-objective constrained service matching and workflow-driven human-interactive service matching, are developed and integrated with an enhanced particle swarm optimisation (PSO) algorithm as well as a workflow-driven mechanism. Moreover, the manufacturing domain ontology, FBG sensor network structure and monitoring object are considered to facilitate the automatic matching of condition monitoring services to overcome the limitations of traditional service processing methods. The experimental results demonstrate that FBG monitoring services can be selected intelligently, and the developed condition monitoring system can be re-built rapidly as new equipment joins the framework. The effectiveness of the service matching method is also verified by implementing a prototype system together with its performance analysis.     

基于工作流和ARCSDE 技术的地籍管理信息系统设计与实现

研究目的：研究采用工作流和ArcSDE技术建立地籍管理信息系统,明确系统设计原则,确定系统设计路线,并建设功能模块。研究方法：以杭州市地籍管理信息系统建设为例,构建C/S、B/S结合等三层混合体系架构,采用宗地内部标识和时间维度实现宗地关联与历史回溯等关键问题。研究结果：（1）基于ArcSDE和工作流技术,采用C/S、B/S结合的三层混合体系架构,能很好地满足图文一体化地籍管理的日常应用需要;（2）将城、乡地籍管理业务数据统一管理和地籍日常业务审批自动化紧密结合,实现了城乡一体化数据图属关联和实时更新。研究结论：基于工作流和ArcSDE技术较好地解决了日常地籍业务办公与地籍空间数据动态管理同步和城乡一体化管理问题,具有较广泛的应用意义。     

高校学生信息管理系统中工作流的分析

根据高校的需求和工作流技术的应用现状,文章提出了一个基于工作流技术的高校学生信息管理系统的解决方案。工作流技术在学生管理系统中的应用包括流程的定义、使用、提示和监控。流程的定义使用π演算实现,流程的使用、提示和监控主要由工作流引擎实现。高校学生信息管理系统整合工作流技术,不但保证了高校学生信息管理系统的可靠性,而且提高了该系统的扩展性。     

工作流技术与企业信息化

工作流技术应用于企业信息系统中,有利于提高企业协作能力,整合企业各种信息资源,从而更好地实现企业信息化。本文主要论述了工作流技术的内涵,在企业信息化中应用的解决方案,以及如何将工作流技术应用于企业信息化。     

Context-Sensitive Access Control Model for Government Services

During the past two decades, e-government information systems have become less paper-based and more computer-based. Those information systems usually take the form of workflow systems. Due to the large social impact of e-government systems, computer security plays a pivotal role in ensuring its efficiency and effectiveness. Access control is one of the key aspects of computer security. Current access control models do not take into account the context of the system and its environment. In this article, we argue that a formal context-sensitive access control model can improve the development of e-government workflow systems and present a particular context-sensitive access control model. The subject of the article is a specification of the context-sensitive access control model for business processes (COBAC). By using a context-sensitive access control, it is possible to define more sophisticated access control policies that cannot be implemented by existing access control models. The COBAC's context is modeled using Web Ontology Language (OWL) in order to provide formal representation of context, rich representation of diverse contextual information, semantic interoperability between various context-aware systems, and a high degree of inference making. The presented model is applicable in different e-government systems, and supports the definition of access control policies for both simple and complex business processes. The model's prototype is verified by a case study on a real e-government business process—the national petty offense trial proceedings.     

轻量级工作流引擎LShark的研究与开发

文章基于关系数据库建模,构造一个轻量级的工作流引擎LShark。设计的主体是模型库与运行库,使数据库服务器和工作流引擎融为一体,既降低了开发工作流引擎的难度,又使其能和应用系统无缝连接,能够为在不同平台上开发工作流管理系统提供支持。     

Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns

We present work concerning the formal specification of business processes. It is of substantial benefit to be able to pin down the meaning of business processes precisely. This is an end in itself, but we are also concerned to do so in order that we might prove properties about the business processes that are being specified. It is a notable characteristic of most languages for representing business processes that they lack a robust semantics, and a notable characteristic of most commercial Business Process Management products that they have no support for verification of business process models. We define a high-level meta-model, called Liesbet , for representing business processes. The ontological commitments for Liesbet are sourced from the YAWL workflow patterns, which have been defined from studies into the behavioural nature of business processes. A formal characterisation of Liesbet is provided using Milner’s Calculus of Communicating Systems (CCS). In this article, we omit some of the technical details of this characterisation and instead present the essential features by means of an abstract machine language, called LCCS. We also explain how we have facilitated the verification of certain properties of business processes specified in Liesbet , and discuss how Liesbet supports the YAWL workflow patterns. We include a simple three-part example of using Liesbet .