Journal article
A formal method for analyzing software architecture models in SAM
Proceedings - International Computer Software & Applications Conference, pp 645-652
01 Jan 2002
Abstract
The Software Architecture Model (SAM) is a general software architecture model based on a dual formalism combining Petri nets and temporal logic. A SAM model contains a hierarchical set of compositions, each of which consists of a set of components, a set of connectors, and a set of constraints. This paper proposes a formal method for analyzing SAM models in both element (either component or connector) level and composition level. The basic idea is to simulate Petri net behaviors in terms of fair transition systems. The properties of individual components and connectors are verified either by deductive reasoning or model checking. The properties of the entire system is inferred from the properties of its constituents. A detailed case study of an electronic commerce system shows our approach to formally modeling, refining and analyzing software architecture models.
Metrics
5 Record Views
Details
- Title
- A formal method for analyzing software architecture models in SAM
- Creators
- Huiqun Yu - Florida International UniversityXudong He - Florida International UniversityYi Deng - Florida International UniversityLian Mo - Florida International UniversityIEEE COMPUTER SOCIETY
- Publication Details
- Proceedings - International Computer Software & Applications Conference, pp 645-652
- Publisher
- The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- College of Computing and Informatics
- Web of Science ID
- WOS:000178041100098
- Other Identifier
- 991021868008204721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Engineering, Electrical & Electronic