Glück in Unternehmen

Rehwaldt, Ricarda

doi:10.1007/978-3-658-22761-6

Cited by 4 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The modeling environment integrates a graphical modeling tool Camunda_bpmn.io 15 that supports BPMN standard. Furthermore, considering the diversity of existing modeling tools, the framework does not impose any restrictions on the source of the graphical models.…”

Section: Integrated Frameworkmentioning

confidence: 99%

Smart contract generation for inter‐organizational process collaboration

Xiong,

Feng,

Pan

et al. 2023

Concurrency and Computation

View full text Add to dashboard Cite

SummaryCurrently, inter‐organizational process collaboration (IOPC) has been widely used in the design and development of distributed systems that support business process execution. Blockchain‐based IOPC can establish trusted data sharing among participants, attracting more and more attention. The core of such study is to translate the graphical model (e.g., BPMN) into program code called smart contract that can be executed in the blockchain environment. In this context, a proper smart contract plays a vital role in the correct implementation of block‐chain‐based IOPC. In fact, the quality of graphical model affects the smart contract generation. Problematic models (e.g., deadlock) will result in incorrect contracts (causing unexpected behaviors). To avoid this undesired implementation, this article explores to generate smart contracts by using the verified formal model as input instead of graphical model. Specifically, we introduce a prototype framework that supports the automatic generation of smart contracts, providing an end‐to‐end solution from modeling, verification, translation to implementation. One of the cores of this framework is to provide a CSP#‐based formalization for the BPMN collaboration model from the perspective of message interaction. This formalization provides precise execution semantics and model verification for graphical models, and a verified formal model for smart contract generation. Another novelty is that it introduces a syntax tree‐based translation algorithm to directly map the formal model into a smart contract. The required formalism, verification, and translation techniques are transparent to users without imposing additional burdens. Finally, a set of experiments shows the effectiveness of the framework.

show abstract

Section: Integrated Frameworkmentioning

confidence: 99%

Smart contract generation for inter‐organizational process collaboration

Xiong,

Feng,

Pan

et al. 2023

Concurrency and Computation

View full text Add to dashboard Cite

show abstract

Führung ernst nehmen

Zimmermann

Faßbender²

2023

Risiko Im Wandel

View full text Add to dashboard Cite

ZusammenfassungDie Operationsbereiche von Versicherungsunternehmen sind für die Profitabilität der Unternehmen von zentraler Bedeutung. Zum einen werden dort die Leistungsversprechen erfüllt, die die Unternehmen an die Kundinnen und Kunden ausgesprochen haben, und zum anderen arbeiten dort viele Mitarbeiter. Diese hohe Bedeutung spiegelt sich allerdings nicht in dem Verhalten des Top Managements wider; dessen Fokus sind Themen wie Innovation und Digitalisierung. Sicherlich ist es so, dass in diesen Bereichen Maßnahmen ergriffen werden müssen, die die Effizienz erhöhen und die Kosten senken. Das ist aber zu kurz gedacht. Denn die Zufriedenheit der Mitarbeiterinnen und Mitarbeiter in den Operationsabteilungen ist ein zentraler Hebel, um die Leistungsfähigkeit dieser Bereiche und damit die Zufriedenheit der Kundinnen und Kunden zu erhöhen. Um die Motivation der dortigen Mitarbeiterinnen und Mitarbeiter zu erhöhen, ist es wichtig, Führung ernst zu nehmen, den Arbeitsdruck dort zu reduzieren und in adäquater Form Agilität und New Work umzusetzen.

show abstract

Warum die Zufriedenheit der Mitarbeiter in Zukunft der Generalschlüssel für Erfolg ist

Pothmann¹

2021

Glücklich-Erfolgreich Führen

View full text Add to dashboard Cite

Glück in Unternehmen

Cited by 4 publications

References 0 publications

Smart contract generation for inter‐organizational process collaboration

Smart contract generation for inter‐organizational process collaboration

Führung ernst nehmen

Warum die Zufriedenheit der Mitarbeiter in Zukunft der Generalschlüssel für Erfolg ist

Contact Info

Product

Resources

About