Results 101 to 110 of about 25,186 (209)
A System for Deduction-based Formal Verification of Workflow-oriented Software Models
, 2014 The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered.
Klimek, Radoslaw
core +2 more sources
Systems Engineering Methodology for Digital Supply Chain Business Models
Systems Engineering, Volume 28, Issue 3, Page 411-437, May 2025.ABSTRACT Globalization and growing business dynamics lead to weakly harmonized supply chain (SC) systems. While smart technology offers innovation opportunities, supply chains often lack the integration needed to fully leverage resources and collaboration.
Jochen Nuerk, František Dařena
wiley +1 more source
Nowoczesne Systemy Zarządzania, 2017 Changes taking place in organizations and their associated difficulties in efficient management, in-volvement of employees in effective action to make the organization that companies are constantly looking for effective tools to help them efficiently ...
Małgorzata Oleś
doaj +1 more source
Fault management and service provisioning process model of next generation access networks [PDF]
, 2011 Network operators are nowadays upgrading their access networks to cope with the increasing number of users and the increasing bandwidth required by services. However, cost plays a crucial factor.
Casier, Koen +2 more
core
PMLAB: An scripting environment for process mining [PDF]
, 2014 In a decade of process mining research, several algorithms have been proposed to solve particular process mining tasks. At the same pace, tools have appeared both in the academic and the commercial domains.
Carmona Vargas, Josep, Solé, Marc
core
Do LLMs Speak BPMN? An Evaluation of Their Process Modeling Capabilities Based on Quality Measures
ComputationLarge Language Models (LLMs) are emerging as powerful tools for automating business process modeling, promising to streamline the translation of textual process descriptions into Business Process Model and Notation (BPMN) diagrams. However, the extent to
Panagiotis Drakopoulos +4 more
doaj +1 more source
DEVELOPMENT OF MODELS OF PROCESSES OF SERVICE OF THE TELECOM OPERATOR
Вестник Северо-Кавказского федерального университета, 2022 The models of business processes Internet connection infocommunication companies using the notation BPMN.
Sergei Vladimirovich Yakovlev +2 more
doaj
A comparative analysis of business process modelling techniques [PDF]
, 2009 Business process modelling is an increasingly popular research area for both organisations and academia due to its usefulness in facilitating human understanding and communication.
Aldin, L, de Cesare, S
core +1 more source
A model-driven method for the systematic literature review of qualitative empirical research [PDF]
, 2012 This paper explores a model-driven method for systematic literature reviews (SLRs), for use where the empirical studies found in the literature search are based on qualitative research. SLRs are an important component of the evidence-based practice (EBP)
Edwards, Helen +2 more
core +1 more source
PlanProjU: A BPMN-to-HDDL HTN Planning Approach for University Project Execution
ComputersThis study aims to automate the generation of execution plans for university projects by transforming BPMN-based process models into hierarchical planning representations that can be executed by HTN planners.
Jhon Wilder Sanchez-Obando +2 more
doaj +1 more source