YAWL Case Study: ATM Interaction Flow

Fuente: Zenodo
Enregistré dans:
Détails bibliographiques
Auteur principal: Hense, Andreas
Format: Recurso digital
Publié: Zenodo 2022
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866901758103519232
author Hense, Andreas
author_facet Hense, Andreas
contents <p>Can a simple ATM interaction be modeled as a business process?<br>This video demonstrates how the interaction between a user and an Automated Teller Machine (ATM) can be modeled as a business process using YAWL.</p> <p>The tutorial shows that even a seemingly simple, single-user interaction consists of a well-defined sequence of manual actions and automated system responses that can be represented explicitly in a workflow model. User steps such as inserting a card, entering a PIN, and selecting a transaction are modeled alongside system-controlled activities like validation, authorization, and cash dispensing.</p> <p>Using YAWL’s graphical editor, the video presents a complete ATM workflow specification and walks through the so-called “sunshine path,” illustrating how control flow, data handling, and task execution are coordinated. The example highlights that business process modeling is not limited to large organizational processes, but is equally applicable to interactive systems where humans and software components collaborate closely.</p> <p>Related academic reference:<br>- CSPm models for the ATM case study  <br>  https://dl.acm.org/doi/10.1145/2723839.2723866</p> <p>This tutorial is part of the playlist “Learn how to automate business processes with YAWL (ADVANCED)”:<br>https://www.youtube.com/playlist?list=PL4BZgFsmRzfQ9QpXfqLC7uBTMS12C5MQR</p> <p>Supplementary material, including the YAWL workflow specification used in this tutorial, is available on GitHub:<br>https://github.com/ahense/YAWL  <br>(Download via “Code” → “Download ZIP”. The material is located in the folder corresponding to the tutorial number.)</p> <p>This is video #43 of the YAWLSeries.</p>
format Recurso digital
id zenodo_https___doi_org_10_5281_zenodo_18331664
institution Zenodo
language
publishDate 2022
publisher Zenodo
record_format zenodo
spellingShingle YAWL Case Study: ATM Interaction Flow
Hense, Andreas
<p>Can a simple ATM interaction be modeled as a business process?<br>This video demonstrates how the interaction between a user and an Automated Teller Machine (ATM) can be modeled as a business process using YAWL.</p> <p>The tutorial shows that even a seemingly simple, single-user interaction consists of a well-defined sequence of manual actions and automated system responses that can be represented explicitly in a workflow model. User steps such as inserting a card, entering a PIN, and selecting a transaction are modeled alongside system-controlled activities like validation, authorization, and cash dispensing.</p> <p>Using YAWL’s graphical editor, the video presents a complete ATM workflow specification and walks through the so-called “sunshine path,” illustrating how control flow, data handling, and task execution are coordinated. The example highlights that business process modeling is not limited to large organizational processes, but is equally applicable to interactive systems where humans and software components collaborate closely.</p> <p>Related academic reference:<br>- CSPm models for the ATM case study  <br>  https://dl.acm.org/doi/10.1145/2723839.2723866</p> <p>This tutorial is part of the playlist “Learn how to automate business processes with YAWL (ADVANCED)”:<br>https://www.youtube.com/playlist?list=PL4BZgFsmRzfQ9QpXfqLC7uBTMS12C5MQR</p> <p>Supplementary material, including the YAWL workflow specification used in this tutorial, is available on GitHub:<br>https://github.com/ahense/YAWL  <br>(Download via “Code” → “Download ZIP”. The material is located in the folder corresponding to the tutorial number.)</p> <p>This is video #43 of the YAWLSeries.</p>
title YAWL Case Study: ATM Interaction Flow
url https://doi.org/10.5281/zenodo.18331664