Logo des Repositoriums
Zur Startseite
  • English
  • Deutsch
Anmelden
  1. Startseite
  2. SuUB
  3. Dissertationen
  4. Architectural Refinement in HETS
 
Zitierlink URN
https://nbn-resolving.de/urn:nbn:de:gbv:46-00103024-13

Architectural Refinement in HETS

Veröffentlichungsdatum
2012-08-16
Autoren
Codescu, Mihai  
Betreuer
Mossakowski, Till  
Gutachter
Tarlecki, Andrzej  
Zusammenfassung
The main objective of this work is to bring a number of improvements to the Heterogeneous Tool Set HETS, both from a theoretical and an implementation point of view. In the first part of the thesis we present a number of recent extensions of the tool, among which declarative specifications of logics, generalized theoroidal comorphisms, heterogeneous colimits and integration of the logic of the term rewriting system Maude. In the second part we concentrate on the CASL architectural refinement language, that we equip with a notion of refinement tree and with calculi for checking correctness and consistency of refinements. Soundness and completeness of these calculi is also investigated. Finally, we present the integration of the VSE refinement method in HETS as an institution comorphism. Thus, the proof manangement component of HETS remains unmodified.
Schlagwörter
heterogeneous specifications

; 

institutions

; 

refinement

; 

architectural specifications
Institution
Universität Bremen  
Fachbereich
Fachbereich 03: Mathematik/Informatik (FB 03)  
Dokumenttyp
Dissertation
Zweitveröffentlichung
Nein
Sprache
Englisch
Dateien
Lade...
Vorschaubild
Name

00103024-1.pdf

Size

3.9 MB

Format

Adobe PDF

Checksum

(MD5):c46914bde184d93ca701a9939b3635bc

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Datenschutzbestimmungen
  • Endnutzervereinbarung
  • Feedback schicken