典型航空制造企业业务建模与分析

通过对典型航空制造企业业务过程、活动的分析研究,建立了典型航空生产企业的功能模型、数据模型和过程模型,其中主要介绍了生产设计系统,同时采用IDEF建模方法,用BPWIN4.1建模工具建立其功能模型和过程模型,运用建模分析方法对企业业务过程的进行了优化和改良。     

基于BPMN和本体推理的跑道入侵危险识别

跑道入侵的危险识别是控制跑道入侵发生率的重要研究基础。通过应用业务流程建模与标注,对跑道入侵发生场景进行业务流程建模;在此基础上应用HAZOP方法对跑道入侵发生场景进行危险分析。建立HAZOP节点分析本体,构建概念间的TBOX描述逻辑关系并推理;此方法的案例应用表明,综合BPMN、HAZOP和本体的危险识别方法能够更好分析系统内复杂交互行为所带来的危险,并实现HAZOP分析的标准化,是一种比传统HAZOP分析更为有效的方法。     

一种面向业务过程管理的企业资源模型

目的解决业务过程管理系统中过程建模与过程执行过度耦合的问题。方法通过对组织机构/角色模型的分析,提出了将过程控制逻辑进一步分解为路由逻辑与管理逻辑的思想,提出了描述管理逻辑的企业资源模型并进行了形式化描述。结果通过把企业中的功能作为一种资源由资源管理系统进行管理,实现了路由逻辑与管理逻辑的分离,使过程定义与执行之间的耦合程度大大降低。结论基于企业资源模型的业务过程管理系统,具有模块更清晰、柔性更突出、分解粒度更小等优势。     

基于业务过程的生产系统仿真模型

提出了一种基于业务过程的、融合了PETRINET等分析语义、面向对象的生产系统仿真建模方法．文中将生产系统分解成概念模型、环境模型和语义模型，描述了每层模型的建模方法，最后以敏捷制造条件下的生产系统模型为例，描述了这种建模方法的面向对象建模过程．     

基于随机时间Petri网的第三方物流业务流程建模与分析

以流程为核心对供应链进行再造是优化供应链的重要措施．而对流程进行量化的分析评价是近年来流程再造研究的热点．Petri网以其兼备图形化的描述方式和严格的数学定义的特点而成为目前流行的业务流程建模工具．给出随机时间Petri网的定义及其性能评价方法之后,对第三方物流业务流程进行建模和分析。     

卡银行系统业务模型的分析和建立

笔者针对卡银行系统进行业务建模,得到卡银行系统的概念模型、逻辑模型和物理模型。通过探讨卡银行系统业务系统架构以及业务流程实施方法,阐述了采用标准化流程引擎实现SOA架构的系统整体解决方案。研究还讨论了流程引擎的抽象模型以及三种主流开源工作流引擎,并比较了各自的优劣。以上研究的成果验证了本实验室自创并一直沿用的SOA三层模型建模方法的有效性。     

企业信息化工程模型及其集成化支撑环境

分析企业信息化工程建设过程以及企业信息化需求、企业过程建模、应用系统构造与工程项目管理的内在联系,提出由需求工程、过程工程、应用系统工程和支持工程组成的4元立体企业信息化工程模型,将企业业务过程和应用系统的开发应用有机地集成在同一开发空间和运行空间.在此基础上,初步完成了企业信息化工程建设的支撑环境原型系统的设计,它包括4大构件系统:需求工程环境、企业过程环境、应用系统工程环境、支持工程环境.它的完善与推广应用将有利于我国企业信息化工程建设.     

基于UML的BOSS系统结构设计

移动通信业务运营支撑系统(简称为BOSS)分为计费、结算、营业、帐务和客户服务等分系统,各分系统间通过一定的接口相互通信,以完成对整体业务的支撑作用．标准建模语言(UML)是一种构建软件系统和文档的通用可视化建模语言,它对系统模型的表达能力超出了以往任何一种面向对象的分析和设计方法．作者以BOSS系统的开发过程为例说明UML在其中的应用以及它为用户建模提供的强大支持．     

面向领域工程的CRP系统构件化开发建模

为实现客户资源计划(CRP:Customer Resource Planning)系统的可重构开发,在领域工程指导下,通过对CRP系统开发过程的研究,建立并分析了构件化开发模式.结合UML(Unified Modeling Language)与业务构件的优点,提出了基于UML的业务构件建模方法.该方法可以很好地模拟业务过程并将其平滑地过渡到软件实现,从而减少了"B-T"隔阂.在整个生命周期内,业务构件模型具有紧密跟踪业务过程模型、应用软件模型和物理数据库模型的能力,通过领域分析、设计与实现之间无缝集成,实现系统的快速重构.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于ROAD元架构的企业系统业务架构建模

根据以业务架构为中心的企业架构开发思路,通过对开放组架构框架(TOGAF)业务架构ACF元模型面向四类描述模型组合的划分,提出了一种基于ROAD元架构的迭代建模方法,使得TOGAF业务架构在包含全部必要信息的前提下能够以一组简单明确的模型表达,为后续的应用架构及信息系统架构开发明确需求.并以一个简化的游乐园区智能手环系统为例,说明基于ROAD的业务架构建模过程.     

基于DAML-S和扩展Petri网的Web业务流程建模方法

为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,用DAML-S来描述流程模型,然后利用结合了DAML-S的UDDI注册中心来查找最佳服务,并在执行阶段动态调用合作伙伴提供的Web服务,从而实现了在企业间相对通用的一些业务流程的动态集成.通过一个实例对整个过程进行了验证讨论.     

基于ROAD-CPN业务架构的可执行建模方法

开放组架构框架（TOGAF）业务架构作为数据架构、应用架构和技术架构的基准，在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性，存在无法对系统业务架构框架动态特征进行分析的问题，故提出一种基于ROAD业务架构的着色petri网（CPN）可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型（RM）、组织模型（OM）、活动模型（AM）和数据模型（DM），建立4类模型不同描述形式与CPN建模语言间的对应关系，进而提出以RM，OM，AM和DM为主体的可执行模型五阶段建模方法。最后，以幼儿园智能晨检机器人系统业务架构为例，验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成，打破了业务架构建模语言和CPN建模语言之间的限制。     

基于仿真方法验证IDEF3过程模型的有效性

经营过程建模中对模型的有效性验证是过程分析优化的基础。现有的过程模型有效性验证方法单纯追求算法的高效率,只能针对特定模型验证某些过程结构的合理性,不适合经营过程的复杂性需求。该文提出了一种基于仿真方法的有效性验证算法,在确保验证算法效率的基础上,能够验证扩展的IDEF3过程模型的3种逻辑错误:结构死锁、同步丢失和对象不匹配,从而不仅能够验证过程逻辑结构上的不合理,还能够对参与过程的对象所造成的不合理进行验证。     

UML在电子商务系统中的业务建模应用

电子商务的发展方兴未艾,相关产业的营销目前正处在从传统型向电子商务转化阶段,转变过程中需要应用和集成最新的信息技术,以达到对网络信息资源最有效地利用和共享.统一建模语言UML是一种定义良好,易于表达,功能强大且适用广泛的建模语言.业务模型关注系统针对的业务,并不是每个项目都需要业务模型,但是有时业务模型的作用很大.在利用UML建立电子商务系统模型和开发软件系统时,首要任务就是建立系统的业务模型.该文以电子商务系统(E-Commerce)为例详细论述了Use Case 以及如何运用正确的Use Case 建立系统业务模型的方法.     

基于面向服务业务流程管理的系统架构建模

信息时代对业务流程管理结合面向服务架构的需求愈发显著,针对现阶段该领域研究中,概念与建模语言相脱节、忽视计算无关模型到平台无关模型的转换、难以贯穿系统多个视图等不足,将业务流程管理(BPM)与面向服务架构(SOA)方法结合应用到面向服务系统架构的业务流程建模。通过区分本体元模型与标记元模型的概念,在两种元模型之间分别建立映射关联:语义层映射和语法层映射,并以BPMN和SoaML为具体建模语言分两步推理实现。最后将所提出的建模方法及BPMN和SoaML之间的映射规则应用于一个游乐园智能手环系统架构建模案例中,验证了方法的可行性。     

Integrated Enterprise Modeling Method Based on Workflow Model and Multiviews

IntroductionThe implementation of a CIM system is a verycomplex process that needs the guidance andsupport of enterprise modeling methodology.Thedevelopment of CIM system theory andmethodology has produced many results in thefield of system modeling,analysis and design,such as CIM Open System Architecture ( CIM-OSA) [1] ,GRAI Integrated Methodology ( GRAI-GIM) [2 ] ,Purdue Enterprise Reference Architecture( PERA) [3 ] ,Architecture of Integrated InformationSystem ( ARIS ) [4 …     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

基于Petri网的工作流技术在信息系统中的应用

以某汽车零配件供应商开发的产品数据管理系统PDM-flow为研究背景,分别介绍了基于工作流技术的信息系统的体系结构、各组成部分的实现方法、系统开发模式以及使用Petri网设计业务过程的一些经验。系统体系结构借鉴了国际工作流管理联盟的(WFMC)工作流参考模型,以工作流引擎系统JBPM为核心构件实现了工作流管理系统的各个组成部分,希望对工作流技术和Petri网技术的使用以及实现类似系统有一定的借鉴作用。