Architectural Refinement in HETS
Date Issued
2012-08-16
Author(s)
Supervisors
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.
Subjects
heterogeneous specifications
;
institutions
;
refinement
;
architectural specifications
Institution
Type
Dissertation
Secondary publication
No
Language
English
File(s)![Thumbnail Image]()
Loading...
Name
00103024-1.pdf
Size
3.9 MB
Format
Adobe PDF
Checksum
(MD5):c46914bde184d93ca701a9939b3635bc