SAMAT - A Tool for Software Architecture Modeling and Analysis.
Su Liu, Reng Zeng, Zhuo Sun, Xudong He · 2012
Abstract—A software architecture specification plays a critical role in software development process. SAM is a general frame-work for developing and analyzing software architecture speci-fications. SAM supports the scalability of architectural descrip-tions through hierarchical decomposition and the dependability analysis of architectural descriptions using a dual formalism based on Petri nets and temporal logic. In this paper, we present SAMAT (Software Architecture Modeling and Analysis Tool), a tool to support the hierarchical modeling and analyzing of software architecture specifications in SAM. SAMAT nicely integrates two external tools PIPE+ for behavioral modeling using high-level Petri nets and SPIN for model checking system properties.