Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.

Mobile businessprocess modelingusinghigh level Petri nets

This paper aims at providing an effective modeling methods for more and more mobile business applications.First a high level Petri nets method-Xml nets is introduced,which combines the advantage of Petri nets and XML.Petri nets have strict mathematics and intuitionistic diagram expression way,rich system describing means and system behavior analytical technology,and the related powerful supporting tools.XML,as an extensible markup language,is already a information description de facto standard.XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively,which consequently enables the analysis and optimization of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency.In this paper,to demonstrate the modeling of the controlling flow and data flow of mobile business process,an instrument repair business case is modeled with XML nets.

A Metamodel-Driven Business Process Modeling Methodology and Its Integrated Environment for Reusing Business Processes

Reusing business process models and best practices can improve the productivity, quality and agility in the early development phases of enterprise software systems. To help developers reuse the business process models and best practices, we propose a methodology and an integrated environment for business process modeling driven by the metamodel. Furthermore, we propose a process-template design method to unify the granularity and separate the commonality and variability of business processes so that business process models can be reused across different enterprise software systems. The proposed methodology enables to create reuse-oriented business process templates before the business process modeling. To support the proposed methodology, we developed an integrated environment for creating, reusing and verifying the business process models. As the key techniques, we describe the methodology and its integrated environment, including a metamodel and notations. We applied the methodology and integrated environment to an actual enterprise software development project, and evaluated that the productivity of business process modeling is improved by at least 46%. As the conclusion, this paper contributes to prove the effectiveness of the meta-model driven business process modeling methodology for the reuse of business process models.

Exploring the Characteristics of Business Process Modeling Solutions in the Saudi Market

Business Process Modeling (BPM) is a mechanism that separates all business aspects from the underlying technological and implementation features of a system. The aim is to capture an organization’s processes and achieve its business objectives. Currently, there are many solutions for Business Process Modeling and Design offered by vendors. However, the selection of one solution or another by customers is usually conducted in an ad-hoc manner. Given the underlying environment that a customer might have and their limitations, there is no standard methodology that can help in the selection of the most appropriate solution. This paper therefore highlights the key characteristics of BPM solutions in the market to facilitate an understanding of the compatibility of a given solution with customer’s environments;hence, customers can then make informed decisions regarding their selections.

Business Process Modeling Based on Norm

As to the question that the current enterprise information system can not adapt quickly to shifting business, this paper mainly studied business process adaptability according to Norm and SOA and proposed a business process modeling method based on Norm. The purpose is to enable business change in the information systems more flexible and better meet the current market and customer demands.

Modeling of Business Processes of Project Financing

Need of transformation of means of support of project financing for commercial banks is proved.The analysis and modeling of business processes of project management by the contextual chart and the chart of decomposition is carried out that allowed to describe the main stages of project financing.With use of tools of programming the business application of project management which will promote operational assessment on selection of introduced drafts is created.

PERFORMANCE EVALUATION METHOD FOR BUSINESS PROCESS OF MACHINERY MANUFACTURER BASED ON DEA/AHP HYBRID MODEL

A set of indices for performance evaluation for business processes with multiple inputs and multiple outputs is proposed, which are found in machinery manufacturers. Based on the traditional methods of data envelopment analysis (DEA) and analytical hierarchical process (AHP), a hybrid model called DEA/AHP model is proposed to deal with the evaluation of business process performance. With the proposed method, the DEA is firstly used to develop a pairwise comparison matrix, and then the AHP is applied to evaluate the performance of business process using the pairwise comparison matrix. The significant advantage of this hybrid model is the use of objective data instead of subjective human judgment for performance evaluation. In the case study, a project of business process reengineering (BPR) with a hydraulic machinery manufacturer is used to demonstrate the effectiveness of the DEA/AHP model.

BPR Oriented Business Process Model Based on Petri Net

This paper focuses on BPR oriented business process model based on Petri net. First, the necessary features and requirements for BPR oriented model are analyzed. Then a BPR oriented business process model (BPM) based on Petri net is proposed, and two groups of its model mechanisms are discussed. Then, how to use the proposed BPM for modeling, analyzing and optimizing the business process is further explored. At last, an example is illustrated.

Application of the Business Process Reengineering Model in Steel Enterprises

To satisfy the instancy requirements of resources integration inside and outside the enterprises for resolving the uniformity of information resources for steel enterprises in competing environment, a control model of ISPS-ERP system integration is proposed. The schemes based on regeneration of operation flow are designed here. The well effects are achieved during the implementing course in XG enterprise.

A Process Oriented Integration Model for Smart Health Services

Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need to deal with the social and environmental challenges,caused by increasing urbanization.Currently,the development of smart services’integrated network,within a city,is facing the bar-riers including;less efficient collection and sharing of data,along with inadequate collaboration of software and hardware.Aiming to resolve these issues,this paper recommended a solution for a synchronous functionality in the smart services’integration process through modeling technique.Using this integration modeling solution,atfirst,the service participants,processes and tasks of smart services are identified and then standard illustrations are developed for the better understand-ing of the integrated service group environment.Business process modeling and notation(BPMN)language based models are developed and discussed for a devised case study,to test and experiment i.e.,for remote healthcare from a smart home.The research is concluded with the integration process model application for the required data sharing among different service groups.The outcomes of the modeling are better understanding and attaining maximum automation that can be referenced and replicated.

Process-oriented evaluation of agile business processes

Agile enterprises are built based on agile business processes. Simultaneously, agile enterprises must be able to utilize agile business processes to rapidly respond market opportunities and maintain enterprises’ competitions. But how to evaluate and choose agile business processes is a key problem about building agile enterprises. The paper proposes a goal driven method and an evaluation architecture for business processes’ agility. Furthermore, a four layer configuring model for agile business processes is developed based on the evaluation architecture and it can evaluate and configure agile business processes among alternatives.

Competency Driven Resource Evaluation Method for Business Process Intelligence

Enterprises are continuously aiming at improving the execution of processes to achieve a competitive edge.One of the established ways of improving process performance is to assign the most appropriate resources to each task of the process.However,evaluations of business process improvement approaches have established that a method that can guide decision-makers to identify the most appropriate resources for a task of process improvement in a structured way,is missing.It is because the relationship between resources and tasks is less understood and advancement in business process intelligence is also ignored.To address this problem an integrated resource classification framework is presenting that identifies competence,suitability,and preference as the relationship of task with resources.But,only the competence relationship of human resources with a task is presented in this research as a resource competence model.Furthermore,the competency calculation method is presented as a user guider layer for business process intelligencebased resource competence evaluation.The computed capabilities serve as a basic input for choosing the most appropriate resources for each task of the process.Applicability of method is illustrated through a heathcare case study.

Medical Treatment Process Modeling Based on Process Mining and Treatment Patterns

activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework can automatically generate more accurate MTP mod-els,and the subprocess models based on treatment pat-terns make the models easy to understand.

Event-driven process execution model for process virtual machine

Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.

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 workilow 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 worktlow 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 worktlow models can be checked thlx)ugh weak bisimulation theorem in the π-caleulus, thus facilitating the optimizationof business processes.

Modeling and Simulation of Textile Supply Chain through Colored Petri Nets

The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics that exist between any two members of supply chain;moreover, we model other activities performed by the company such as manufacturing clothing. The model has been built to acquire a better understanding about the behavior of a textile company in the fulfillment of requests from costumers. The model has been built using CPN Tools. This model was built with modules for activities of the supply chain textile, e.g. receiving orders of customers, determination of production plan, procurement raw material, transportation of raw material, production and delivering products to customers. This modularized model offers some advantages to represent complex supply chains according to their structure and requirements. Thus, we can add modules easily depending on the necessary activities.

企业流程重构的Meta-Model建模方法

本文介绍了企业流程重构的经济背景和基本概念．由于企业流程是企业流程重构的核心概念，文中引入了企业流程的定义，并对重构后的企业流程所具有的特点进行了深入的分析．最后本文提出了一种离散数学模型———ｍｅｔａｍｏｄｅｌ建模方法，对企业流程进行数学建模。

浅谈APP+3D打印快速成型技术商业模式加工模具的市场前景

对开发APP+3D打印快速成型技术加工模具的商业模式进行研究,报告了商业模式建立与产品加工开发方面情况,进行了商业模式风险影响和市场前景分析的调查,因此,开发APP+3D打印快速成型技术加工混合式的商业模式服务平台具有较好的市场前景。

基于家庭融合模型的场景化推荐能力研究

在移动运营商的家庭业务领域,早期一线人员面临营销对象的定位难、营销内容的匹配不佳、潜在需求难挖潜等问题或不足。基于此,文章特对此展开研究,提出了基于家庭融合模型的场景化推荐能力。端到端的业务推荐能力,采用基于用户画像的智能识客、基于场景适配的精准触客、基于产品推荐的高效促单、基于客户满意度提升的持续维系等手段,实现传统市场“个人”营销到“家庭”营销的转变。

Process-Oriented Requirements Engineering: User-Centric LORS Framework

In recent years, the process orientation requirements engineering field has received significant interest. However, dealing with ordinary users within an enterprise for developing as-is business process is very complex because this requires skills, responsibility, knowledge, and expertise of business processes. This research answers the following questions: 1) how to systematically gather information regarding as-is business process requirements in an informal environment and by non-expert users? and 2) how can an enterprise refine the identified business process with a semantic process model? The primary purpose of this research is to develop a supporting framework that is suitable for the definition of an as-is business process to be deployed within the enterprise environment. Hence, the focus is on gathering requirements to define the as-is business process. This framework concentrates on three significant aspects of this process: development, refinement, and serialization the semantics of the process model. To accomplish this objective, the LORS framework has been proposed, which consists of four phases (List, Order, Refinement, and Serialization). The framework presents a new unique technique to identify the business process, refine the process, and generate the model semantics. This study assumes that a simple and complete framework will help non-expert users define a high-quality as-is process, such that enhance and facilitate the matching process with existing reference models. We present a case study, evaluate the case study relative to specified criteria, and research the limitations and implications discovered from our research. This research concludes that the LORS framework is simple, flexible, visible, interactive, dynamic, and effective.