Formal specification of traceable and information preserving composition of structural models in Haskell
Nelis Boucké, Tom Holvoet · Lirias · 2008
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.