Eine vorausgehende Recherche konnte die wesentlichen Einschränkungen bisheriger Forschungsprojekte auf verwandten Gebieten ermitteln, die mehrheitlich keine durchgängige Softwareentwicklung als Schwerpunkt haben.
In einem ersten Schritt wurde ein Kriterienkatalog erstellt, anhand dessen eine Reihe formaler Spezifikationssprachen hinsichtlich ihrer Ausdruckskraft bezüglich unterschiedlicher Security-Anforderungsarten vergleichend bewertet wurden.
Darauf aufbauend wurde die Anwendbarkeit der Object Constraint Language (OCL) zur Beschreibung von Schutzzielen untersucht, wobei ein Bedarf nach geeigneten Erweiterungen der OCL festgestellt wurde, etwa um zeitliche Aspekte, zur gezielten Formulierung notwendiger Nutzungseinschränkungen in Betracht zu ziehen.
www11.informatik.uni-erlangen.deA preliminary investigation revealed the basic restrictions of former related research work, most of which was not focused on the issue of supporting requirement traceability throughout software development.
A list of criteria was first defined in order to evaluate by comparison a number of formal specification languages with regard to their expressiveness with respect to different security requirement classes.
Based on this analysis the suitability of the Object Constraint Language (OCL) to express protection objectives was examined.
www11.informatik.uni-erlangen.de是否要添加一些单词、短语或翻译？
请发送新条目。