Results 91 to 100 of about 30,523 (230)

A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows [PDF]

, 2019
This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare.
Chishti, I., Chishti, I.
core  

Size matters less: how fine-tuned small LLMs excel in BPMN generation

Journal of Electrical Systems and Information Technology
The generation of Business Process Model and Notation (BPMN) XML outputs from textual process descriptions presents a promising application for large language models (LLMs), yet it introduces significant challenges due to the structured and precise ...
Ghada Soliman, Nour Abdel Wars, Hagar Hesham   +2 more
doaj   +1 more source

Categorization of objects of critical information infrastructure of higher education institutions

Вестник Дагестанского государственного технического университета: Технические науки
Objective. Currently, the task of ensuring the security of Russia's national information resources is being updated as an important area of state policy in the information sphere.
E. V. Burkova, A. A. Rychkova, L. A. Gritsenko   +2 more
doaj   +1 more source

Towards an ontology for process compliance with the (machinery) legislations

Journal of Software: Evolution and Process, Volume 37, Issue 1, January 2025.
An ontology for mastering the cognitive complexity of the compliance problem, when heterogeneous and geographically distributed knowledge‐driven organizational structures (legal department, standardization department, etc.) need to communicate. We provide (1) an illustration of the usefulness of our ontology in the context of pumps manufacturing and ...
Barbara Gallina, Gergő László Steierhoffer, Thomas Young Olesen, Eszter Parajdi, Mike Aarup   +4 more
wiley   +1 more source

Applying MDE tools to defining domain specific languages for model management [PDF]

, 2013
In the model driven engineering (MDE), modeling languages play a central role. They range from the most generic languages such as UML, to more individual ones, called domain-specific modeling languages (DSML).
Giandini, Roxana Silvia, Irazábal, Jerónimo, Pons, Claudia Fabiana, Pérez, Gabriela   +3 more
core   +2 more sources

Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role‐based behaviors

Journal of Software: Evolution and Process, Volume 37, Issue 1, January 2025.
The paper introduces the use of dynamic condition response (DCR) Graphs for role‐based and declarative access control in smart contracts. This approach enhances the security and adaptability of smart contracts by enabling dynamic role adjustments and visualizing access control rights.
Yibin Xu, Tijs Slaats, Boris Düdder, Thomas Troels Hildebrandt, Tom Van Cutsem   +4 more
wiley   +1 more source

PROCESS MODELLING OF K-POP CONCERT TICKETING USING BPMN: A CASE STUDY

Ekono Insentif
The Korean Wave (Hallyu) has positioned K-Pop concerts as major cultural events in Indonesia, generating economic impacts but also exposing persistent ticketing challenges.
Amanda Rahmadani Putri, Umi Dwi Anggraini, Adrian Baihaqi, Muhammad Qomarul Huda   +3 more
doaj   +1 more source

2024 MCBK North American chapter meeting—Lightning talk and demonstration abstracts [PDF]

Learn Health Syst
Learning Health Systems, Volume 9, Issue 1, January 2025.
europepmc   +2 more sources

Generating Quality Assurance Constraints From Natural Language With LLMs

Journal of Software: Evolution and Process, Volume 37, Issue 11, November 2025.
ABSTRACT This paper addresses the challenge of automating process‐centric quality assurance (QA) in safety‐critical domains, where compliance with regulations is crucial. Currently, QA engineers manually check compliance using tedious methods like browsing engineering artifacts and ad‐hoc scripts.
Christoph Mayr‐Dorn, Anmol Bilal, Cosmina Ratiu, Alexander Egyed   +3 more
wiley   +1 more source

Data Exploitation Model in a Health Ecosystem to Support Formal and Informal Caregivers

Proceedings, 2019
Business interactions are rarely taken into account in the early stages of development of software ecosystems in the health sector, which causes these kinds of solutions to stay as conceptual proposals or be rapidly discontinued after deployment.
Samuel Marcos-Pablos, Alicia García-Holgado, Francisco José García-Peñalvo   +2 more
doaj   +1 more source