For the most recent entries see the Petri Nets Newsletter.

Introducing software architecture specification and analysis in SAM through an example.

Wang, J.; He, X.; Deng, Y.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography