Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge

Martin Böschen, Christian Rudat

Abstract

We describe a particular notion of traceability, namely the traceability between model variables and text passages in an informal requirement and discuss the usefulness of this concept, as it establishes a natural connection between formal and informal requirements. The traceability can be established in an semi-automated way by using the algorithm presented in this paper, which combines two metrics to match parts of the informal requirements to model variables. The first metric is purely text based and uses the Levenshtein distance, the second metric measures the semantical distance of concepts by using the Wu and Palmer measure and the WordNet ontology. The algorithm makes suggestions to the requirements engineer based on a combined score of these two measures. The suggested approach has been implemented in a tool and is studied in a small example.

References

  1. BTC Embedded Systems (2015). BTC Embedded Specifier. http://www.btc-es.de/index.php?idcatside=52 (last visited 09/09/2015).
  2. Génova, G., Fuentes, J. M., Llorens, J., Hurtado, O., and Moreno, V. (2013). A framework to measure and improve the quality of textual requirements. Requirements Engineering, 18(1):25-41.
  3. IBM (2015). IBM Rational DOORS. http://www03.ibm.com/software/products/en/ratidoor (last visited 09/09/2015).
  4. International Standard Organization (2011). Road Vehicles - Functional Safety.
  5. Levenshtein, V. I. (1966). Binary codes capable of correcting deletions, insertions, and reversals. In Soviet physics doklady, volume 10, pages 707-710.
  6. Mathworks (2015). Simulink. http://de.mathworks.com/products/simulink (last visited 09/09/2015).
  7. Miller, G. A. (1995). WORDNET: a Lexical Database for English. Communications of the ACM, 38(11):39-41.
  8. OSLC Community (2013). Open Services for Lifecycle Collaboration. http://open-services.net/.
  9. Prabhu, S. M. and Mosterman, P. J. (2004). Model-based design of a power window system: Modeling, simulation and validation. In Proceedings of IMAC-XXII: A Conference on Structural Dynamics, Society for Experimental Mechanics, Inc., Dearborn, MI.
  10. Rajan, A. and Wahl, T., editors (2013). CESAR - Costefficient Methods and Processes for Safety-relevant Embedded Systems. Number 978-3709113868. Springer.
  11. Sebastian Siegl, T. W. (2014). Von natrlichsprachlichen zu formalen anforderungen zwei werkzeuge im praxistest. OBJEKTspektrum.
  12. Sexton, D. (2013). An outline workflow for practical formal verification from software requirements to object code. In Formal Methods for Industrial Critical Systems, pages 32-47. Springer.
  13. The Reuse Company (2015). Requirements Quality Suite. http://www.reusecompany.com/requirementsquality-suite (last visited 05/27/2014).
  14. Wu, Z. and Palmer, M. (1994). Verbs semantics and lexical selection. In Proceedings of the 32nd annual meeting on Association for Computational Linguistics, pages 133-138. Association for Computational Linguistics.
Download


Paper Citation


in Harvard Style

Böschen M. and Rudat C. (2015). Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge . In Proceedings of the 6th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2015) ISBN 978-989-758-162-5, pages 54-59. DOI: 10.5220/0005732300540059


in Bibtex Style

@conference{sky15,
author={Martin Böschen and Christian Rudat},
title={Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge},
booktitle={Proceedings of the 6th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2015)},
year={2015},
pages={54-59},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005732300540059},
isbn={978-989-758-162-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2015)
TI - Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge
SN - 978-989-758-162-5
AU - Böschen M.
AU - Rudat C.
PY - 2015
SP - 54
EP - 59
DO - 10.5220/0005732300540059