Skip navigation
SuUB logo
DSpace logo

  • Home
  • Institutions
    • University of Bremen
    • City University of Applied Sciences
    • Bremerhaven University of Applied Sciences
  • Sign on to:
    • My Media
    • Receive email
      updates
    • Edit Account details

Citation link: http://nbn-resolving.de/urn:nbn:de:gbv:46-00103024-13
00103024-1.pdf
OpenAccess
 
copyright

Architectural Refinement in HETS


File Description SizeFormat
00103024-1.pdf4 MBAdobe PDFView/Open
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
Type: Dissertation
URN: urn:nbn:de:gbv:46-00103024-13
Institution: Universität Bremen 
Faculty: FB3 Mathematik/Informatik 
Appears in Collections:Dissertationen

  

Page view(s)

50
checked on Jan 19, 2021

Download(s)

2
checked on Jan 19, 2021

Google ScholarTM

Check


Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.

Legal notice -Feedback -Data privacy
Media - Extension maintained and optimized by Logo 4SCIENCE