Results 11 to 20 of about 24,680 (193)
A GROOVE Solution for the BPMN to BPEL Model Transformation [PDF]
, 2009 In this paper we present a solution of a model transformation between two standard languages for business process modeling BPMN and BPEL, using the GROOVE tool set.
Mol, M.J. de, Zimakova, M.V.
core +14 more sources
Customizing BPMN Diagrams Using Timelines [PDF]
, 2019 BPMN (Business Process Model and Notation) is widely used standard modeling technique for representing Business Processes by using diagrams, but lacks in some aspects.
Combi, Carlo +2 more
core +1 more source
The Dual Polynomial of Bipartite Perfect Matching [PDF]
, 2020 We obtain a description of the Boolean dual function of the Bipartite Perfect Matching decision problem, as a multilinear polynomial over the Reals. We show that in this polynomial, both the number of monomials and the magnitude of their coefficients are
Beniamini, Gal
core +2 more sources
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems [PDF]
Logical Methods in Computer ScienceThe Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different interpretations of BPMN elements
Tim Kräuter +3 more
doaj +1 more source
Data in Business Process Models. A Preliminary Empirical Study [PDF]
, 2015 Traditional activity-centric process modeling languages treat data as simple black boxes acting as input or output for activities. Many alternate and emerging process modeling paradigms, such as case handling and artifact-centric process modeling, give ...
Andrews, Kevin +5 more
core +1 more source
Liveness and Reachability Analysis of BPMN Process Models
Journal of Computing and Information Technology, 2016 Business processes are usually defined by business experts who require intuitive and informal graphical notations such as BPMN (Business Process Management Notation) for documenting and communicating their organization activities and behavior.
Anass Rachdi +2 more
doaj +1 more source
Formalization of BPMN Gateways using the DD-LOTOS Formal Language
Journal of Communications Software and Systems, 2023 Business Process Model and Notation (BPMN), is a standardized graphical language used for the graphical modeling of business processes. A BPMN model is composed of several small graphs called elements; these elements make it possible to describe the ...
Toufik Messaoud Maarouk +3 more
doaj +1 more source
A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering
Computers, 2021 Process-oriented requirements engineering approaches are often required to deal with the effective adaptation of existing processes in order to easily introduce new or updated requirements.
Benedetto Intrigila +2 more
doaj +1 more source
Automated threat modelling and risk analysis in e-Government using BPMN
Connection Science, 2023 Recent progress integrates security requirements into BPMN, enhancing its framework. Extensions aim to seamlessly embed security concepts, yet the inherent ambiguity of security terms may lead to misinterpretations and vulnerabilities.
Daniele Granata +4 more
doaj +1 more source
Process-Based Design and Integration of Wireless Sensor Network Applications [PDF]
, 2012 Wireless Sensor and Actuator Networks (WSNs) are distributed sensor and actuator networks that monitor and control real-world phenomena, enabling the integration of the physical with the virtual world.
Casati, Fabio +10 more
core +5 more sources