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.

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 ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated 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 optimi- zation 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 in- strument 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.

A New Methodology for Process Modeling of Workflows

Workflow-based systems are typically said to lead to better use of staff and better management and productivity. The first phase in building a workflow-based system is capturing the real-world process in a conceptual representation suitable for the following phases of formalization and implementation. The specification may be in text or diagram form or written in a formal language. This paper proposes a flow-based diagrammatic methodology as a tool for workflow specification. The expressiveness of the method is appraised though its ability to capture a workflow-based application. Here we show that the proposed conceptual diagrams are able to express situations arising in practice as an alternative to tools currently used in workflow systems. This is demonstrated by using the proposed methodology to partial build demo systems for two government agencies.

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.

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.

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.

A method of manufacturing process modeling based on activity network for large-sized and complex products

Simulation technique is an efficient approach to realize the planning and scheduling of manufacturing process of products. An appropriate and efficient manufacturing process model is the basis and key of manufacturing process simulation. By analyzing the features of large-sized and complex products, a method of manufacturing process modeling based on activity network is presented and a mapping algorithm of translating BOM/BOP into the manufacturing process model is designed in detail.

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.

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.

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.

Stochastic Model for Multiple Classes and Subclasses Simple Documents Processing

The issue of document management has been raised for a long time, especially with the appearance of office automation in the 1980s, which led to dematerialization and Electronic Document Management (EDM). In the same period, workflow management has experienced significant development, but has become more focused on the industry. However, it seems to us that document workflows have not had the same interest for the scientific community. But nowadays, the emergence and supremacy of the Internet in electronic exchanges are leading to a massive dematerialization of documents;which requires a conceptual reconsideration of the organizational framework for the processing of said documents in both public and private administrations. This problem seems open to us and deserves the interest of the scientific community. Indeed, EDM has mainly focused on the storage (referencing) and circulation of documents (traceability). It paid little attention to the overall behavior of the system in processing documents. The purpose of our researches is to model document processing systems. In the previous works, we proposed a general model and its specialization in the case of small documents (any document processed by a single person at a time during its processing life cycle), which represent 70% of documents processed by administrations, according to our study. In this contribution, we extend the model for processing small documents to the case where they are managed in a system comprising document classes organized in subclasses;which is the case for most administrations. We have thus observed that this model is a Markovian ML×K/ML×K/1 queues network. We have analyzed the constraints of this model and deduced certain characteristics and metrics. In fine, the ultimate objective of our work is to design a document workflow management system, integrating a component of global behavior prediction.

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.