Results 31 to 40 of about 25,005 (212)
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
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
A Novel Framework to Automatically Generate Executable Web Services From BPMN Models
IEEE Access, 2019 Enterprise resource planning (ERP) is a business process management system in which integrated applications are used to manage business processes in a shared data environment.
Iqra Zafar +5 more
doaj +1 more source
Mokslas: Lietuvos Ateitis, 2015 The purpose of Business Process Model and Notation (BPMN) is to provide easily understandable graphical representation of business process. Thus BPMN is widely used and applied in various areas one of them being a business process simulation.
Audrius Rima, Olegas Vasilecas
doaj +1 more source
Revista Principia, 2022 A elicitação é uma fase importante da Engenharia de Requisitos, sendo necessárias técnicas específicas para executá-la. Essa etapa é primordial, uma vez que a qualidade de um software depende da correta compreensão dos requisitos do cliente e usuários ...
Átila Carvalho Júnior +2 more
doaj +1 more source
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach
IEEE Access, 2018 Formal verification is a process to ensure that the business process model and notation (BPMN) design model is free of deadlock, livelock, and other undesirable properties that can cause a system crash.
C. Dechsupa, W. Vatanawood, A. Thongtak
doaj +1 more source
Business Process Configuration According to Data Dependency Specification [PDF]
, 2018 Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these models depend on the data dependencies, being easier to describe what has to be done instead of how.
Gómez López, María Teresa +3 more
core +2 more sources
ОПТИМІЗАЦІЯ БІЗНЕС-ПРОЦЕСІВ ПІДПРИЄМСТВА НА ОСНОВІ BPMN-МОДЕЛЕЙ
Економіка та суспільствоУ статті здійснено комплексне дослідження теоретичних і практичних аспектів оптимізації бізнес-процесів підприємств на основі BPMN-моделювання. Розкрито теоретичні засади оптимізації бізнес-процесів підприємства в межах концепції BPM.
Віталіна Зубова
doaj +1 more source