Interactive software architecture design with modeling & simulation

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.