Formalisierung von Anforderungen durch Dokumentanalyse
Zusammenfassung der Projektergebnisse
Die implementierten Algorithmen zur Übersetzung von Automatenbeschreibungen in Automaten, sowie zur Extraktion von Namen von Akteuren/Zuständen haben gezeigt, dass die existierenden computerlinguistischen Tools für den Einsatz in Anforderungsanalyse geeignet sind. Die Qualität der resultierender Modelle hängt jedoch stark von der Qualität des Anforderungstextes ab. Das größte Potential der Textanalyse als Werkzeugs der Anforderungsanalyse liegt darin, dass Anforderungsdokumente oft nicht die gewünschte Qualität aufweisen, ohne dass es den Autoren solcher Dokumente auffällt. Textanalyse erlaubt es, auf die Defizite der Dokumente hinzuweisen. Mittels extrahierter Modelle kann also ein im Requirements Engineering weit verbreitetes Problem angegangen werden: Unterspezifikationen im Dokument fallen dem menschlichen Leser selten auf, Unvollständigkeiten in Modellen sind hingegen leichter zu identifizieren. Gleichzeitig bieten Modelle eine Möglichkeit der Validierung an, nämlich ob eine Spezifikation hinreichend vollständig ist, d.h. ein Requirements Engineer bekommt eine Antwort auf die Frage "Wann bin ich fertig? Wann habe ich genug gemacht?", die sonst im Requirements Engineering schwer zu beantworten ist. Diese Frage kann anhand der Modelle zumindest eingeschränkt auf funktionale Anforderungen beantwortet werden; je nach Art des Modells Verhaltensanforderungen, die das interne Verhalten des Systems oder das Verhalten an der Systemschnittstelle beschreiben. Diese Feedbackschleife trägt dazu bei, Qualität der Spezifikationen früh im Projektverlauf zu kontrollieren und zu verbessern.
Projektbezogene Publikationen (Auswahl)
- Requirements Analysis: Concept Extraction and Translation of Textual Specifications to Executable Models. In Helmut Horacek and Elisabeth Metals and Rafael Munoz and Magdalena Wolska, editors, Application of Natural Language to Information Systems, volume 5723 of LNCS, pages 79-90, Saarbrücken, Germany, June 24-26 2009. Springer-Verlag
Leonid Kof
- Translation of Textual Specifications to Automata by Means of Discourse Context Modeling. In Martin Glinz and Patrick Heymans, editors, Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, volume 5512 of LNCS. pages 197-211, Amsterdam, The Netherlands, June 8-9 2009. Springer-Verlag
Leonid Kof
- From Requirements Documents to System Models: Interactive Semi-Automatic Translation. In 18th IEEE International Requirements Engineering Conference, 2010, pp. 391-392, Sydney, Australia, IEEE Computer Society Conference Publishing Services
Leonid Kof
- Faster from Requirements Documents to System Models: Interactive Semi-Automatic Translation. REEW'11: International Requirements Engineering Efficiency Workshop
Leonid Kof und Birgit Penzenstadler
- From Requirements to Models: Feedback Generation as a Result of Formalization. CAiSE'11:23rd Conference on Advanced Information Systems Engineering
Leonid Kof und Birgit Penzenstadler
