Introducing software architecture specification and analysis in SAM through an example
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. (C) 1999 Elsevier Science B.V. All rights reserved.
software architecture formal methods real-time concurrent systems time petri nets real-time computational tree logic command and control systems