Moving Specification Structures Between Logical Systems

Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured specifications built over another logical system are formulated and studied. Following Goguen and Burstall, the notion of a logical system is formalized as an institution and extended to a D-institution. A new function between classes of specifications, inspired by a similar function from [HST 94], is defined as a natural extension of institution representations to structured specifications.

• Type: Conference
• Year: 1998
• Where: WADT
• Authors: Tomasz Borzyszkowski
• Keywords: Logical System, Software Engineering, Structural Specifications, Structured Specifications, WADT 1998