Towards an Institutional Representation for the B Model Oriented Specification

Abstract

In the present paper, we provide an institutional representation of Event-B specification. In the context of heterogeneous specification environment, it is a fundamental step to represent differents model oriented specifications and algebraic specification languages with an institution. To this end, we give a representation of Event-B specification where we focus on the signatures, the models and the sentences. Instead of reasoning about structuring primitives and details when composing different specification languages, we aim to formulate model oriented specifications independently from its underlying logic. We reach our aim with the use of institution theory.