Formalization of functional requirements in software development process

• Autorzy: Sengupta S. , Bhattacharya S.
• Języki publikacji: EN

Abstrakty

EN

In this paper, we propose to establish traceability of functional requirements expressed in a SRS document in analysis and design phase that goes down to the coding phase. UML has become a de-facto standard for modeling object-oriented systems. To ensure traceability of requirements in different phases of software lifecycle, it is also mandatory to ensure consistency between different UML diagrams used in those different phases. Here, after specifying some rules to trace requirements and verify consistency, we formally represent functional requirement UML Use case diagram, and some other UML diagrams that are widely used for analyzing and designing object-oriented systems, using Z notation. At the end we represent the formalized functional requirement and the UML diagrams along with their relationship visually using Entity-Relationship (ER) diagram. Implementation of our approach would bridge the gap between a formal language, which is mathematical and difficult to understand and UML that is visual and easy to comprehend. Development of a tool based on this approach would generate a visual representation of formalized functional requirements and their traceability among different UML diagrams, from which automated traceability of requirement in different phases of software development and consistency verification between different UML diagrams can be achieved.

Słowa kluczowe

EN

traceability; functional requirement; UML; use case diagram; activity diagram; class diagrams; sequence diagram; collaboration diagram; Z notation; formalization; ER diagram; automated verification

• Wydawca: Wydawnictwo Politechniki Poznańskiej
• Czasopismo: Foundations of Computing and Decision Sciences
• Rocznik: 2008
• Tom: Vol. 33, No. 1
• Strony: 83--115
• Opis fizyczny: Bibliogr. 39 poz.

Twórcy

autor

Sengupta S.

autor

Bhattacharya S.

• Department of Information Technology, B P Poddar Institute of Management & Technology, 137 VIP Road, Poddar Vihar Kolkata - 700052, India,

Bibliografia

• [1]Grady Booch, James Rumbaugh, Ivar Jacobson; The Unified Modeling Language User Guide (1999)
• [2]OMG: Unified Modeling Language Specification, version 2.0. Available at http ://www.omg.org/uml
• [3]J.M. Spivey, The Z Notation, A Reference Manual, 2nd edition. Prentice Hall International, 1992.
• [4]Jim Woodcock, Jim Davis; Using Z Specification, Refinement and Proof, Prentice Hall, 1996
• [5]Xiaoping Jia, ZTC: A Type Checker for Z Notation User’s Guide Version 2.2, October 2002
• [6]Thomas Tilley, Towards an FCA based tool for visualizing formal specifications, ICCS 2003, The 11th International Conference on Conceptual Structures, July 2003, Dresden
• [7]Gotel, O., Finkelstein, A., An Analysis of the Requirements Traceability Problem, Proc. of First International Conference on Requirements Engineering, 1994, pages 94-101
• [8]Antoniol, G., Canfora, G., De Lucia, A., Casazza, G. Information Retrieval Models for Recovering Traceability Links between Code and Documentation Proceedings of the International Conference on Software Maintenance, 2000.
• [9]Antoniol, G., Caprile, B., Potrich, A., Tonella, P.,Design-Code Traceability Recovery: Selecting the Basic Linkage Properties, Science of Computer Programming, vol. 40, issue 2-3, pp. 213-234, July 2001.
• [10]Arlow, J., Emmerich, W., Quinn, J., Literate Modelling - Capturing Business Knowledge with the UML, UML’98: Beyond the Notation 1998.
• [11]Jane Cleland-Huang, Carl K. Chang & Mark Christensen, “Event-Based Traceability for Managing Evolutionary Change”, IEEE Transactions on Software Engineering, Vol 29, No. 9, pp 796-810, September 2003.
• [12]Gotel O.C.Z., Finkelstein A.C.W., An Analysis of the Requirements Traceability Problem. 1st International Conference on Rqts. Eng., pp. 94-101, 1994.
• [13]Gotel, O. & Finkelstein, A. “Extended Requirements Traceability: results of an industrial case study” in Proc. 3rd International Symposium on Requirements Engineering RE97, (IEEE CS Press), 1997, 169-178.
• [14]Gruber, T. R. & Russell, D. M. Generative design rationale, Lawrence Erlbaum Associates, 1994.
• [15]Grünbacher P., Egyed A., Medvidovic N., Reconciling Software Requirements and Architectures: The CBSP Approach, In: Proceedings 5th IEEE International Symposium on Requirements Engineering (RE01), Toronto, Canada, 2001.
• [16]Murphy, G. C., Notkin, D. and Sullivan, K., Software Reflexion Models: Bridging the Gap Between Source and High-Level Models, In the Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, October 1995, ACM, New York, NY, p. 18-28.
• [17]Pohl et al., Integrating Requirement and Architecture Information: A Scenario and Meta-Model Based Approach, REFSQ workshop 2001.
• [18]IEEE Recommended Practice for Software Requirements Specifications; IEEE Std 830-1998 (Revision of IEEE Std 830-1993)
• [19]Smith G.O., The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers (2000)
• [20]Nuno Am’alio, Susan Stepney, and Fiona Polack, Modular UML Semantics: Interpretations in Z Based on Templates and Generics, FACS’03 Workshop on Formal Aspects of Component Software, Pisa, Italy, September 2003
• [21]Xuede Zhan, Huaikou Miao, Ling Liu, Formalizing the Semantics of UML Statecharts with Z*, The Fourth International Conference on Computer and Information Technology (CIT'04) 09 14 - 09,2004
• [22]Xiaoping Jia, A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development, COMPSAC, 1997
• [23]Jing Sun, Jin Song Dong, Jing Liu, Hai Wang, Object-Z Web Environment and Projections to UML, 10th International World Wide Web Conference (WWW-10), May 2001.
• [24]David Roe, Krysia Broda, and Alessandra Russo, Mapping UML Models incorporating OCL Constraints into Object-Z, Technical Reports - Computing -Imperial College London, 2003
• [25]Nuno Amalio and Fiona Polack, Comparison of Formalism Approaches of UML Class Constructs in Z and Object-Z, 2003
• [26]Margot Bittner, Florian Kammüller, Translating Fusion/UML to Object-Z, Technical University of Berlin, June 2003.
• [27]Sophie Dupuy-Chessa and Lydie du Bousquet, Validation of UML models thanks to Z and Lustre, Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity, 2001
• [28]M. Shroff, R.B. France, Towards a formalization of UML class structures in Z, COMPSAC ‘97 - 21st International Computer Software and Applications Conference 08 11 - 08, 1997 Washington, DC
• [29]Soon-Kyeong Kim, David Carrington, Roger Duke, A Metamodel-based transformation between UML and Object-Z, Queensland IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01) 09 05 - 09, 2001 Stresa, Italy
• [30]S.-K. Kim, D. Carrington, An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study, Seventh Asia-Pacific Software Engineering Conference (APSEC'00) 12 05 - 12, 2000 Singapore
• [31]Soon-Kyeong Kim and David Carrington, A Formal Mapping between UML Models and Object-Z Specifications, Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B,2000
• [32]Thomas Tilley, Towards an FCA based tool for visualizing formal specifications, ICCS 2003, The 11th International Conference on Conceptual Structures, July 2003, Dresden.
• [33]”ZML: An XML Markup for Z Specification Language”, Available at: http://czt.sourceforge.net/zml/
• [34]Mike Smith, Dawid Weiss, Pauline Wilcox, Rick Dewar., “The Ophelia Traceability Layer.”, Proceedings of 2nd Workshop on Cooperative Supports for Distributed Software Engineering Processes, Benevento, Italy, March 25,2003.
• [35]Sabnam Sengupta, Swapan Bhattacharya, “Functional Specification of Object Oriented Systems: A Model Driven Framework”, Proceedings of the Doctoral Symposium of the 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC'07), July 22-27, 2007, Beijing, China.
• [36]Sabnam Sengupta, Swapan Bhattacharya, “Formalization of Functional Requirements and Their Traceability in UML Diagrams- A Z Notation Based Approach”, Proceedings of the 11th Systems Engineering Test & Evaluation Conference (SETE’06) Melbourne, Australia, September 25-27, 2006.
• [37]Sabnam Sengupta, Swapan Bhattacharya, “Formalization of UML Use Case Diagram- A Z Notation Based Approach”, Proceedings of IEEE International Conference on Computing & Informatics (ICOCI’06), Kuala Lumpur, Malaysia, pages 61-66, June 6-8,2006,
• [38]Sabnam Sengupta, Ananya Kanjilal, Swapan Bhattacharya, “Behavioral Specification of Object Oriented Systems using OCL”, Proceedings of the Conference on Recent Trends in Emerging Technologies (RTET’06), pages 31-35, Kolkata, India, February 25-26,2006.
• [39]Sabnam Sengupta, Ananya Kanjilal, Swapan Bhattacharya, “Automated Translation of Behavioral Models using OCL and XML”, Proceedings of IEEE Tencon ‘05, pages 86-91, Melbourne, Australia, November 22-24,2005.