Backward Requirements Traceability within the Topology-based Model Driven Software Development

Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011) 2011
Ērika Nazaruka, Bernards Gulbis, Jānis Osis, Gundars Alksnis, Uldis Doniņš, Armands Šlihte

The inconsistence between software and specifications leads to unpredictable side effects after change implementation. Impact analysis may be useful here, but manual control of trace links is very expensive. Model Driven Architecture and automated transformations should make the impact analysis easier. The issue is that the impact analysis of changes in software to real world functional units is intuitive. Formalization of specifications of the environment and software functionality as well as their analysis by means of Topological Functioning Model extends possibilities of the impact analysis. This paper demonstrates the establishment of formal trace links to real world functional units and entities from user requirements and analysis artifacts. These links show element interdependence explicitly, and, hence, make the impact analysis more thorough.

Keywords
requirements traceability, software changes, topological functioning modeling, Model Driven Architecture
Hyperlink
http://www.scitepress.org/Portal/PublicationsDetail.aspx?ID=cq5BhFT2qug=&t=1

Asnina, Ē., Gulbis, B., Osis, J., Alksnis, G., Doniņš, U., Šlihte, A. Backward Requirements Traceability within the Topology-based Model Driven Software Development. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011), China, Beijing, 7-11 June, 2011. [S.l.]: SciTePress, 2011, pp.36-45. ISBN 978-989-8425-59-1.

Publication language
English (en)