Dynamic Distributed Software Architecture Design with PARSE-DAT

Authors:
Anna Liu
Affiliations:
-
Venue:
SMT '00 Proceedings of the International Conference on software Methods and Tools (SMT'00)
Year:
2000

Citing 0
Cited 3

Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions

Proceedings of the 16th IEEE international conference on Automated software engineering
SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions

Automated Software Engineering
A framework for visual notation exchange

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This 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 ofthe 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.