Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach

2015 ◽  
pp. 55-71 ◽  
Author(s):  
Ahmed Kheldoun ◽  
Kamel Barkaoui ◽  
Malika Ioualalen
Keyword(s):  
Petri Net ◽  
Business Processes ◽  
Specification And Verification ◽  
High Level

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

1998 ◽  
Vol 08 (01) ◽  
pp. 21-66 ◽  
Author(s):  
W. M. P. VAN DER AALST
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Business Processes ◽  
State Of The Art ◽  
Workflow Management ◽  
Explicit Representation ◽  
The Other ◽  
Application Domain ◽  
Analysis Techniques ◽  
The One

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.

scholarly journals Methodology of synchronization among strategy and operation. A standards-based modeling approach

2017 ◽  
Vol 37 (2) ◽  
pp. 111-119
Author(s):  
VICTOR EDWIN COLLAZOS ◽  
HELGA DUARTE AMAYA
Keyword(s):  
Information Technology ◽  
Information System ◽  
Enterprise Architecture ◽  
Business Processes ◽  
Modeling Approach ◽  
Operational Level ◽  
Alignment Process ◽  
Level Design ◽  
High Level ◽  
Help Model

Enterprise Architecture (EA) has gained importance in recent years, mainly for its concept of “alignment” between the strategic and operational levels of organizations. Such alignment occurs when Information Technology (IT) is applied correctly and timely, working in synergy and harmony with strategy and the operation to achieve mutually their own goals and satisfy the organizational needs.Both the strategic and operational levels have standards that help model elements necessary to obtain desired results. In this sense, BMM and BPMN were selected because both have the support of OMG and they are fairly well known for modelling the strategic level and operational level, respectively. In addition, i* modeling goal can be used for reducing the gap between these two standards. This proposal may help both the high-level design of the information system and to the appropriate identification of the business processes that will support it.This paper presents a methodology for aligning strategy and the operation based on standards and heuristics. We have made a classification for elements of the models and, for some specific cases, an extension of the heuristics associated between them. This allows us to propose methodology, which uses above-mentioned standards and combines mappings, transformations and actions to be considered in the alignment process.

scholarly journals Role of Stochastic Petri Net (SPN) in Process Discovery for Modelling and Analysis

2021 ◽  
Vol 2021 ◽  
pp. 1-7
Author(s):  
Shabnam Shahzadi ◽  
Xianwen Fang ◽  
David Anekeya Alilah
Keyword(s):  
Petri Net ◽  
Business Processes ◽  
Time Perspective ◽  
Process Mining ◽  
Vital Role ◽  
Process Discovery ◽  
Stochastic Petri Net ◽  
Event Log ◽  
The Stability ◽  
Generalized Stochastic Petri Net

For exploitation and extraction of an event’s data that has vital information which is related to the process from the event log, process mining is used. There are three main basic types of process mining as explained in relation to input and output. These are process discovery, conformance checking, and enhancement. Process discovery is one of the most challenging process mining activities based on the event log. Business processes or system performance plays a vital role in modelling, analysis, and prediction. Recently, a memoryless model such as exponential distribution of the stochastic Petri net SPN has gained much attention in research and industry. This paper uses time perspective for modelling and analysis and uses stochastic Petri net to check the performance, evolution, stability, and reliability of the model. To assess the effect of time delay in firing the transition, stochastic reward net SRN model is used. The model can also be used in checking the reliability of the model, whereas the generalized stochastic Petri net GSPN is used for evaluation and checking the performance of the model. SPN is used to analyze the probability of state transition and the stability from one state to another. However, in process mining, logs are used by linking log sequence with the state and, by this, modelling can be done, and its relation with stability of the model can be established.

Design and Implementation of an Event-Based RFID Middleware

2012 ◽  
pp. 110-131
Author(s):  
Angelo Cucinotta ◽  
Antonino Longo Minnolo ◽  
Antonio Puliafito
Keyword(s):  
Business Processes ◽  
Strong Impact ◽  
Rfid Technology ◽  
Application Development ◽  
Technological Level ◽  
Rfid Middleware ◽  
Reducing Costs ◽  
High Level ◽  
The Cost ◽  
Event Based

The downward trend in the cost of RFID technology is producing a strong impact on the industrial world that is using such powerful technology in order to rethink and optimize most of the existing business processes. In this sense, the chipless technology is playing a key role to facilitate the adoption of RFID in enterprises. All this implies the use of solutions that simplify the adoption of the continuously evolving RFID technology and allow keeping a high-level vision versus the specific technical details. In brief, it is mandatory to abstract the technological level and makes transparent the physical devices to the application level. The widespread use of the RFID technology also produces a large volume of data from many objects scattered everywhere, that have to be managed. In these complex scenarios, the RFID middleware represents an ideal solution that favors the technology integration, reducing costs for application development and introducing real benefits to the business processes. In this chapter, the authors describe the main features of our event-based RFID middleware and its powerful architecture. Their middleware is able to assure an effective process of technological abstraction, switching from a vision linked to the specific issues of interfacing devices (chipless tags, readers, sensor networks, GPS, WiFi, etc.) to the management of the event generated by each device. In brief, “event-based” means to integrate the management logic of different devices.

A Two-Tier Approach to Elicit Enterprise Portal User Requirements

2008 ◽  
pp. 1812-1821
Author(s):  
Eric Tsui
Keyword(s):  
Business Processes ◽  
Knowledge Work ◽  
Critical Issue ◽  
Content Management ◽  
User Requirements ◽  
Technical Problems ◽  
Business Units ◽  
Governance Model ◽  
Selection Decisions ◽  
High Level

Organizations are increasingly turning to enterprise portals to support knowledge work. Portal deployment can be intradepartmental across several business units in one organization or even inter-organizational. Currently in the industry, most of these portals are purchased solutions (e.g., collaboration and smart enterprise suites) and many of these purchasing and selection decisions are primarily driven by the interest of a small group of stakeholders with strong influence from IT vendors. The true requirements for the portal as well as the strategy for its medium- to long-term phased deployment are, in general, poorly addressed. This, together with other reasons, has lead to many failures or to a low adoption rate of the enterprise portal by staff at various levels of an organization. Common problems that hinder portal adoption include lack of an overall governance model, mis-alignment with business processes, poor or non-existent content management (process, tools, and governance), and technical problems associated with the development and configuration of portlets. This article focuses on one critical issue that directly influences the success of an enterprise portal deployment, namely the correct elicitation of user requirements (which in turn lead to the chosen portal’s features and to the style of the portal interface). Taking into consideration the advancement and landscape of commercial portal vendors in the market, this article discusses a bottom-up approach to the identification of high-level drivers for portal usages for its users.

Sign in / Sign up

Export Citation Format

Share Document