首页 | 官方网站   微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 265 毫秒
1.
Despite the correct deployment of access control mechanisms, information leaks can persist and threaten the reliability of business process execution. This paper presents an automated and effective approach for the verification of information flow control for business process models. Building on the concept of place-based non-interference and declassification, the core contribution of this paper is the application of Petri net reachability to detect places in which information leaks occur. Such a feature allows for the use of state-of-the-art tool support to model-check business process models and detect leaks. We show that the approach is sound and complete, and present the Anica tool to identify leaks. An extensive evaluation comprising over 550 industrial process models is carried out and shows that information flow analysis of process models can be done in milliseconds. This motivates a tight integration of business process modeling and non-interference checking.  相似文献   

2.
Business processes described by formal or semi-formal models are realized via information systems. Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade. By comparing an existing process model with event logs, we can detect inconsistencies called deviations, verify and extend the business process model, and accordingly improve the business process. In this paper, some abnormal activities in business processes are formally defined based on Petri nets. An efficient approach to detect deviations between the process model and event logs is proposed. Then, business process models are revised when abnormal activities exist. A clinical process in a healthcare information system is used as a case study to illustrate our work. Experimental results show the effectiveness and efficiency of the proposed approach.   相似文献   

3.
企业的发展与并购这种自底向上的发展方式常常导致企业内部业务流程的异构、冗余和不一致,严重阻碍了业务活动的运作和企业的统一决策。为解决这一问题,基于业务模式的异构业务流程整合方法将流程中的业务行为抽象为业务模式,通过对业务模式的建模得到业务模型,从而给出异构业务流程统一模型视图。辅佐以可配置的业务模式,统一视图的业务模型可根据具体的应用场景配置为具体的业务模式,得到具体的流程。然而,关于业务模型的执行方法目前仍然是一项挑战。提出了一种基于jBPM5的业务模型执行方法,通过对模型中可配置的业务模式节点引入业务规则,并借助规则引擎执行规则驱动模式的执行,从而执行整个业务模型。最后,以中国移动公司办公系统内部发文流程模型整合应用为例,基于jBPM5和Drools开发了业务模式流程整合执行机制,验证了该方法的有效性。  相似文献   

4.
A business process is a set of activities performed in a coordinated manner within an organizational and technical environment that is aimed toward a business goal. The flexibility of a process is related to an understanding of the unexpected events that occur when people, systems and resources interact and require adjustments. Thus, business processes must be designed to respond to information about different events and their specificity. This information defines what the literature calls “context”. To broaden the perception of context in the case of a business process, this work proposes an approach to characterize the context of a business process activity in a given domain through conceptual models structured in layers. A case study was conducted to evaluate the proposal, which provided evidence of the applicability of the model.  相似文献   

5.
企业的一项重要任务就是对现有企业过程进行有效的改善和革新。这项工作设计是为了达到减少成本、提高质量和效率而进行的企业过程的简化和减少非增值过程的两项活动。提出一种利用超图理论对企业过程描述和简化的方法。首先通过带参数的有向超图为企业过程模型;然后根据最小化等超图理论总结出过程优化的三条规则,用于简化企业过程,识别和减少非增值活动。  相似文献   

6.
针对从初始需求出发逐步构造业务过程模型的问题,提出了一种场景驱动的业务过程模型设计方法。该方法强调场景在整个业务流程中的作用,并以此为核心驱动整个业务过程模型的设计。最后依据设计场景规约抽取构件行为,并进行构件组装与绑定,从而形成结构良好,内容完备的可执行业务过程。最后以实例说明了该方法的应用。  相似文献   

7.
为了提高工作流过程定义的效率,提出了一种基于复用的工作流过程定义方法。文中讨论了构建和描述可复用资产——领域业务本体和工作流模板的方法,给出了基于领域业务本体检索工作流模板的方法。在此基础上,开发了基于复用的过程定义工具PDTBR,并在实际使用中验证了该方法的可行性与有效性。  相似文献   

8.
This paper introduces the ideas behind BPML, the business process modelling language published by BPMI. BPML provides a process-centric (as opposed to a datacentric) metalanguage and execution model for business systems. It is underpinned by a strong mathematical foundation, the pi-calculus. The current paper is derived from supplementary appendices to a book which describes a ‘third wave’ approach to business process management [Business Process Management: The Third Wave, 2003]. The aim is to model business processes directly in an executable form, so that the mobility and mutability inherent in business behaviour is reflected and supported in the corresponding IT systems, erasing the present IT-business divide.  相似文献   

9.
In order to remain competitive and sustainable in today's ever-changing business environments, organizations need to frequently make changes to their business activities and the corresponding business process models. One of the critical issues that an organization faces is change impact analysis: estimating the potential effects of changing a business process to other processes in the organization's business process repository. In this paper, we propose an approach to change impact analysis which mines a version history of a business process model repository. Our approach then identifies business process models that have been co-changed in the past and uses this knowledge to predict the impact of future changes. An empirical validation on a real business process model repository has showed the effectiveness of our approach in predicting impact of a change.  相似文献   

10.
目前,电子政务系统一般通过业务过程模型支持电子政务业务处理,而当前已有的业务过程模型在灵活性和安全性方面尚存在不足。为此,提出了一种适合于电子政务中业务处理的过程模型,它将多变的业务规则从过程流中分离出来,通过耦合机制实现业务规则与过程流的结合。该模型简化了过程流的定义,使过程流的变更相对容易,而且可以在不改变过程流的情况下独立、便捷地维护业务规则,确保业务处理的安全性。最后给出了一个使用该模型的电子政务业务处理应用实例。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号