dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Werf, J.M.E.M. van der | |
dc.contributor.author | Dingenouts, Kyle | |
dc.date.accessioned | 2023-04-15T00:00:54Z | |
dc.date.available | 2023-04-15T00:00:54Z | |
dc.date.issued | 2023 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/43788 | |
dc.description.abstract | Software architecture can describe software systems: it is a com- position of viewpoints to describe the system. This paper focuses on the interaction between components in a system. These can be modeled as a choreography, a BPMN-like model capturing all possible interaction scenarios between two components. In this paper, we show that it is feasible to analyze a composed set of these choreographies: a tree of choreographies in which each member may refer to another. The two major components of the analysis are 1) the correctness by structure: a choreography fol- lows strict grammar and assumptions and is therefore guaran- teed sound and 2) the choreography is transformed to a Petri net which is checked by an external state explosion tool for proper completion. This paper shows the theoretical techniques to ver- ify a composed choreography, and implements the solutions into a single educational modeler tool: INORA2. | |
dc.description.sponsorship | Utrecht University | |
dc.language.iso | EN | |
dc.subject | The thesis describes a method of modeling interaction between software components, translating it to formal methods, and verifying its correctness. A set of tools is created to implement these methods. | |
dc.title | Automated Feedback on Interaction Oriented Software Architecture | |
dc.type.content | Master Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.courseuu | Business Informatics | |
dc.thesis.id | 15787 | |