A formal method for analyzing software architecture models in SAM

被引：2
|
作者：
Yu, HQ [1 ]
He, XD [1 ]
Yi, D [1 ]
Lian, M [1 ]
机构：
[1] Florida Int Univ, Sch Comp Sci, Miami, FL 33199 USA
来源：
26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS | 2002年
关键词：
Software architecture; SAM; Petri net; temporal logic; verification;
D O I：
10.1109/CMPSAC.2002.1045076
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 neither 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.
引用
收藏
页码：645 / 652
页数：4
相关论文
共 50 条
  • [1] A framework for developing and analyzing software architecture specifications in SAM
    He, XD
    Deng, Y
    [J]. COMPUTER JOURNAL, 2002, 45 (01): : 111 - 128
  • [2] Method for generating software architecture models from formal specifications
    Zhu Y.
    Huang Z.-Q.
    Cao Z.-N.
    Zhou H.
    Liu Y.-P.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2010, 21 (11): : 2738 - 2751
  • [3] A formal modeling method for embedded software architecture
    Xu, Hai-Yang
    Zhuang, Yi
    Gu, Jing-Jing
    [J]. Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2014, 42 (08): : 1515 - 1521
  • [4] A formal method for software architecture analysis based on aspect orientation
    Wen X.
    Zheng H.
    Yang Z.
    [J]. International Journal of Wireless and Mobile Computing, 2018, 14 (02) : 191 - 196
  • [5] Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models
    Vanezi, Evangelia
    Kouzapas, Dimitrios
    Kapitsaki, Georgia M.
    Philippou, Anna
    [J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2020, 1172 : 135 - 162
  • [6] Modeling and analyzing method for CPS software architecture energy consumption
    School of Computer Science and Technology, Soochow University, Suzhou, China
    不详
    不详
    [J]. J. Softw., 2013, 11 (2974-2981):
  • [7] Formally analyzing software architectural specifications using SAM
    He, XD
    Yu, HQ
    Shi, TJ
    Ding, JH
    Deng, Y
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 71 (1-2) : 11 - 29
  • [8] A formal approach to distributed software architecture
    He, J
    Fang, DY
    Qin, Z
    [J]. 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 342 - 346
  • [9] Analyzing Software Licenses in Open Architecture Software Systems
    Alspaugh, Thomas A.
    Asuncion, Hazeline U.
    Scacchi, Walt
    [J]. 2009 ICSE WORKSHOP ON EMERGING TRENDS IN FREE-LIBRE-OPEN SOURCE SOFTWARE RESEARCH AND DEVELOPMENT, 2009, : 54 - +
  • [10] SAM: A tool for Software Architecture Modeling & performance Analysis
    Rajeshwari, G
    Sarkar, S
    [J]. SECOND INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2005, : 249 - 250
12345