3维GIS空间建模方法评述

3维(3D)空间建模方法是3DGIS研究的核心和难点之一,是建立3DGIS的基础。迄今为止,3D空间建模方法多种多样,建模对象不同,建模方法也随之不同。根据3D空间建模研究的对象,以地球表面为界分为地理空间建模和地学空间建模两大类,并通过现有3D空间建模方法的对比研究,提出了现有3D空间建模研究的关键问题。     

使用ARIS进行动态业务流程建模

为了能够在当今高度竞争的商业环境中生存和发展,企业需要不断改进自身的业务流程。显然,对业务流程进行动态建模可以大大提高项目重新设计的成功可能。本文对利用ARIS进行业务流程进行动态建模做了可行性研究;同时,文章还对业务流程模型的仿真进行了讨论。最后本文给出了一个关于ARIS动态建模应用在保险公司的实例。     

基于层次泳道的业务流程最优化建模

业务流程技术是企业管理、应用和集成领域的一个研究热点,而业务流程建模是其应用中的关键问题之一。针对流程建模自动化程度低、缺乏有效评价等不足,提出了基于层次泳道的最优化建模方法。该方法只需给出流程各活动的描述,便可根据活动间的推演关系自动构建流程全图;然后对可能流程进行层次泳道化;最后,综合流程的执行代价和泳道的均衡度,从层次泳道化模型中选择最优者为最终的业务流程建模。结合遗传算法对港口集装箱业务流程进行了最优化建模。实际应用表明,该方法建立的业务流程能有效地均衡码头的业务负载,提高码头的作业效率。     

支持复杂事件处理的业务流程建模研究

现有的流程建模语言缺少对复杂事件的支持.通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件.在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网关的图形表示.最后通过实例来说明用BPMN建模时遇到的问题以及如何用CE-BPM建模解决问题的.     

模型驱动的业务流程建模工具

业务流程管理与面向服务架构为企业的高效整合提供了解决方案。基于模型驱动开发理论,提出一个精炼的业务流程元模型,解决模型间的转换问题,探讨模型实例控制流结构和语义的校验方法,根据模型驱动架构设计并实现基于该元模型的流程建模工具。     

基于模型的业务流程建模平台研究与实现*

提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。     

一种基于Prolog的时间约束业务流程验证方法

随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。     

基于强化学习的业务流程中的柔性约束研究

软件业务流程需要较高的灵活性和适应性。目前,众多的方法集中在流程建模阶段,通过一些方法提高流程的灵活性,却忽略了流程的运行阶段。由于外界环境的变化具有动态性,在建模阶段不易对其描述。由于外界环境的变化能够在运行阶段体现出来,分析流程的运行阶段是必要的。以流程中的约束为研究内容,通过对流程运行阶段的数据进行分析,提出一种基于强化学习的柔性约束模型,以提高流程的适应性。同时,将该算法应用于一类以用户为中心的复杂信息系统,实例分析表明算法是实用和有效的。     

基于CPN的业务流程执行语言建模

提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性。在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证。     

基于地理本体的空间数据库概念建模

针对用E-R模型建立空间数据库概念模型存在的不足之处,将本体论的思想和方法引入到地理信息领域。讨论了地理本体的意义及其表达语言。阐述了空间E-R模型的特点,分析了地理本体和空间E-R模型之间的关系。提出了以地理本体为语义基础设计空间ER模型的思想,并用扩展OWL表示的灌溉本体为例,介绍了从地理本体出发,设计空间E-R模型来建立空间数据库概念模型的方法。     

基于POSC的油田业务分析与建模方法

通过分析总结国际石油数据模型标准POSC模型的业务域和业务流程的划分方法和描述方法,结合国内油田企业业务特点,以测井解释等业务为例研究其中的油田业务分析与建模方法。     

基于CIMOSA功能视图的经营过程建模方法研究

介绍一种基于ＣＩＭ开放系统体系结构功能视图的经营过程建模方法,并用面向对象的方法设计了建模工具,使用户可以方便有效地构建企业的内部经营过程,以这些功能单元为主体集成企业其它信息,可使企业真正成为高效,合理的经营过程的集合体。     

Entity-Centric Operations Modeling for Business Process Management: A Multidisciplinary Review of the State-of-the-Art

The entity-based approach for operations modeling was published for the first time three decades ago. Specifically, the notion of entities as the main subjects of processes and entity life-cycle as a technique for dynamic modeling of operations were introduced independently by K. Robinson in 1979, C. Rosenquist in 1982 and M. Jackson in 1983. This modeling work emerged in clear contrast with static entity-relationship modeling found in the data-base tradition. These three pioneer contributions and other substantial research done at the realm of information engineering, structured systems analysis and social sciences in the 80''s and 90''s have established an important foundation for business operations modeling. On the other hand, Business Process Management (BPM) has continued to receive great attention from practitioners and scholars. Being one of the main hinges between theory and practice of business operations, BPM enjoys contributions from several domains of research such as economics, social sciences, engineering and computing. In spite of its steady growth, the industry side of BPM seems to have evolved somewhat unaware of related progress in the above sister disciplines. Specifically, recent claims on the need to integrate information and activities in process modeling and some rediscoveries of core ideas from entity-based dynamic modeling offer some examples of the disconnection. These and other findings suggest that the BPM field may not have yet fully benefited from the work done in the tradition of structured analysis, information engineering and process theory schools. Furthermore, the possibility of using entity life-cycle for modeling operations addressed by Case Management is an important byproduct. Entity-based life cycle offers a conceptual framework to integrate different types of enterprise operations whose modeling has not yet been reconciled in the BPM tradition. This paper presents an in-depth, multidisciplinary review of the state-of-the-art on entity life cycle modeling. The focus of this review is exclusively on modeling concepts and methodology while tools, programming models and other aspects of entity-life life cycle implementation will be addressed in companion papers. This review should also help pave more holistic approaches to business process modeling.     

工作流管理系统业务约束的研究

目前，工作流管理系统得到了广泛的应用，但现有的工作流管理系统只能模拟业务流转逻辑，缺少对业务约束的模拟。鉴此，本文提出了工作流管理系统业务约束的概念，建立了业务约束模型，并给出了整合业务约束和业务流转逻辑的方案。并提出了在已有工作流管理系统中实现业务约束的方案。     

基于目标的业务流程概念建模

人类的行为主要由目标驱动,企业的业务流程应该尽量多地包含那些为用户创造价值的行为,而行为则应该为业务流程目标服务。提出基于目标的业务流程概念模型框架,并以目标-行为的细化分层关系为基础,自底向上反向生成与各个子目标相匹配的流程片段,给出行为和业务流程片段对目标的支持度的评估分析,以为用户构建业务流程概念模型提供决策指导。     

Guidelines for Business Rule Modeling Decisions

Business process models are used heavily in practice as a basis for process improvement, systems development, and understanding business operations. While prior research has identified a clear need for integrating business rules into graphical business process models, there is little guidance on the circumstances under which business rules should be integrated into business process models. Unnecessary integration may hamper business rule reuse, increase business process model complexity, and lead to difficulties with business rule modification, to name a few. Accordingly, it is important to understand when such integration is appropriate. The aim of this article is to address this need for guidance on when business rules should be integrated in process models, and when they should remain separate. To this end, we explain 12 factors posited to influence such modeling decisions, conduct an empirical study to identify their importance, and develop empirically based modeling guidelines that inform business rule modeling decisions.     

业务流程模型的BPEL实现

由于BPEL语言的XML表示十分冗长以及没有形式化的分析技术,其抽象级别不适合用于业务流程分析和设计.而业务流程分析师和设计者更容易接受高级别的抽象模式,例如BPMN(Business Process Modeling Notation).很多建模工具支持BPMN,但是到目前为止没有系统可直接执行BPMN模型.因此,需...     

用Pi演算为业务过程建模的生命周期

随着企业竞争日趋激烈,业务过程建模技术变得越来越重要.由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具有对模型进行形式化分析与验证的整套理论体系.从生命周期的角度入手,探讨如何把形式化方法更有效地应用于商业过程建模.主要工作在于提出了基于Pi演算的生命周期,探讨了生命周期各个阶段使用的技术和工具.     

业务流程授权约束依从性分析

授权约束的依从性研究是业务流程安全领域中的重要研究内容.针对授权约束提出了全新的业务流程依从性分析框架,该框架可以处理：1)流程授权和非流程授权;2)业务流程任务委托;3)角色继承关系;4)职责分离和职责绑定约束;5)静态约束和动态约束.提出授权图表示依从性分析框架,并给出授权图的构造和化简方法对授权图进行维护,然后设计了针对授权图的依从性分析算法.基于分析结果,给出了不依从授权约束的冲突模式,针对每一种冲突模式设计一组解决方案,并实现了原型系统.所提出的授权约束依从性分析框架独立于系统部署的平台,适用范围广泛.最后通过实例分析和实验验证说明了该方法的有效性.