This article 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. It is performed the convertion of the state machines of the individual components and of the application to Petri nets in a transparent manner to the user. The behavioral assessment is done by analyzing Petri net properties, considering the context of the components. Analysis results are produced without demand effort, allowing early location of design problems.

Related Content:

• Model Checking of UML Class Diagrams
• UML Class Modeling 6 – Layout, Attributes, Operations
• Introduction to the UMLet Eclipse Plugin