| Home > Publications > Reports > Informatics (CW) |
CW 529
Nelis Boucké and Tom Holvoet
Formal specification of traceable and information preserving composition of structural models in Haskell
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.
report.pdf (892K) / mailto: N. Boucké