Results 21 to 30 of about 7,661 (220)

Formalisations and applications of BPMN

Science of Computer Programming, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peter Y. H. Wong, Jeremy Gibbons
openaire   +4 more sources

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, Mohammed El Habib Souidi, Makhlouf Ledmi, Samra Sabeg   +3 more
doaj   +1 more source

Interaction Modeling using BPMN [PDF]

, 2008
. Process choreographies describe interactions between different business partners and the dependencies between these interactions. While different proposals were made for capturing choreographies at an implementation level, it remains unclear how ...
Decker, Gero, Gero Decker, Alistair Barros, Barros, Alistair P.   +3 more
core   +1 more source

FHOOEAIST/bpmn-viz: 1.0.2 [PDF]

, 2022
Version 1.0.2 Dependencies 9 - Updated jgraphx version and changed dependency to a maven central available ...
Andreas Pointner
core   +1 more source

BPMN-E2: a BPMN extension for an enhanced workflow description

Software & Systems Modeling, 2018
Instituto de Salud Carlos III | Ref.
Ramos Merino, Mateo, Santos Gago, Juan Manuel, Álvarez Sabucedo, Luis, Alonso Rorís, Víctor Manuel, Sanz-Valero, Javier   +4 more
openaire   +4 more sources

Business process simulation: requirements for business and resource models / Verslo procesų simuliacija: verslo procesų ir išteklių modelių reikalavimai

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

Análise comparativa de métodos de elicitação de requisitos de software a partir de modelos de processos de negócio

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, Aline Pires Vieira de Vasconcelos, Simone Vasconcelos Silva   +2 more
doaj   +1 more source

ОПТИМІЗАЦІЯ БІЗНЕС-ПРОЦЕСІВ ПІДПРИЄМСТВА НА ОСНОВІ BPMN-МОДЕЛЕЙ

Економіка та суспільство
У статті здійснено комплексне дослідження теоретичних і практичних аспектів оптимізації бізнес-процесів підприємств на основі BPMN-моделювання. Розкрито теоретичні засади оптимізації бізнес-процесів підприємства в межах концепції BPM.
Віталіна Зубова
doaj   +1 more source

Implementation of the Business Process Modelling Notation (BPMN) in the modelling of anatomic pathology processes-2 [PDF]

, 2011
Copyright information:Taken from "Implementation of the Business Process Modelling Notation (BPMN) in the modelling of anatomic pathology processes"http://www.diagnosticpathology.org/content/3/S1/S22Diagnostic Pathology 2008;3(Suppl 1):S22-S22.Published ...
Elvira Rolón (52620), Nieves Ballester (52625), Rosario Paloma Sánchez (52623), Francisco Ruiz (52624), Teresa Rodríguez (25076), Rafael Martín Espartero (52627), Felix Óscar García (52622), María Armenteros (52626), Marcial García Rojo (52619), Luis Calahorra (52621)   +9 more
core   +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