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.: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. / 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.: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.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:84916 |
| Date | 24 April 2023 |
| Creators | Grzelak, Dominik |
| Publisher | Technische Universität Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | English |
| Detected Language | English |
| Type | doc-type:lecture, info:eu-repo/semantics/lecture, doc-type:Text |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | urn:nbn:de:bsz:14-qucosa2-752170, qucosa:75217, info:eu-repo/grantAgreement/German Research Foundation/Germany's Excellence Strategy - EXC 2050/1/390696704//Centre for Tactile Internet with Human-in-the-Loop/CeTI |
Page generated in 0.0021 seconds