Q Automata: Modelling the Resource Usage of Concurrent Components

This is mainly a practice talk for a presentation I will give at the FOCLASA workshop the week after next, with the follow abstract:

We introduce Q-automata to model quality aspects of component-based software. We propose Q-algebras as a general framework that allows us to combine and choose between quality values. Such values are added to the transitions of automata, which represent components or channels. These automata can be composed by a product construction yielding a more complex Q automaton labelled with the combined costs of its components. Thus we establish compositionality of quality of service based on an algebra of quality attributes associated with processes represented by automata.

After the practice talk I will go on to outline some speculative, further work, including how these automata can be model checked and how we intend to use them as part of the trust4all project.  

hosted by