Our objective is to integrate the Formal Specification Language (Z) with UML Sequence diagram, as sequence diagram is an interaction diagram which shows the interaction and proper sequence of components (Methods, procedures etc.) of the system. contradiction, ambiguities, vagueness, incompleteness and mixed values of abstraction. It is necessary to integrate System Models with such formal methods to overcome the requirements errors i.e. Similarly, in requirement engineering, formal specification methods are also being used in crucial systems where precise information is required. UML diagrams are useful to show an interaction, behavior and structure of the system. UML Diagrams are considered as a main component in requirement engineering process and these become an industry standard in many organizations. Received 6 July 2015 accepted 16 August 2015 published 19 August 2015 This work is licensed under the Creative Commons Attribution International License (CC BY). University Institute of Information Technology, PMAS-University Institute of Information Technology, Rawalpindi, PakistanĮmail: © 2015 by authors and Scientific Research Publishing Inc.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |