Title of talk: Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components


In this talk I will present an overview of my Ph.D. thesis. After a brief description of the background and origins of team automata, - one by one - the goals of the thesis are addressed in more detail. These goals are (a) precisely defining team automata, (b) studying their characteristics, (c) comparing them with other models, and (d) begin applying them in practice. Some of the successes that have been obtained will be pointed out, as well as some of the questions that remain. Finally, I will discuss some of my current and future work on team automata.