Return to search

Analysis of Interface Automata with On-Demand Replication / Analysis of Interface Automata with On-Demand Replication

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.

Identiferoai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:324547
Date January 2013
CreatorsDaniel, Jakub
ContributorsKofroň, Jan, Bednárek, David
Source SetsCzech ETDs
LanguageEnglish
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/masterThesis
Rightsinfo:eu-repo/semantics/restrictedAccess

Page generated in 0.0027 seconds