Search results

Business process models, while primarily intended for process documentation, communication, and improvement, are often also used as input for developing process-oriented software systems (Ouyang et al., 2009). Ensuring correctness, handling complexity, and improving reusability and maintainability of business process models are important for all these goals. The purpose of this paper is to propose an aspect-oriented business process modeling and correctness controlling method based on Petri nets to satisfy these goals.

The aspect-oriented paradigm provides a proper mechanism to modularization, and thus reduces the complexity of models, and also improves reusability and maintainability. However, weaving aspects into base processes may bring in mistakes or errors. To ensure correctness of modeling, this paper presents a formal approach to modeling aspect-oriented business processes and a method to ensure modeling correctness. Petri net is used as the process modeling language and its analysis techniques are applied to analyze the correctness of modeling. Two types of correctness, specifically, aspect-aspect correctness and base-aspect correctness are analyzed. A real banking process model is studied systematically in the case study to evaluate the approach and the performance assessments are conducted to show the cost and effect of the approach.

Designing aspect-oriented business process models help organizations reusing the model elements to reduce redundancy of their model repository, improving their maintainability, and supporting them to adapt to the changes of business requirements with flexible modeling. It is important to stress that the correctness of business process modeling is important in ensuring the quality of the models, especially in the safety-critical business domains, such as financial business domain.

In this paper, separation of concerns is used to separate the cross-cutting activities and core activities in accordance with the different functions of these activities, and an approach to modeling aspect-oriented business processes is proposed. First, the cross-cutting activities are encapsulated as aspects, while core business activities are modeled as base processes. Then, according to the correctness requirements of business process models, based on the weaving mechanisms of aspect-oriented approach, weaving correctness is defined. Weaving correctness controlling methods between multi-aspects and between aspects and base processes are designed. Errors or mistakes of aspect-oriented business process modeling are prevented during the procedure of modeling to ensure error-free business process modeling.

Many features constitute an adaptive system such as user model, interface specification, business functionalities and service implementation. Context awareness is an important facet of service oriented application creation dealing with the gathering, use and representation of context information. Generally, user interfaces and services communities work separately on the adaptation process and do not converge. The aim of this work is to manage the system’s functionalities and the user interface that delivers data to the relevant consumer early since the design phase until the code generation.

The authors discuss how a unified method based on a model-driven architecture for adaptive user interface and pervasive service creation eases the work of designers and developers, limits incompatibility issues and supports dynamic generation of systems adapted to different contexts of use.

The proposed approach is able to support a semi-automatic ubiquitous application generation with service, behavior, presentation and content adaptation.

In this paper, the authors tackle context-awareness at two levels: system functionalities and user interface generation. The authors also tackle adaptation at the specification and implementation levels.

The purpose of this paper is to create the inventory scheduling model for supply chain system.

Aiming at the problems of analysis and modeling of multi‐agent system, an agent‐oriented Petri net (AOPN) model is proposed by introducing the characteristics of agent based on Petri net, and formalization definition of AOPN is presented. Combined with the inventory scheduling in supply chain system, inventory scheduling model based on AOPN is constructed. On the basis of the inventory scheduling model, its program model is designed. Then the reachability of the inventory scheduling model is analyzed and its soundness is verified.

The AOPN model and inventory scheduling model based on AOPN in supply chain system are found.

The reasonable basic function design of various agents are main limitations.

A very useful tool of analysis for the modeling of inventory scheduling in supply chain system.

The paper presents a new modeling method of inventory scheduling in supply chain system. This paper is aimed at researchers and engineers.

When a railway emergency occurs, it often leads to unexpected consequences, especially for trains of higher speed and larger passenger flow. Therefore, the railway emergency plan, a pre-established plan to deal with emergencies, plays an important role in reducing injuries and losses. However, the existing railway emergency plans remain as plain-text documents, requiring lots of manual work to capture the important regulations. This paper aims to propose a visualized, formal and digital railway emergency plan modeling method based on hierarchical timed Petri net (HTPN), which is also of better interpretability.

First, the general railway emergency plan was analyzed. Second, the HTPN-based framework model for the general railway emergency plan was proposed. Then, the instantiated model of electric multiple units rescue emergency plan was built by ExSpect, a Petri net simulation tool.

The experiments show that the proposed model is more digital and of better readability, visualization and performability, and, meanwhile, can generally conform to the practice well, offering a promising reference for future analysis of the optimization of railway emergency plans.

This study offers a promising reference for future analysis of the optimization of railway emergency plans.

The purpose of this paper is to propose a model for a two-agent multi-target-searching scenario in a two-dimensional region, where some places of the region have limited resource capacity in terms of the number of agents that can simultaneously pass through those places and few places of the region are unreachable that expand with time. The proposed cooperative search model and Petri net model facilitate the search operation considering the constraints mentioned in the paper. The Petri net model graphically illustrates different scenarios and helps the agents to validate the strategies.

In this paper, the authors have applied an optimization approach to determine the optimal locations of base stations, a cooperative search model, inclusion–exclusion principle, Cartesian product to optimize the search operation and a Petri net model to validate the search technique.

The proposed approach finds the optimal locations of the base stations in the region. The proposed cooperative search model allows various constraints such as resource capacity, time-dependent unreachable places/obstacles, fuel capacities of the agents, two types of targets assigned to two agents and limited sortie lengths. On the other hand, a Petri net model graphically represents whether collisions/deadlocks between the two agents are possible or not for a particular combination of paths as well as effect of time-dependent unreachable places for different combination of paths are also illustrated.

The problem addressed in this paper is similar to various real-time problems such as rescue operations during/after flood, landslide, earthquake, accident, patrolling in urban areas, international borders, forests, etc. Thus, the proposed model can benefit various organizations and departments such as rescue operation authorities, defense organizations, police departments, etc.

To the best of the authors’ knowledge, the problem addressed in this paper has not been completely explored, and the proposed cooperative search model to conduct the search operation considering the above-mentioned constraints is new. To the best of the authors’ knowledge, no paper has modeled time-dependent unreachable places with the help of Petri net.

This paper seeks to propose a methodology based on Petri nets to evaluate the reliability parameters of a screening system in paper industry. The effects of failures and courses of action on the system performance have also been investigated.

Generalized stochastic Petri nets (GSPN), a class of Petri nets, has been used to model the interactions amongst the active/standby units of the system; and Markovian approach has been used to evaluate the reliability parameters. The data related to equipments' operational behavior were collected, processed and quantified. Using the data, reliability analysis of system in the long run conditions has been carried out. The sensitivity analysis has been performed to study the effect of failure/repair rates of each unit of the system on system performance.

The methodology adopted in this paper provides a better understanding on the behavior of the system through its graphical representation. The reachability graph generated with Petri net model helps to identify the state space evolution of the system.

Reliability analysis of a screening system of the paper industry presented in this paper will help management in deciding upon the maintenance strategy to be adopted with the objective of improving the performance of the system and consequently reducing the operational and maintenance costs.

The purpose of this paper is to demonstrate that process mining techniques can help to discover process models from event logs, using conventional high-level process modeling languages, such as Business Process Model and Notation (BPMN), leveraging their representational bias.

The integrated discovery approach presented in this work is aimed to mine: control, data and resource perspectives within one process diagram, and, if possible, construct a hierarchy of subprocesses improving the model readability. The proposed approach is defined as a sequence of steps, performed to discover a model, containing various perspectives and presenting a holistic view of a process. This approach was implemented within an open-source process mining framework called ProM and proved its applicability for the analysis of real-life event logs.

This paper shows that the proposed integrated approach can be applied to real-life event logs of information systems from different domains. The multi-perspective process diagrams obtained within the approach are of good quality and better than models discovered using a technique that does not consider hierarchy. Moreover, due to the decomposition methods applied, the proposed approach can deal with large event logs, which cannot be handled by methods that do not use decomposition.

The paper consolidates various process mining techniques, which were never integrated before and presents a novel approach for the discovery of multi-perspective hierarchical BPMN models. This approach bridges the gap between well-known process mining techniques and a wide range of BPMN-complaint tools.

This paper aims to propose a methodology based on Petri nets to evaluate the reliability characteristics of the pulping system of a paper industry in a realistic working environment. The effects of occurrence of failure/course of actions and availability of repair facilities on system performance have been investigated.

Stochastic Reward Nets (SRN), an extension of Petri nets, are applied to model the interactions among the active/standby units of the system and reliability parameters have been evaluated using Monte Carlo simulation.

The methodology adopted in this paper provides a better understanding of the behavior of the system under varying operating conditions. Reliability analysis of a pulping system of a paper industry presented in this paper will help the management in deciding upon the maintenance strategy to be adopted to improve the performance of the system and consequently reduce the operation and maintenance cost.

The application of the proposed technique will not only help the reliability engineers/managers/system engineers to understand the dynamic behavior of complex systems but also helps to plan/adapt suitable maintenance policies to improve system reliability/availability.

Knowledge‐based timed colored object‐oriented Petri net (KTCOPN) is presented as a modelling method for a reconfigurable assembly system (RAS) in this paper. Compared to the conventional flexible assembly systems, the configuration of a RAS will allow flexibility not only in assembling a variety of products, but also in changing the system itself. Combining knowledge and object‐oriented methods into timed colored Petri net, allow the characteristic of RAS to be fully expressed. With object‐oriented methods, the whole system can be decomposed into concrete objects explicitly, and their relationship is constructed according to the system assembly requirements. Finally, a simple assembly system modeled by the KTCOPN is given.

This paper reviews existing business process (BP) modeling languages that are widely used in the industry as well as recent research work on modeling and analysis of BPs in the service-oriented environment and Internetware-based software paradigm. BPs in such environment are different from traditional BPs due to loose coupling of partner services, dynamic and on-the-fly selection of partners and run-time process adaptability. The unique characteristics of these BPs require formal modeling of the requirements and constraints in each phase of their life cycle, including design phase, implementation and deployment phase and execution phase.

The paper first provides a categorization of typical user requirements in each phase of the BP life cycle. Then a detailed comparison of the selected languages with respect to their requirement modeling and analysis capabilities in each of the identified categories is provided. The paper also discusses new requirements engineering research challenges arising from future software needs and emerging trends in software engineering in the context of Web-services-based BPs and Internetware.

There is a need to have a framework that provides support for user requirements modeling and analysis for all the phases of BP life cycle in an integrated manner. Such a framework would be useful not only in resolving the inconsistencies between requirements across phases but also in addressing the issues related to BP evolution due to changes in user requirements over time. Moreover, with the Internet of things (IoT) adoption in BPM, there is a need to have an integrated environment that provides support for capturing the resilience requirements of enterprise BPs as well as the mobility constraints of the underlying IoT devices.

This paper reviews existing BP modeling languages and frameworks and discusses the new requirements engineering research challenges arising from future software needs and the emerging trends in BP management in the service-oriented environment and Internetware-based software paradigm.