Architectural Refinement in HETS
File | Description | Size | Format | |
---|---|---|---|---|
00103024-1.pdf | 4 MB | Adobe PDF | View/Open |
Other Titles: | Architektur-Verfeinerung in HETS | Authors: | Codescu, Mihai | Supervisor: | Mossakowski, Till | 1. Expert: | Mossakowski, Till | Experts: | Tarlecki, Andrzej | Abstract: | 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. |
Keywords: | heterogeneous specifications; institutions; refinement; architectural specifications | Issue Date: | 16-Aug-2012 | Type: | Dissertation | Secondary publication: | no | URN: | urn:nbn:de:gbv:46-00103024-13 | Institution: | Universität Bremen | Faculty: | Fachbereich 03: Mathematik/Informatik (FB 03) |
Appears in Collections: | Dissertationen |
Page view(s)
423
checked on Apr 2, 2025
Download(s)
65
checked on Apr 2, 2025
Google ScholarTM
Check
Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.