Dynamic distributed software architecture design with PARSE-DAT

The paper presents a novel software architecture design and verification methodology. Architects employ a pragmatic graphical design method called Dynamic PARSE to design the software architecture. At the same time, they capture the concurrent and dynamic features of the system. Such dynamic features include the creation and deletion of processes and re-configurable communication links. Lastly, the correctness of the design can be verified, and possible design faults may be detected by using an automatic design analysis and verification tool called PARSE-DAT.