Jörn Mordau - Die Integration formaler Methoden zur Spezifikation von Informationssystemen
Lieferung & Versand
Für diesen Artikel wurde keine geeignete Versandart ermittelt. Bitte melden Sie sich bei uns.
- Zahlungsarten:
Über das Buch
Zum Inhalt
Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster Stufe basieren, werden hier als ein hilfreiches Mittel angesehen. Das Besondere sind allerdings nicht die formalen Methoden an sich, sondern ihr spezieller Zuschnitt auf die Problemklasse ‘Betriebliche Informationssysteme‘ bzw. ‘Standardisierte Betriebliche Informationssysteme‘.
Den Ausgangspunkt bildet die Überlegung, dass eine formale Behandlung nur dann erfolgversprechend sein kann, wenn sie in ein Entwicklungsumfeld eingebettet wird, in dem auch alternative Darstellungsmethoden ihre Daseinsberechtigung haben. Außerdem muss das formale Werkzeug auf ein vorhandenes Grundmodell ausgerichtet sein.
Die Formeln eines Gegenstandbereichs werden in Templates dargestellt, die neben formalen Teilen auch Raum für verbale Umschreibungen bieten. Selbst logisch ableitbare Sätze sowie modale, also mögliche Zustände beinhaltende Aussagen, können eingebunden werden.
Weitere Schwerpunkte bilden die formale Herleitung von Teilmodellen sowie deren Übertragung in graphisch orientierte Darstellungen. Der schwierige Übergang von der Anwendersprache zur Formel wird über Prädikatorenregeln vollzogen, die auch im Bereich der natürlichsprachlichen Softwareentwicklung, verwendet werden.
Die Anwendungsbezogenheit unterstreicht darüber hinaus die exemplarische Verwendung eines hochschuleigenen Prüfungsverwaltungssystems als durchgängiges, praktisches Fallbeispiel. Es ist klein genug, um als Demonstrationsobjekt überschaubar zu bleiben, weist aber im Aufbau - man denke etwa an das Regelsystem der Prüfungsordnung - viele Parallelen zu komplexen betrieblichen Informationssystemen auf.
Alles in allem wird mit diesem Buch der umfassende Versuch…
Schlagworte
Informationssysteme, Spezifikation, formale Methode, dynamische Integritätsbedingungen, Prädikatenlogik, Informatik
Angaben zur Produktsicherheit
Hersteller
Verlag Dr. Kovač GmbH
Leverkusenstraße 13, 22761 Hamburg
E-Mail
info@verlagdrkovac.de
-
SchriftenreiheStudien zur Datenbankforschung
-
ISSN1435-6279
-
Band7
Lieferzeit
Zahlungsarten
Sie können via Paypal, Kreditkartenzahlung oder Vorkasse bezahlen. Firmenkunden können auf Rechnung kaufen.
Lieferzeit
Die Lieferzeit innerhalb Deutschlands beträgt üblicherweise 2 bis 3 Werktage ab Zahlungseingang. Bei Bestellungen an Wochenenden und Feiertagen verzögert sich die Auslieferung entsprechend.
Paket-Versand
Einige Artikel werden aufgrund ihrer Größe, Menge und/oder ihres Gewichtes als Paket versendet.
Verzögerungen
Sollten einige Artikel kurzfristig nicht lieferbar sein oder sich die versprochene Lieferzeit verzögern, werden Sie per E-Mail von uns darüber informiert.
Logistikpartner
Die bestellten Artikel werden von uns schnellstmöglich verpackt und unserem Logistikpartner versandfertig übergeben. Bitte beachten Sie, dass wir auf Verzögerungen, die von unserem Logistikpartner verursacht sind, keinen Einfluss haben.
Sendungsverfolgung
Anhand Ihrer Paket-Identnummer/Sendungsnummer können Sie jederzeit den aktuellen Sendungsstatus Ihres Paketes erfahren. Weitere Informationen zur Sendungsverfolgung erhalten Sie in Ihrer Lieferbestätigung per eMail.
Kontakt
Sie erreichen unseren Kundenservice telefonisch unter 040 398880 0 sowie per E-Mail unter shop@verlagdrkovac.de.