Using process-oriented, sequencing educational technologies: Some important pedagogical issues

In recent times, sequencing technologies are becoming increasingly used, both by the university and the industry sectors. In essence, these complex systems support sequencing of, and navigation through units of content. They come in two different types: SCORM-based and workflow-based systems. Current research efforts related to sequencing technologies concentrate mostly on technical issues, while the associated pedagogical issues remain unexplored.The main objective of this paper is to describe the most important pedagogical issues that need to be taken into account when implementing any type of sequencing educational technologies (either SCORM- or workflow-based). These issues were identified during an action-learning project related to the practical implementation of a workflow-based educational system. During the reflection phase of this project, these issues were then genarised, so they could be applied to any type of sequencing technology and in any application domain (teaching discipline). The paper describes how sequencing technology can be used to enable a more flexible learning experience (especially in terms of time and flexible learning pathways) and then proceeds with the detailed analysis of the associated pedagogical issues.     

基于CORBA和多Agent的模具敏捷制造的工作流管理

介绍了CORBA的工作原理，分析了模具敏捷制造的特点，提出了基于CORBA的模具敏捷制造工作流管理模型，并且将多Agent技术应用到该模型之中，使其具有清晰的结构，良好的开放性、集成性和自适应性。     

用工作流管理技术实现科研项目的管理

利用Lotus Workflow定制了生产任务审批等系统,并在历时近两年的应用中不断地进行完善,使系统的安全性、稳定性、可靠性有了一定的保障,提高了项目运行过程的文本化管理水平,积累了各项目运行过程中有价值的知识和经验,为项目管理机制提供了一种有效的手段。     

基于JAVAEE的工作流引擎设计的探究

工作流系统作为办公自动化软件重要组成部分,其不仅能将企业相应数据有效的和网络连接起来,同时也能将之前单独的计算机个体组成一个有机的并能自动化运行的网络系统,以便为企业提供更多信息,为企业更好的服务。就目前来看,工作流系统不仅仅在办公自动化软件中应用,在其他生产销售领域也得到了广泛应用。但是这种工作流数据在一定程度上还处于运转过程中,而新的基于JAVAEE工作流引擎程序在目前不同企业使用中,其效果还是比较可观的。本文主要从工作流管理系统概念及构成、JAVAEE技术概况、基于JAVAEE工作流引擎的设计等方面,对基于JAVAEE的工作流引擎设计进行相应探讨。     

基于HCPN的发电企业项目管理工作流建模

如何对工程项目的成本、进度、质量情况进行控制和跟踪是发电企业的重要问题,应用工作流可通过对业务流程的整合及资源的合理分配解决这一问题。本文基于分层着色Petri网(HCPN),将工作流过程模型的逻辑结构和语义与HCPN中的网结构进行映射,进而利用CPN-TOOLS定义基于HCPN的项目管理工作流过程模型,并利用化简原则对工作流模型进行畅通性验证。     

Association-Based Active Access Control models with balanced scalability and flexibility

In existing Active Access Control (AAC) models, the scalability and flexibility of security policy specification should be well balanced, especially: (1) authorizations to plenty of tasks should be simplified; (2) team workflows should be enabled; (3) fine-grained constraints should be enforced. To address this issue, a family of Association-Based Active Access Control (ABAAC) models is proposed. In the minimal model ABAAC₀, users are assigned to roles while permissions are assigned to task-role associations. In a workflow case, to execute such an association some users assigned to its component role will be allocated. The association's assigned permissions can be performed by them during the task is running in the case. In ABAAC₁, a generalized association is employed to extract common authorizations from multiple associations. In ABAAC₂, a fine-grained separation of duty (SoD) is enforced among associations. In the maximal model ABAAC₃, all these features are integrated, and similar constraints can be specified more concisely. Using a software workflow, case validation is performed. Comparison with a representative association based AAC model and the most scalable AAC model so far indicates that: (1) enough scalability is achieved; (2) without decomposition of a task, different permissions can be authorized to multiple roles in it; (3) separation of more fine-grained duties than roles and tasks can be enforced.     

具有时空约束的TRBAC模型在OA中的应用

本文提出了一个基于TRBAC（Task—Kole Based Access Contr01）具有时空约束的工作流授权模型TSC—TRBAC（Temporarily-SpatiallyConstrained Task—RoleBased Access Contr01）。所谓时空约束即用户执行任务的时候,不仅受到时间约束,而且还受到空间限制,包括对物理空间和逻辑空间的限制,这使得工作流的安全性得以保证。通过将该模型应用到具体的系统中,表明了该模型的可行性。     

基于Web Service及工作流技术的物流系统应用集成方案

物流企业内部及企业之间应用系统的集成问题已成为当前物流行业信息化的关键。本文分析了Web服务技术应用集成问题,利用工作流技术提出一种解决方案,该方案中应用以Web服务形式提供给工作流系统集成,同时给出基于此方案具体的体系结构以及工作流管理系统中的流程执行步骤。     

基于Petri-Net的流程验证新方法

为解决业务流程管理应用系统中模型可验证性支持不足的问题,文章立足于业务流程建模和验证方法研究领域现状,以理论研究为基础提出一种面向应用系统的流程验证新方法。该方法利用PetriNet网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以PetriNet网络不变量求解为根本的验证算法。文中设计了实验对算法进行了理论分析验证和应用仿真验证,由此证明了文中算法的有效性。此外,为了体现算法的应用效能,对算法进行了效率分析实验,实验表明算法在验证效率上要明显优于覆盖图和因果足迹法。最后,依据文章的研究结果开发了验证算法的实用工具程序包,并对其应用效果进行了展示。综合而言,本文设计的流程验证方法合理高效,适合在实际系统中进行应用。