Advanced steps with standardized languages in the re-engineering process

Formal methods can be used at all stages of a software development project. In this paper we reflect on the roles of ITU-T standardized System Design Languages and their interplay in design processes of cooperative systems, highlighting the usability of User Requirements Notation (URN) standard to capture requirements with workflow-based re-engineering process of complex systems. In this paper we give our re-engineering experiences with the URN-part Use Case Maps (UCM) language capabilities and also the transformation processes of the UCM model elements to UML diagrams are presented. The new components can be very well documented and integrated into the existing system in a manner that even the stakeholders get involved in it.