Title: Formal specification of traceable and information preserving composition of structural models in Haskell
Authors: Bouck√©, Nelis
Holvoet, Tom
Issue Date: Oct-2008
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW529
Abstract: This technical note provides a Haskell specification of relations between structural models of a software architecture, and a composition operator that uses the relations to integrate information. Using this specification, we define well-formedness rules and information preservation properties of the composition operator like traceability, consistency and completeness. Finally, we prove: (1) that the composition of two structural models, according to three relations, yields a well-formed structural model; and (2) that the composition preserves the information from the original structural models.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW529.pdfDocument Published 892KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.