Natural language specification improvement with ontologies

International Journal of Semantic Computing

Volumn 3, Issue 4, 2009, Pages 445-470

  Körner, Sven J ^a   Brumm, Torben ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

linguistics; ontologies; Requirements engineering

Indexed keywords

LINGUISTICS; ONTOLOGY; REQUIREMENTS ENGINEERING; SEMANTICS; SOFTWARE DESIGN;

DIALOG SYSTEMS; HIGH COSTS; NATURAL LANGUAGE SPECIFICATIONS; SEMANTIC INFORMATION; SOFTWARE DEVELOPMENT CYCLES; SOFTWARE SYSTEMS; SUPPORT REQUIREMENTS;

SPECIFICATIONS;

EID: 85031038453     PISSN: 1793351X     EISSN: 17937108     Source Type: Journal    
DOI: 10.1142/S1793351X09000872     Document Type: Article

References (49)

1. D. M. Berry, E. Kamsties and M. M. Krieger, From Contract Drafting to Software Specification: Linguistic Sources of Ambiguity-A Handbook, November 2003. [Online]. Available: http://se.uwaterloo.ca/~dberry/handbook/ambiguityHandbook.pdf.
2. C. Rupp and die SOPHISTen, Requirements-Engineering und Management, 4th ed. (Carl Hanser Verlag, 2006).
3. Volere, List of requirement engineering tools, 2009. [Online]. Available: http://www.volere.co.uk/tools.htm.
4. N. Kiyavitskaya, N. Zeni, L. Mich and D. M. Berry, Requirements for tools for ambiguity identification and measurement in natural language requirements specifications, Requir. Eng. 13 (3) (2008) 207-239.
5. C. Rupp, Requirements and Psychology, IEEE Software, May/June 2002.
6. D. Jurafsky and J. H. Martin, Speech and Language Processing (Prentice Hall, 2000).
7. S. J. Körner and T. Gelhausen, Improving automatic model creation using ontologies, in Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering, July 2008, pp. 691-696.
8. A. van Lamsweerde, R. Darimont and E. Letier, Managing conflicts in goal-driven requirements engineering 24 (11) (1998) 908-926.
9. B. Nuseibeh and S. Easterbrook, Requirements engineering: a roadmap, in ICSE '00: Proceedings of the Conference on the Future of Software Engineering, New York, NY, USA (ACM Press, 2000), pp. 35-46.
10. B. H. C. Cheng and J. M. Atlee, Research directions in requirements engineering, in Proc. Future of Software Engineering (FOSE '07 ), 23-25 May 2007, pp. 285-303.
11. S. Konrad and B. H. Cheng, Facilitating the construction of specification patternbased properties, IEEE International Conference on Requirements Engineering, 2005 pp. 329-338.
12. W. M. Adam Pease, An english to logic translator for ontology-based knowledge representation languages, IEEE 0-7803-7902-0/03, 2003, pp. 777-783.
13. C. L. Heitmeyer, R. D. Jeffords and B. G. Labaw, Automated consistency checking of requirements specifications, ACM Trans. Softw. Eng. Methodol. 5 (3) (1996) 231-261.
14. H. Kaiya and M. Saeki, Ontology based requirements analysis: lightweight semantic processing approach, in Proc. Fifth International Conference on Quality Software (QSIC 2005), 19-20 Sept. 2005, pp. 223-230.
15. H. Kaiya and M. Saeki, Using domain ontology as domain knowledge for requirements elicitation, in Proc. IEEE International Conference Requirements Engineering, 11-15 Sept. 2006, pp. 189-198.
16. M. Saeki, Ontology-based software development techniques, ERCIM News 58 (2004) 14-15.
17. Zhang, R. Witte, J. Rilling and V. Haarslev, An ontology-based approach for traceability recovery, 2006.
18. W. Meng, J. Rilling, Y. Zhang, R. Witte and P. Charland, An ontological software comprehension process model, 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering (ATEM 2006), October 1st, Genoa, Italy, 2006.
19. H. Liu and P. Singh, ConceptNet-a practical commonsense reasoning tool-kit, BT Technology Journal 22 (2004). [Online]. Available: http://larifari.org/writing/BTTJ2004-ConceptNet.pdf.
20. C. Havasi, R. Speer and J. Alonso, ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge, in Recent Advances in Natural Language Processing, Borovets, Bulgaria, September 2007. [Online]. Available: http://web.media.mit.edu/~jalonso/cnet3.pdf.
21. IEEE recommended practice for software requirements specifications, IEEE Std 830-1998, Oct. 1998.
22. R. Bandler, Metasprache und Psychotherapie: Die Struktur der Magie I (Junfermann, 1994).
23. M. E. Fagan, Design and code inspections to reduce errors in program development, IBM Systems Journal 15 (3) (1976) 182-211.
24. A. Ackerman, L. Buchwald and F. Lewski, Software inspections: an effective verification process, IEEE Software 6 (1989) 31-36.
25. N. Power, Variety and quality in requirements documentation, in REFSQ'01: Proceedings of the Seventh International Workshop on Requirements Engineering: Foundation for Software Quality, pp. 165-170, 2001.
26. E. Kamsties, A. V. Knethen, J. Philipps and B. Schätz, An empirical investigation of the defect detection capabilities of requirements specification languages, in EMMSAD'01: Proceedings of the Sixth CAiSE/IFIP8.1 International Workshop on Evaluation of Modelling Methods in Systems Analysis and Design, 2001.
27. N. E. Fuchs, U. Schwertel and R. Schwitter, Attempto Controlled English-not just another logic specification language, LNCS, 1559, 1999, pp. 1-20.
28. C. Denger, D. M. Berry and E. Kamsties, Higher quality requirements specifications through natural language patterns (IEEE Computer Society, Los Alamitos, CA, 2003), p. 80.
29. R. Smith, G. Avrunin, L. Clarke and L. Osterweil, Propel: an approach supporting property elucidation, in ICSE 2002: Proceedings of the 24rd International Conference on Software Engineering, 2002, pp. 11-21.
30. A. Davis, S. Overmyer, K. Jordan, J. Caruso, F. Dandashi, A. Dinh, G. Kincaid, G. Ledeboer, P. Reynolds, P. Sitaram, A. Ta and M. Theofanos, Identifying and measuring quality in a software requirements specification, in Proceedings of the First International Software Metrics Symposium, May 1993, pp. 141-152.
31. W. Wilson, L. Rosenberg and L. Hyatt, Automated analysis of requirement specifications, in ICSE '97: Proceedings of the 19th International Conference on Software Engineering, May 1997, pp. 161-171.
32. F. Chantree, B. Nuseibeh, A. de Roeck and A. Willis, Identifying Nocuous Ambiguities in Natural Language Requirements, in RE '06: Proceedings of the 14th IEEE International Requirements Engineering Conference (RE'06), Washington, DC, USA: IEEE Computer Society, 2006, pp. 56-65.
33. F. Fabbrini, M. Fusani, S. Gnesi and G. Lami, The linguistic approach to the natural language requirements quality: Benefit of the use of an automatic tool, in SEW '01: Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop, Washington, DC, USA (IEEE Computer Society, 2001), p. 97.
34. D. M. Berry, A. Bucchiarone, S. Gnesi and G. Trentanni, A New Quality Model for Natural Language Requirements Specifications, 2008. [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.5268.
35. A. Fantechi, S. Gnesi, G. Lami and A. Maccari, Application of linguistic techniques for use case analysis, IEEE International Conference on, Requirements Engineering (2002), p. 157.
36. Y. Pisan, Extending requirement specifications using analogy, in ICSE '00: Proceedings of the 22nd International Conference on Software Engineering, New York, NY, USA (ACM, 2000), pp. 70-76.
37. J. L. Elshoff, An analysis of some commercial pl/1 programs, IEEE Transactions on Software Engineering, (1976). [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabsall.jsp?isnumber=35893&arnumber=1702349&count=16&index=6.
38. S. J. Körner and T. Brumm, Improving Natural Language Specifications with Ontologies, in Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering, Knowledge Systems Institute, Ed., July 2009.
39. T. Gelhausen, B. Derre, M. Landhäußer, T. Brumm and S. J. Körner, SaleMX project website, 2009. [Online]. Available: http://svn.ipd.uni-karlsruhe.de/trac/mx/wiki.
40. G. A. Miller, C. Fellbaum, R. Tengi, P. Wakefield, H. Langone and B. R. Haskell, WordNet. [Online]. Available: http://wordnet.princeton.edu/
41. Cycorp Inc., ResearchCyc. [Online]. Available: http://research.cyc.com/
42. F. M. Suchanek, G. Kasneci and G. Weikum, Yago: A Core of Semantic Knowledge, 2007. [Online]. Available: http://suchanek.name/work/publications/www2007.pdf.
43. R. Geiß, G. V. Batz, D. Grund, S. Hack and A. M. Szalkowski, GrGen: A Fast SPOBased Graph Rewriting Tool, in Graph Transformations-ICGT 2006, Lecture Notes in Computer Science (Springer, 2006), pp. 383-397, natal, Brasil. [Online]. Available: http://www.info.uni-karlsruhe.de/papers/grgenicgt2006.pdf.
44. T. Gelhausen and W. F. Tichy, Thematic Role Based Generation of UML Models from Real World Requirements, in Proc. International Conference on Semantic Computing (ICSC 2007), 2007, pp. 282-289.
45. The Stanford Natural Language Processing Group, Stanford Log-linear Part-Of-Speech Tagger. [Online]. http://nlp.stanford.edu/software/tagger.shtml.
46. P.-J. Courtois and D. L. Parnas, Documentation for safety critical software, in ICSE '93: Proceedings of the 15th International Conference on Software Engineering. Los Alamitos, CA, USA (IEEE Computer Society Press, 1993), pp. 315-323.
47. E. Kamsties, D. M. Berry and B. Paech, Detecting Ambiguities in Requirements Documents Using Inspections, in Proceedings of the First Workshop on Inspection in Software Engineering (WISE'01), 2001, pp. 68-80.
48. C. H. D. Heath, Made to Stick: Why Some Ideas Survive and Others Die, 1st ed. (Random House, 2007).
49. Cycorp Inc., The syntax of CycL. [Online]. Available: http://www.cyc.com/doc/handbook/oe/02-the-syntax-of-cycl.html.