Towards the Reverse Engineer of UML2.0 Sequence Diagram for Procedure Blueprint

In order to query parent-child relationship between nodes for procedure blueprint(PB) and make certain the approximate order of interacted messages, we proposed the encode on procedure blueprint-based. In addition, a meta-model based on abstract implement structure diagram for procedure blueprint and a meta-model based on intra-method UML 2.0 sequence diagram are presented. And our strategy in this article is to define an OCL-based mapping in a formal and verifiable form as consistency rules between an AISD and a SD, so as to ensure the completeness of our meta-models and allow their verification. At last, we adopt a static analyze method to transform procedure blueprint to UML2.0 sequence diagram.