基于战略的组织与管理业务流程重构

在吸取企业实施BPR经验基础上,分析了当前企业在实施BPR中的问题,提出了一种基于战略的自上而下的业务流程重组的方法.通过战略目标/竞争策略矩阵、组织设计等理论分析以及确定协作战略、基于IT重新划分组织结构、BPR实施三个步骤的实施确保企业的业务流程重组是站在战略高度上进行的,从而为企业组织与管理业务流程重构提供了一个新的思路.     

基于协调理论的跨组织业务流程分析和设计方法

本文针对传统理论和方法的不足，提出了一个较为系统的跨组织业务流程分析和设计方法，该方法充分汲取了协调理论的精华，通过组织协调元素寻找和分析流程中存在的依赖关系及其协调机制，诊断流程在依赖关系的管理方面存在的薄弱环节，并通过使用新的协调机制来管理现有的或被忽视的依赖关系，为流程设计和改进指明了方向，实现电子商务环境下组织间和组织内部业务流程的无缝连接，创造全新的、高效的业务流程。     

基于区块链的协作流程数据共享与访问控制

为解决基于区块链的协作业务流程难以支持大规模数据存储、缺乏动态可追溯访问控制方案等问题,设计一个协作业务流程管理框架.该框架基于区块链智能合约技术开发,采用星际文件系统技术支持数据文件的链下存储,并在此基础上结合任务与属性访问控制模型支持可追溯、细粒度和动态的数据访问控制.来自助听器行业的一个真实案例测试结果表明,该框...     

基于MAS系统的动态web服务组合形式化建模研究

动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.     

开源软件整合技术的分析

随着各种开源软件在教学中得到越来越广泛的应用,开源软件整合成为教育信息化进程中的重要课题。由于整合所涉及的技术广泛且不易把握,因此需要建立整合的技术范型来形成总体观。本文首先分析了整合的基本模式。然后通过对整合的核心问题的分析,提出了将pi-演算作为整合的设计语言。最后从领域语言角度分析了实现pi-演算的关键技术。     

基于关联主义网络协作学习的要素模型探讨

关联主义学习理论强调合作而非竞争,强调在网络中学,在关系中学,这些核心理念与网络协作学习的思想高度一致.本文在文献研究的基础上,首先对传统意义上的网络协作学习进行解构,抽出其基本组成要素,然后在关联主义的视角下,对这些要素重新进行定义,并尝试解释各要素之间的关系,最终建立了新的网络协作学习要素模型.然后再以此为基础提出了促进网络协作学习的几个相关策略.本研究的最终目的是为研究网络协作学习提供一种新的视角和思路.     

基于π-演算的web服务流的分析与建模

为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.     

结合Petri网与进程代数的业务过程协同模型研究

业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS（Process Labeled Transition System）,对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。     

基于因果行为轮廓的业务流程模型配置检测与优化方法

业务流程模型的不合理配置会导致系统出现异常行为,因此对业务流程模型配置的适合性检测显得尤为重要.已有的研究主要集中在不合理配置的活性分析上,对于一些业务流程满足活性但存在不合理的配置问题存在明显不足.本文利用因果行为轮廓的弱序关系,通过寻找与配置变迁同现的关联变迁,并分析相关的异常库所状态集,在此基础上提出了一种检测模型配置适合性方法.考虑了关联变迁集和异常库所状态集在业务流程模型中所占的比重算出模型的适合性度,并根据业务流程模型结构对低适合度模型进行优化,使得模型适合性度提高.最后通过一个具体实例验证了该方法的可行性.     

“双创型”材料类研究生的多维度培养探究

"多维度培养"有机整合了理论教学、校内试验、基地实践、和自主创业研究五个环节,并建设"教、研、思、训"四位一体的教师共同体,从而促成理论和实践结合、教师建设与学生实践协作相长,实现学生、学校和企业的多赢局面.通过对研究生多维度的培养,协调教学、实践环节的运作机制,切实促进研究生创新创业能力的提高.     

Active Learning through Modeling: Introduction to Software Development in the Business Curriculum*

Modern software practices call for the active involvement of business people in the software process. Therefore, programming has become an indispensable part of the information systems component of the core curriculum at business schools. In this paper, we present a model‐based approach to teaching introduction to programming to general business students. The theoretical underpinnings of the new approach are metaphor, abstraction, modeling, Bloom's classification of cognitive skills, and active learning. We employ models to introduce the basic programming constructs and their semantics. To this end, we use statecharts to model object's state and the environment model of evaluation as a virtual machine interpreting the programs written in JavaScript. The adoption of this approach helps learners build a sound mental model of the notion of computation process. Scholastic performance, student evaluations, our experiential observations, and a multiple regression statistical test prove that the proposed ideas improve the course significantly.     

基于价值链思想的商务协同与优化算法的研究

提出有关协同商务的相关概念和价值链的思想。从动态策略联盟的角度出发，通过价值链思想建立企业间的协同，提出协同算法，从而得到协同商务的优化模型，并通过一个简单例子加以验证。     

Approach for workflow modeling using π-calculus

As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π-calculus, thus facilitating the optimization of business processes.     

基于Petri的电子政务网络学习模型研究

本文分析了现有电子政务培训机制存在的问题,根据电子政务培训的特点,提出了一种符合电子政务教学活动特性和要求的、针对网络学习的学习流程控制模型,并详细论述了学习活动中各环节的相互协作关系,通过采用Petri网对其进行了动态建模。     

知识管理元模型及其应用

知识管理建模是知识管理实践的基础．现有研究中，知识管理建模研究主要集中在概念框架层次，建模方法和工具的研究还相当薄弱．在分析、综合知识管理概念模型的基础上，提出了一个知识管理元模型．该元模型的核心包括组织结构定义元模型、流程定义元模型、资源定义元模型和知识定义元模型四个子模型．基于元模型，开发了一个知识管理建模工具．     

家族企业内部治理结构的动态多维演化

家族企业在发展和传递过程中,随着不断吸纳和融合外部资金和社会人力资本,必然引起家族企业所有权与经营权的变化以及企业内部管理岗位和企业控制权的重新配置,使家族企业的外部表现形态和内部治理结构均发生变化,从而使家族企业内部治理模式呈现动态多维演变的过程。     

港口作业系统的结构建模及其HLA仿真

提出了构建集装箱港口多式作业系统的分布式仿真模型的建模方法,阐述了分布式仿真建模中系统的分解问题以及各子模型整合过程中数据的交互一致性等关键问题。在分析系统作业活动的基础上,采用解释结构模型原理对系统进行分解,在此基础上,设计仿真联邦及其成员、联邦对象模型、联邦成员间的交互关系和作业时序等,并基于高层体系结构平台HLA实现了仿真模型。     

基于社会文化理论的商务英语教学动态评估

教学评估是促进学生学习并检验教学质量的必要过程环节。以维果茨基的社会文化理论为主要理论基础的动态评估兼重学习过程监控和学习效果考评,将其纳入我国商务英语教学评估体系的教学设计及其实施效果表明,将动态评估与传统静态考试评估相结合,有利于实现优势互补,促进商务英语学习者知识、能力和素养的全面发展。     

复杂适应系统理论及其对二语习得研究的启示

复杂适应系统理论是Holland于1994年正式提出的新一代系统理论,迄今已在经济、生物、哲学以及社会科学等领域得到成功应用.同样,该理论也为学者研究语言提供了新的理论框架.本文就是在这一背景下尝试探讨其对第二语言习得研究中的个体差异研究、写作研究以及研究方法的启示.个体差异是语言、主体和环境互动的产物,是动态化和过程...