排序方式： 共有58条查询结果，搜索用时 15 毫秒
11.
针对BPMN边界灵活的特点以及由此向BPEL4WS映射时带来的问题,提出利用概念化令牌作为中间元素,将BPMN边界至BPEL4WS边界的映射转化成两个步骤,解决BPMN向BPEL4WS映射时的边界确定问题。 相似文献
12.
Activiti 是用于管理业务流程的工作流引擎,它的使用降低了复杂业务流程开发与维护的难度。但在实际应用中,流程节点无法自由跳转,给管理和使用带来诸多不便。本文研究了 Activiti 中的系统框架和接口,基于现有接口设计实现了流程节点自由跳转功能,并进行了框架整合。测试结果表明,该功能满足各项既定功能需求,具有一般性,可满足实际工作中相关要求。 相似文献
13.
When a BPEL process is executed, it is necessary to dynamically monitor the process. BPEL is a executable language, which is not suitable for visual monitoring. On the other hand, BPMN is designed to visually describe business process and is more intuitive for monitoring. To visually monitor a BPEL process, transformation from BPEL to BPMN is necessary. However, current study of transformation from BPEL to BPMN does not support the transformation of \"link\" activity. Besides, no work has been done to add supplementary information into BPMN during transformation. In this paper, we transform nested BPEL process into a flat BPMN process graph without hierarchy through applying a flattening strategy. Especially, we analyze various scenarios of the transformation of link activity, and provide a method to deal with it. Besides, we analyze the mapping between BPEL activities and BPMN graph, through which we found out that some supplementary information cannot automatically obtained from BPEL process. These supplementary information need to be added during transformation. At the end of this paper, we present the structure of our monitoring tool which is based on our transformation algorithm. 相似文献
14.
Currently, inter-organizational process collaboration (IOPC) has been widely used in the design and development of distributed systems that support business process execution. Blockchain-based IOPC can establish trusted data sharing among participants, attracting more and more attention. The core of such study is to translate the graphical model (e.g., BPMN) into program code called smart contract that can be executed in the blockchain environment. In this context, a proper smart contract plays a vital role in the correct implementation of block-chain-based IOPC. In fact, the quality of graphical model affects the smart contract generation. Problematic models (e.g., deadlock) will result in incorrect contracts (causing unexpected behaviors). To avoid this undesired implementation, this article explores to generate smart contracts by using the verified formal model as input instead of graphical model. Specifically, we introduce a prototype framework that supports the automatic generation of smart contracts, providing an end-to-end solution from modeling, verification, translation to implementation. One of the cores of this framework is to provide a CSP#-based formalization for the BPMN collaboration model from the perspective of message interaction. This formalization provides precise execution semantics and model verification for graphical models, and a verified formal model for smart contract generation. Another novelty is that it introduces a syntax tree-based translation algorithm to directly map the formal model into a smart contract. The required formalism, verification, and translation techniques are transparent to users without imposing additional burdens. Finally, a set of experiments shows the effectiveness of the framework. 相似文献
15.
16.
智慧家庭服务系统是现代服务计算和云计算环境下服务系统的新形态和新应用,对智慧家庭服务业务过程的分析、建模与设计问题进行了研究.介绍了智慧家庭的新理念,提出了智慧家庭服务系统的体系结构.在详细分析家庭服务业务过程基础上,提出了基于BPMN建模语言的智慧家庭服务过程建模方法.最后以具有典型性的采购服务为例,建立了服务过程模型,并给出了设计与实现方案. 相似文献
17.
选取数控机床的主要耗能子系统即主传动系统进行研究,针对其加工过程中能量消耗动态变化且难以规范化描述的特点,通过主传动系统能量消耗动态性的分析,提出了一种基于业务流程建模规范BPMN2. 0的数控机床主传动系统动态能耗建模方法。该方法利用BPMN2. 0的符号和语义对主传动系统不同能耗单元的执行流程、配合关系进行描述,并利用数据关联集成建立的业务流程建模规范(BPMN)能耗模型,实现了制造过程中数控机床主传动系统能耗动态性的图形化表达与能耗计算。最后,以某数控铣床加工过程为例,对所述模型及方法进行了应用,验证了其有效性与准确性。 相似文献
18.
Process modeling and rule modeling languages are both used to document organizational policies and procedures. To date, their synergies and overlap are under-researched. Understanding the relationship between the two modeling types would allow organizations to maximize synergies, avoid content duplication, and thus reduce their overall modeling effort. In this paper, we use the Bunge–Wand–Weber (BWW) representation theory to compare the representation capabilities of process and rule modeling languages. We perform a representational analysis of four rule modeling specifications: The Simple Rule Markup Language (SRML), the Semantic Web Rules Language (SWRL), the Production Rule Representation (PRR), and the Semantics of Business Vocabulary and Business Rules (SBVR) specification. We compare their BWW representation capabilities with those of four popular conceptual process modeling languages. In our analysis, we focus on the aspects of maximum ontological completeness and minimum ontological overlap. The outcome of this study shows that no single language is internally complete with respect to the BWW representation model. We also show that a combination of two languages, in particular SRML and BPMN, appears to be better suited for combined process and rule modeling than any of these modeling languages used independently. 相似文献
19.
BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。 相似文献
20.
吴瑞琼;代飞;黄苾;段清 《电子技术与软件工程》2018,(1):50-51
定义业务过程间协同的交互契约是跨组织业务过程建模的核心关键问题。对象管理组织提出的业务过程模型和符号BPMN 2.0是业务过程管理领域事实上的工业标准。将BPMN 2.0中的编排应用于定义业务过程间的交互契约,不仅可直观描述交互契约,还可得到众多工具的支持,有利于业务过程间协同的实施。 相似文献