Results 121 to 130 of about 30,523 (230)

Development of a Web-Based Youth Innovation Village System Using Laravel Framework

Buana Information Technology and Computer Sciences
Youth play a crucial role in social development and serve as agents of change contributing to national progress. Karang Taruna, as a youth organization, has a strategic role in enhancing social welfare, including in Mekarjati Village.
Lila Setiyani, Ratna Suminar, Ahmad Mubarok   +2 more
doaj   +1 more source

Mapping Business Process Modeling with the Business Models of Several Energy Community Members [PDF]

Database Systems Journal
Energy communities (ECs) enable decentralized production and distribution of renewable energy. Using Business Process Model and Notation (BPMN), this article maps workflows of key EC actors—prosumers, storage owners, EV-charging facilities, aggregators ...
Anca Ioana ANDREESCU, Simona-Vasilica OPREA, Adela BARA, Alin Gabriel VADUVA, Andreea-Mihaela NICULAE   +4 more
doaj  

Compositional Development of BPMN [PDF]

, 2013
Business Process Modelling Notation (BPMN) intends to bridge the gap between business process design and implementation. Previously we provided a process semantics to a subset of BPMN in the language of Communicating Sequential Processes (CSP). This semantics allows developers to formally analyse and compare BPMN diagrams using CSP’s traces and ...
openaire   +1 more source

Modeling the business process of the procedure for submitting documents for state attestation in the context of digitalization

Innovation and Sustainability
The work analyzed regulatory legal acts and that regulates relations on issues of State attestation, including draft. Two groups of acts have been identified for State attestations conducted in the past.
I. Dohtieva, S. Zharinov, O. Krasovskyi
doaj   +1 more source

TABS: Transforming automatically BPMN models into blockchain smart contracts

Blockchain: Research and Applications, 2022
P. Bodorik, Christian G. Liu, D. Jutla
semanticscholar   +1 more source

Multi-Role BPMN Models for the Automatic Generation of Collaborative Checklists to Provide Role-specific Support in the OR

Current Directions in Biomedical Engineering
The operating room demands well-functioning workflows and optimized communication. Based on the formalization of specific surgical interventions via BPMN, intraoperative checklists can automatically be generated to support the surgical team by the ...
Wiskow René, Junger Denise, Beyersdorffer Patrick, Schaumann Katharina, Klenzner Thomas, Burgert Oliver   +5 more
doaj   +1 more source

Probabilistic Model Checking of BPMN Processes at Runtime

International Conference on Integrated Formal Methods, 2022
Yliès Falcone, Gwen Salaün, Ahang Zuo
semanticscholar   +1 more source

A Model-Driven Method for the Systematic Literature Review of Qualitative Empirical Research [PDF]

This paper explores a new model-driven method for systematic literature reviews (SLRs), for use where the empirical studies found in the literature search are based on qualitative research.
Edwards, Helen, Oates, B.J., Wainwright, D.W.   +2 more
core  

Towards a model for integrating process verification in process-driven application development

Tạp chí Khoa học và Công nghệ
In the era of Industry 4.0, companies must quickly adapt to market and technological changes to remain competitive. While monolithic software systems are still common, Process-Driven Applications (PDA) offer flexible, sustainable, and integrable ...
Nguyễn Thanh Tuấn, Lê Thành Nhân, Hoàng Thị Thanh Hà   +2 more
doaj  

S³EF-HBCAs: Secure and Sustainable Software Engineering Framework for Healthcare Blockchain Applications. [PDF]

Blockchain Healthc Today, 2023
Ramachandran M.
europepmc   +1 more source