scholarly journals The 4 x 4 Semantic Model: Exploiting Data, Functional, Non-functional and Execution Semantics Across Business Process, Workflow, Partner Services and Middleware Services Tiers

2008 ◽  
pp. 16-26
Author(s):  
Amit P. Sheth ◽  
Karthik Gomadam
Keyword(s):  
Business Process ◽  
Semantic Model ◽  
Execution Semantics

A semantic model for business process patterns to support cloud deployment

2016 ◽  
Vol 32 (3-4) ◽  
pp. 257-267 ◽  
Author(s):  
Beniamino Di Martino ◽  
Antonio Esposito ◽  
Stefania Nacchia ◽  
Salvatore Augusto Maisto
Keyword(s):  
Business Process ◽  
Semantic Model

Compositional execution semantics for business process verification

2018 ◽  
Vol 137 ◽  
pp. 217-238 ◽  
Author(s):  
Emmanouela Stachtiari ◽  
Panagiotis Katsaros
Keyword(s):  
Business Process ◽  
Process Verification ◽  
Execution Semantics

scholarly journals Integrating BPMN and DMN: Modeling and Analysis

2021 ◽  
Author(s):  
Massimiliano de Leoni ◽  
Paolo Felli ◽  
Marco Montali
Keyword(s):  
Business Process ◽  
Process Management ◽  
Process Models ◽  
Operational Decisions ◽  
Modeling And Analysis ◽  
Business Goals ◽  
Wide Range ◽  
Definition Of ◽  
Execution Semantics ◽  
Verification Techniques

AbstractThe operational backbone of modern organizations is the target of business process management, where business process models are produced to describe how the organization should react to events and coordinate the execution of activities so as to satisfy its business goals. At the same time, operational decisions are made by considering internal and external contextual factors, according to decision models that are typically based on declarative, rule-based specifications that describe how input configurations correspond to output results. The increasing importance and maturity of these two intertwined dimensions, those of processes and decisions, have led to a wide range of data-aware models and associated methodologies, such as BPMN for processes and DMN for operational decisions. While it is important to analyze these two aspects independently, it has been pointed out by several authors that it is also crucial to analyze them in combination. In this paper, we provide a native, formal definition of DBPMN models, namely data-aware and decision-aware processes that build on BPMN and DMN S-FEEL, illustrating their use and giving their formal execution semantics via an encoding into Data Petri nets (DPNs). By exploiting this encoding, we then build on previous work in which we lifted the classical notion of soundness of processes to this richer, data-aware setting, and show how the abstraction and verification techniques that were devised for DPNs can be directly used for DBPMN models. This paves the way towards even richer forms of analysis, beyond that of assessing soundness, that are based on the same technique.

scholarly journals Using UML and Petri nets for visualization of business document flow

2012 ◽  
Vol 60 (2) ◽  
pp. 299-306 ◽  
Author(s):  
Ivana Rábová
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Process Management ◽  
Process Analysis ◽  
Business Environment ◽  
Activity Diagram ◽  
Concurrent Execution ◽  
State Charts ◽  
Definition Of ◽  
Execution Semantics

The article deals with two principles of business workflow modeling, Petri nets and UML notation, that are the acceptable approaches to business modeling and can be used also for business documents workflow. The special type of Petri nets, WF-nets and UML activity diagrams are used in this article and both modeling ways are presented on the concrete business workflow and then there are presented and specified their advantage and disadvantage for business documents flows. At beginning it is explained the word workflow in context business documents, its features, principles and using in business environment. After that it is clarified that the UML is OMG’s most-used specification, and the way the world models not only application structure, behavior, and architecture, but also business process, workflows and data structure. Activity diagram UML is good way to show how different workflows in the business are managed, how they start, go and stop. Diagrams also show many different decision paths that can be taken from start to finish. State charts can be used as a detail the transitions or changes of states when documents can go through in the business. They show how a documents moves from one state to another and the rules that govern that change. Petri-nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike UML Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis. In the article there are modeled a special type of Petri nets, the WF-nets. The practical part of article incorporates two models of concrete business documents workflows presented in these notations, their comparison and recommendation for using these diagrams in business process management.

scholarly journals An Algebraic Method for Analysing Control Flow of BPMN Models

2015 ◽  
Vol 3 (3) ◽  
pp. 20 ◽  
Author(s):  
Outman El Hichami ◽  
Mohamed Naoum ◽  
Mohammed Al Achhab ◽  
Ismail Berrada ◽  
Badr Eddine El Mohajir
Keyword(s):  
Formal Verification ◽  
Business Process ◽  
Business Processes ◽  
Algebraic Method ◽  
Control Flow ◽  
Max Algebra ◽  
Definition Of ◽  
Execution Semantics

This paper introduces an approach for formal verification of BPMN models. The incompatible constructs of the BPMN patterns can lead to wrong or incomplete semantics which resulting the behavioral errors such as deadlock and multiple termination. This research is motivated by the need to create a correct business process and in order to generate a more complete formalization of BPMN semantics than existing formalizations. We first introduce the chosen patterns which are the most used in the modelisation of the service-based business processes. Then, we illustrate a definition of the execution semantics of these patterns by using the rules of Max+ Algebra formulas, which have important benefits.

Analisis Pengukuran Kinerja Perusahaan Dengan Konsep Balanced Scorecard

2016 ◽  
Vol 3 (1) ◽  
pp. 11-22
Author(s):  
Dina Fitrianingrum ◽  
Sulastiningsih Sulastiningsih
Keyword(s):  
Customer Satisfaction ◽  
Organizational Development ◽  
Business Process ◽  
Balanced Scorecard ◽  
Research Use ◽  
Financial Perspective ◽  
Employees Satisfaction ◽  
Customer Perspective ◽  
Process Perspective ◽  
Internal Business Process

The objective of the research is to evaluate performance of Madubaru firm. This research use the methode of Balanced Scorecard which balancing measurement of non finance performance and finance performance. In the perspective learning and growth emphasize on the education and employees training, and also employees satisfaction. In the perspective of internal business process, it emphasize at the the level of success and organizational development. In perspective of customer emphasize at the customer satisfaction. In perspective of finance can see from finance ratio. The research have result learning and growth perspective with good performance, internal business process perspective with very good performance, customer perspective with enough performance, financial perspective estimation with good performance. At general we can assesd performanced of Madubaru firm is good and expected to be improved again. Keyword : Balanced Scorecard, Learning and Growth Perspective, Internal Business Process Perspective, Customer Perspective, Financial Perspective.

Sign in / Sign up

Export Citation Format

Share Document