SAMAT - A Tool for Software Architecture Modeling and Analysis

SAMAT (Software Architecture Modeling and Analysis Tool) supports 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.

An ABP architecture example model can be downloaded at here ABP model

The current version of SAMAT source code can be downloaded at here SAMAT source

The related paper "Su Liu, Reng Zeng, Zhuo Sun, Xudong He, SAMAT - A Tool for Software Architecture Modeling and Analysis ."

The Center for Advanced Distributed System Engineering Group at the School of Computing and Information Sciences at FIU
Free Counter
Free Counters