This paper presents a formalisation of the Event-B formal specification language in terms of the theory of institutions. The main ob- jective of this paper is ...
The main objective of this paper is to provide: (1) a mathematically sound semantics and (2) modularisation constructs for Event-B using the specification- ...
People also ask
What is an institutional event?
What is an institutional special event?
This paper presents a formalisation of the Event-B formal specification language in terms of the theory of institutions. The main objective of this paper is ...
Mar 19, 2021 · This paper describes a formal semantics for the Event-B specification language using the theory of institutions.
Nov 9, 2022 · Abstract. This paper describes a formal semantics for the Event-B specification language using the theory of institutions.
Thus EVT provides a means for writing down and splitting up the components of an Event-B system, facilitating increased modularity for Event-B specifications.
May 23, 2021 · Event-B has an associated development process for system-level modelling and analysis. Key features include the use of set theory as a modelling ...
An Institution for Event-B ... This paper presents a formalisation of the Event-B formal specification language in terms of the theory of institutions. The main ...
May 15, 2023 · It defines an institution for Event-B and shows how the constructs of the Event-B specification language can be mapped into our institution.
The definition of crT , our institution for Event-B, enables us to utilise the specification-building operators provided by institutions and to re-cast our ...