- Authors
- Dominik Grzelak Institut für Software- und Multimediatechnik / Lehrstuhl Softwaretechnologie
- title
- A Bigraphical Vending Machine as a Webservice
- subtitle0
- From Specification and Analysis to Implementation using the Bigraph Toolkit Suite
- Please use the following URL when quoting:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-849166
- translated_title_ger
- Ein bigraphischer Verkaufsautomat als Webservice Applikation : Von der Spezifikation und Analyse zur Implementierung mit der Bigraph Toolkit Suite
- publication_date
- 2023
- Abstract (DE)
- Ein bigraph-gesteuerter Verkaufsautomat wird implementiert. Die Anwendung ist als Spring-basierter Webservice realisiert. Aktionen können über REST-Endpunkte initiiert werden. Das System folgt einer regelbasierten Architektur, bei der die möglichen Operationen auf einem Regelsatz beruhen. Für die Spezifikation und Ausführung werden Bigraphical Reactive Systems verwendet. Der aktuelle Zustand der Anwendung ist ein in einer Datenbank gespeicherter Bigraph, der direkt in der Datenbank eingesehen und verändert werden kann. Es wird eine Historie der Zustände geführt - die Anwendung kann in einen beliebigen früheren Zustand überführt werden. Die Anwendung kann aktualisiert oder erweitert werden, indem lediglich das bigraphische Datenbankmodell geändert wird.
- Abstract (EN)
- A bigraph-driven vending machine is implemented. The application is realized as a Spring-based webservice. Actions can be initiated by REST endpoints. The system follows a rule-based architecture, where possible operations are grounded on a rule set. Bigraphical Reactive Systems are used for the specification and execution. The actual state of the application is a bigraph stored in a database, which can be viewed and altered directly in the database. A history of states is kept - the application can be transferred to any prior state. The application can be updated or extended by merely changing the bigraphical database model.
- Reference
- Bigraphical Domain-specific Language (BDSL)
Link: https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-752170 - Keywords (DE)
- Bigraphen, Bigraphical Reactive Systems, Spring, Webservice, Regelbasierte Programmierung
- Keywords (EN)
- Bigraphs, Bigraphical Reactive Systems, Spring, Webservice, Rule-based Programming
- Classification (DDC)
- 004
- Classification (RVK)
- ST 136
- SR 930
- university_publisher
- Technische Universität Dresden, Dresden
- Project sponsoring
- German Research Foundation Germany's Excellence Strategy - EXC 2050/1 Centre for Tactile Internet with Human-in-the-Loop
(CeTI)
ID: 390696704 - URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-849166
- Qucosa date of publication
- 24.04.2023
- Document type
- lecture
- Document language
- English
- licence
CC BY 4.0
- tableofcontents
First Part: A system of a vending machine is specified and analyzed using BDSL. This concerns the static and dynamic aspects of the system. Second Part: The analysis results are re-used for the implementation using Bigraph Framework. The application is realized as a webservice that is built using the Spring framework.