Interactive software architecture design with modeling & simulation

Authors:
Yiming Ji;Kai H. Chang;Patrick O. Bobbie
Affiliations:
Auburn University;Auburn University;Southern Polytechnic State University
Venue:
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Year:
2004

Citing 3
Cited 1

Software architecture in practice

Software architecture in practice
A Formal Method for Analyzing Software Architecture Models in SAM

COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures

Proceedings of the 16th IEEE international conference on Automated software engineering

A simulation-based software design framework for network-centric and parallel systems

Programming Support Innovations for Emerging Distributed Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Due to the increasing complexity of real world problems, it is costly and difficult to evaluate todays software-intensive systems. This paper explores component interaction pattern, and provides a set of methodologies for specifying, verifying, and validating (by simulation) system temporal behavior, with the aim of validating software design iteratively at design and development time. The methods combine such components and technologies as UML, XMI, database, model checking, and simulation.