Automated Feedback on Interaction Oriented Software Architecture

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.