Ontology-based model for Rational Unified Process artifacts traceability

Traceability of software artifacts has been recognized as an important factor for supporting various activities in the software development process. Although recent research approaches facilitate the creation and refinement of the domain Ontology to ensure the consistency of the software artifacts during the software development, there is not enough attention to the importance of linking both software verification and artifacts traceability. This paper aims at improving the efficiency of the whole Rational Unified Process (RUP) software development by proposing an Ontology-based model. The domain Ontology is created and refined automatically from different UML artifact versions. The software artifacts released from the RUP iterations are verified automatically, and hence the artifacts traceability and the automatic software verification processes are facilitated at less cost, time and effort. To illustrate how to utilize the model, a case study and a simple discussion are presented.

[1]  Sean Bechhofer,et al.  OWL: Web Ontology Language , 2009, Encyclopedia of Database Systems.

[2]  D.R. Wallace,et al.  Software verification and validation: an overview , 1989, IEEE Software.

[3]  Heinrich Hussmann.  Indirect Use of Formal Methods in Software Engineering , 1999 .

[4]  Jens von Pilgrim,et al.  A survey of traceability in requirements engineering and model-driven development , 2010, Software & Systems Modeling.

[5]  Dragan Gasevic,et al.  The Ontology Definition Metamodel (ODM) , 2009 .

[6]  Jordi Cabot,et al.  Verification of UML/OCL Class Diagrams using Constraint Programming , 1899, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[7]  Riichiro Mizoguchi.  Tutorial on ontological engineering , 2009, New Generation Computing.

[8]  V. Maniraj,et al.  Ontology Languages – A Review , 2010 .

[9]  Silva.  Formal Verification of Application Domain Using MDA and OWL , .

[10]  Marcelo Blois Ribeiro,et al.  Concepts-Based Traceability: Using Experiments to Evaluate Traceability Techniques , 2009, ICEIS.

[11]  Haruhiko Kaiya,et al.  Using Domain Ontology as Domain Knowledge for Requirements Elicitation , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[12]  Igor Siveroni,et al.  Property Specification and Static Verification of UML Models , 2008, 2008 Third International Conference on Availability, Reliability and Security.

[13]  Riichiro MIZOGUCHI,et al.  Tutorial on ontological engineering Part 2: Ontology development, tools and languages , 2004, New Generation Computing.

[14]  Roy Grønmo,et al.  Transformations Between UML and OWL-S , 2005, ECMDA-FA.

[15]  Timothy G. Trucano,et al.  Verification and validation. , 2005 .

[16]  Mark T True,et al.  Software Requirements , 2005 .

[17]  Richard Stevens,et al.  Requirements Traceability , 1997, RE.

[18]  Alain April,et al.  REquirements TRacing On target (RETRO): improving software maintenance through traceability recovery , 2007, Innovations in Systems and Software Engineering.

[19]  Barry W. Boehm,et al.  Understanding and Controlling Software Costs , 1988, IEEE Trans. Software Eng..

[20]  Yonggang Zhang,et al.  Text mining and software engineering: an integrated source code and document analysis approach , 2008, IET Softw..

[21]  Shi-Kuo Chang,et al.  Advances in Software Engineering and Knowledge Engineering , 1993, Series on Software Engineering and Knowledge Engineering.

[22]  George Spanoudakis,et al.  Software Traceability : A Roadmap , 2005 .

[23]  Jane Huffman Hayes,et al.  Assessing traceability of software engineering artifacts , 2010, Requirements Engineering.

[24]  Jeanine Souquières,et al.  Validation of UML static diagrams using B , 2005, Software Engineering Research and Practice.

[25]  Matthias Jarke,et al.  Toward Reference Models of Requirements Traceability , 2001, IEEE Trans. Software Eng..

[26]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition) , 1997 .

[27]  John D. Gannon,et al.  Verification and Validation , 1997, The Computer Science and Engineering Handbook.

[28]  Marcelo Blois Ribeiro,et al.  Ontological Traceability over the Unified Process , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[29]  Yonggang Zhang,et al.  Empowering Software Maintainers with Semantic Web Technologies , 2007, ESWC.

[30]  Bahar Sateli,et al.  Intelligent Software Development Environments: Integrating Natural Language Processing with the Eclipse Platform , 2011, Canadian Conference on AI.

[31]  Marco Lormans,et al.  Reconstructing Requirements Traceability in Design and Test Using Latent Semantic Indexing , 2007 .

[32]  Balasubramaniam Ramesh,et al.  Factors influencing requirements traceability practice , 1998, CACM.