scientific article; zbMATH DE number 1758619
Kurzfassung: Wie im Bereich der Datenbanksysteme und mehr noch in dem der Programmiersprachen hat sich auch im Bereich der Spezifikationssprachen das objektorientierte Paradigma etabliert. Allerdings hat die Objektorientierung nicht den erhofften Fortschritt in Bezug auf die Wiederverwendbarkeit von Software bzw. Spezifikationen mit sich gebracht und den reinen objektorientierten Sprachen fehlt außerdem ein über Objektklassen hinausgehendes Strukturierungskonzept. Gegenstand der vorliegenden Abhandlung sind Konzepte zur Strukturierung und Wiederverwendung objektorientierter Spezifikationen. Speziell wird die Spezifikationssprache TROLL syntaktisch und semantisch um zwei entsprechende Arten von Modulkonzepten erweitert. Der Kontext, in dem TROLL eingesetzt wird, ist die Spezifikation von Informationssystemen auf einer hohen, implementierungsunabhängigen Abstraktionsebene. Die entsprechende Phase im Softwareentwurfsprozess wird als Spezifikationsphase und im Datenbankumfeld auch als konzeptioneller Entwurf bezeichnet. Da es in der Literatur etliche Sprachvorschläge in diesem Bereich gibt, stellen wir eine Reihe von semiformalen und formalen objektorientierten Spezifikationssprachen vor und ordnen TROLL darin ein. Des Weiteren wird ein Überblick über bestehende Ansätze zur Strukturierung und zur Wiederverwendung in den Bereichen Programmierung, Spezifikation und formale Grundlagen gegeben und darauf aufbauend Anforderungen an solche Konzepte für die Sprache TROLL aufgestellt. Zur Strukturierung von Spezifikationen dienen einfache und komplexe Subsysteme, und zur Wiederverwendung von Spezifikationsteilen werden Sprachkonstrukte zur Erstellung generischer Spezifikationen, zur Instanziierung formaler Parameter sowie zur Einbindung von Modulen in aktuelle Spezifikationen zur Verfügung gestellt. Alle Sprachkonstrukte werden mit einer formalen Syntax und Semantik versehen. Die formale Grundlage der Sprachdefinition bilden erweiterte Datensignaturen und die über Ereignisstrukturen interpretierte verteilte temporale Logik DTL sowie Modulsignaturen und die ebenfalls über Ereignisstrukturen interpretierte modulare verteilte temporale Logik MDTL.
- scientific article; zbMATH DE number 1096543
- scientific article; zbMATH DE number 2086148
- scientific article; zbMATH DE number 1231678
- scientific article; zbMATH DE number 1110831
- Object models and distributed knowledge systems
- Specifying a component model for building dynamically reconfigurable distributed systems
- scientific article; zbMATH DE number 1540610
- Object-oriented specification and open distributed systems
- On the construction of distributed RM-ODP specifications
- scientific article; zbMATH DE number 2086148 (Why is no real title available?)
- Semantic models for distributed object reflection
- scientific article; zbMATH DE number 5545453 (Why is no real title available?)
- Object-oriented specification of protocols for reusability
- scientific article; zbMATH DE number 1508923 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537846)
