In: Information and Software Technology, Vol. 41, No. 7, pages 451-467. 1999.
Abstract: Software architecture study has become one of the most active research areas in software engineering in the recent years. Although there have been many published results on specification and analysis method of software architectures, information on sound systematic methodology for modeling and analyzing software architectures is lacking. In this article, we present a formal systematic software architecture specification and analysis methodology called SAM and show how to apply SAM to specify a command control (C2) system and to analyze its real-time constraints.
Keywords: command and control systems, formal methods, real-time computational tree logic, real-time concurrent systems, software architecture, time Petri nets.