A Framework for Developing and Analyzing Software Architecture Specifications in SAM

Authors: He X.¹; Deng Y.²

Source: Computer Journal, Volume 45, Number 1, 2002 , pp. 111-128(18)

Buy & download fulltext article:

Price: $42.29 plus tax (Refund Policy)

Abstract:

In the past decade, software architecture research has mainly focused on the concept formulation and the development of various architecture description languages. This field has now matured enough and thus requires more emphasis on techniques for developing and analyzing software architecture specifications. SAM is a general software architecture model for developing and analyzing software architectures. In this paper, we show how to integrate high-level Petri nets and first-order temporal logic as the foundation of SAM to establish a unified framework for specifying and analyzing all aspects of a software architecture. We provide a set of heuristics, which are supported by well-defined existing methods and techniques developed by other researchers as well as our own, for software architecture development and analysis. We demonstrate the application of this framework and the heuristics with an example.

Document Type: Research article

Affiliations: 1: School of Computer Science, Florida International University, Miami, FL 33199, USA hex@cs.fiu.edu 2: School of Engineering & Computer Science, University of Texas at Dallas, Richardson, TX 75083, USA

Publication date: 2002-01-01

More about this publication?

The Computer Journal publishes research papers in a full range of subject areas, as well as regular feature articles and occasional themed issues to enable readers to easily access information outside their direct area of research. The journal provides a complete overview of developments in the field of Computer Science.