Analysis of Interface Automata with On-Demand Replication

Abstract

Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.

Interface automaton is a model of software component behaviour based on finite state machines. It describes component's provided interface, the supported usage, and required interface, the usage of other components. A considerable number of components can be used in parallel with no bound on the level of parallelism. It is not necessary for the model to attempt to capture such unboundedness. An alternative approach is to allow an increment of the level of parallelism on- demand. This thesis analyses on a theoretical level and proposes a final form of an operation to perform such replication to allow creation of models of an arbitrary level of parallelism of certain parts of its behaviour.