Extending Team Automata to Evaluate Software Architectural Design

Team automata, as an extended automata-based model, possesses distinguishable characteristics which make it suitable to formally specify and evaluate software architectural design. In this paper, we describe the benefits of TA over similar automata models and show how can extend it to specify and evaluate performance of components interaction in software architectures. An application system example of using the introduced approach is also presented.