Skip to main content

Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements

  • Conference paper
  • First Online:
Natural Language Processing and Information Systems (NLDB 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1959))

  • 4484 Accesses

Abstract

This article deals with traceability in sotfware engineering. More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models. We show that terminological knowledge facilitates the production of traceability links, provided that language processing technologies allow to elaborate semi-automatically the required terminological resources. The presented system is one step towards incremental formalization from textual knowledge.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. N. Aussenac-Gilles, D. Bourigault, A. Condamines, and C. Gros. How can knowledge acquisition benefit from terminology ? In Proceedings of the 9th Knowledge Acquisition for Knowledge Based System Workshop (KAW’ 95), Banff, Canada, 1995.

    Google Scholar 

  2. B. Biébow and S. Szulman. Une approche terminologique pour la construction d’ontologie de domaine à partir de textes: TERMINAE. In Proceedings of 12th RFIA Conference, pages 81–90, Paris, 2000.

    Google Scholar 

  3. G. Booch. Object-Oriented Analysis and Design with Applications. Addison-Wesley, 2d edition, 1994.

    Google Scholar 

  4. D. Bourigault. Lexter, a terminology extraction software for knowledge acquisition from texts. In Proceedings of the 9th Knowledge Acquisition for Knowledge Based System Workshop (KAW’ 95), Banff, Canada, 1995.

    Google Scholar 

  5. F. Cerbah. Acquisition de ressources terminologiques — description technique des composants d’ingénierie linguistique. Technical report, Dassault Aviation, 1999.

    Google Scholar 

  6. K. W. Church and P. Hanks. Word association norms, mutual information and lexicography. Computational Linguistics, 16(1):22–29, 1990.

    Google Scholar 

  7. B. Daille. Study and implementation of combined techniques for automatic extraction of terminology. In J.L. Klavans and P. Resnik, editors, The Balancing Act: Combining Symbolic and Statistical Approaches to Language. MIT Press, Cambridge, 1996.

    Google Scholar 

  8. K. Elavaino and J. Kunz. Docstep—technical documentation creation and management using step. In Proceedings of SGML’ 97, 1997.

    Google Scholar 

  9. Jérôme Euzenat. XML est-il le langage de représentation de connaissance de l’an 2000 ? In Actes des 6eme journées langages et modèles à objets, pages 59–74, Mont Saint-Hilaire, CA, 2000.

    Google Scholar 

  10. I. Jacobson. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.

    Google Scholar 

  11. J. S. Justeson and S. M. Katz. Technical terminology: Some linguistic properties and an algorithm for identiffication in text. Natural Language Engineering, 1(1):9–27, 1995.

    Article  Google Scholar 

  12. O. Mariño, F. Rechenmann, and P. Uvietta. Multiple perspectives and classiffication mechanim in object-oriented representation. In Proceeding of 9th ECAI, pages 425–430, Stockholm, 1990.

    Google Scholar 

  13. OMG. XML Metadata Interchange (XMI). Technical report, OMG, 1998.

    Google Scholar 

  14. D. Petitpierre and G. Russell. MMORPH-the Multext morphology program. Technical report, Multext Deliverable 2.3.1, 1995.

    Google Scholar 

  15. J. Rumbaugh. Object-Oriented Modeling and Design. Prentice-Hall, 1991.

    Google Scholar 

  16. Projet Sherpa. Troeps 1.2 reference manual. Technical report, Inria, 1998.

    Google Scholar 

  17. F. Shipman and R. McCall. Supporting incremental formalization with the hyperobject substrate. ACM Transactions on information systems, 17(2):199–227, 1999.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cerbah, F., Euzenat, J. (2001). Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements. In: Bouzeghoub, M., Kedad, Z., Métais, E. (eds) Natural Language Processing and Information Systems. NLDB 2000. Lecture Notes in Computer Science, vol 1959. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45399-7_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-45399-7_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41943-3

  • Online ISBN: 978-3-540-45399-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics