Date Added: Oct 2011
This paper proposes to automate the process of structural and behavior analysis of component-oriented software fully specified in UML. The structural specification uses component, class and deployment diagrams, and the behavior specification, state machine diagram. The produced structural analysis tool analyzes a connection between pairs of components at a time. The produced behavioral analysis tool considers the behavior of the system as a whole, leading to behavioral specification of the application automatically from the machine state of each connected component.