neue Ausgabe des SCCH Magazins downloaden - Software ...

PRäZISe UNd
veRSTäNdlIch
PRecISe, cOMPReheNSIBle SySTeM
SPecIFIcATIONS
DE EN
Das Konzept der Abstract State Machines (ASMs)
wurde ab Mitte der 1980er Jahre von Yuri Gurevich
entwickelt. Anfang der 1990er erkannte Egon Börger
das Potential von ASMs im Bereich von Software Engineering
und die daraus entstandene Methode wurde
mittlerweile schon erfolgreich für zahlreiche industrielle
Projekte eingesetzt.
ASMs können für alle von Nutzen sein, die Software-
und/oder Hardwarespezifikationen brauchen. Man
kann ASMs einsetzen, um, ausgehend von natürlichsprachlichen
Anforderungen, präzise und konsistente
Spezifikationen zu erarbeiten.
„Beim Erarbeiten von Software-Spezifikationen kommt
es immer wieder zu Missverständnissen. Benötigt
werden exakte Beschreibungen auf allen Abstraktionsebenen,
bei denen die durch natürliche Sprache verursachten
Mehrdeutigkeiten nicht mehr möglich sind“,
erklärt Prof. Dr. Klaus-Dieter Schewe vom Software
Competence Center Hagenberg. Verständnisprobleme
oder Inkonsistenzen, die erst während der Entwicklung
auffallen, oder gar erst beim Testen, verursachen ein
Vielfaches der Kosten einer gründlichen und präzisen
Spezifikation.
Mit formalen Methoden können Anforderungen in
unmissverständliche und präzise Spezifikationen um-
12 Scch MAGAZINe 1/2012
The concept of Abstract State Machines (ASMs) was developed
in the mid-1980s by Yuri Gurevich. Early in the
1990s Egon Börger recognized the potential of ASMs
for software engineering, and the resulting methods
have been successfully applied in numerous industrial
projects.
ASMs can be useful for anyone who needs software
and/or hardware specifications. ASMs enable a transition
from natural-language requirements definitions to
precise and consistent specifications.
“Formulation of software specifications often results in
misunderstandings. Exact descriptions are necessary at
all abstraction levels to preclude the ambiguities of natural
language,” explains Prof. Dr. Klaus-Dieter Schewe
of Software Competence Center Hagenberg. Misunderstandings
and inconsistencies that surface during
development or even during testing cause a multiple of
the costs of thorough and precise specification.
Formal methods enable translating requirements into
unambiguous and precise specifications. However, the
problem is that strictly formal methods are incomprehensible
for many clients and indeed even for developers.
Furthermore, such methods are necessary only
in special cases that are critical in terms of security or
safety.