Automated Translation of behavioral models using OCL and XML

The UML diagrams present different but partly overlapping views of the same system and hence design risks due to inconsistencies among diagrams is inevitable. Automated translation of behavioral diagrams is one way of ensuring consistency among the different models that can take us one step forward towards formalizing behavioral specifications of the system. In this paper based on the dependencies between some of the commonly used diagrams that we identified in our previous paper, we have proposed a methodology for translating automatically a set of behavioral diagrams. As this translation is automated, the consistency among the diagrams is automatically checked. Our approach combines both OCL and XML technologies. Based on the OCL constraints, we here propose a methodology for automated translation of statechart diagram from a set of sequence diagrams with the help of XML.