Architectural Refinement in HETS
|Other Titles:||Architektur-Verfeinerung in HETS||Authors:||Codescu, Mihai||Supervisor:||Mossakowski, Till||1. Expert:||Mossakowski, Till||2. Expert:||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||URN:||urn:nbn:de:gbv:46-00103024-13||Institution:||Universität Bremen||Faculty:||FB3 Mathematik/Informatik|
|Appears in Collections:||Dissertationen|
checked on Sep 22, 2020
Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.