Introducing software architecture specification and analysis in SAM through an example

被引：32

作者：

Wang, J

He, X ^{[1
]}

Deng, Y

机构：

[1] N Dakota State Univ, Dept Comp Sci, Fargo, ND 58105 USA

[2] Florida Int Univ, Sch Comp Sci, Miami, FL 33199 USA

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 1999年 / 41卷 / 07期

基金：

美国国家科学基金会;

关键词：

software architecture; formal methods; real-time concurrent systems; time Petri nets; real-time computational tree logic; command and control systems;

D O I：

10.1016/S0950-5849(99)00009-9

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：451 / 467

页数：17

共 26 条

[1] THE EXISTENCE OF REFINEMENT MAPPINGS [J].