Class-diagrams for Abstract Data Types (Abstract)

Abstract. We propose to extend iUML-B class-diagrams to elaborate Abstract Data Types (ADTs) specified using Event-B theories. Classes are linked to data types, while attributes and associations correspond to operators of the data types. Axioms about the data types and operators are specified as constraints on the class. We illustrate our approach on a development of a control system in the railway domain.

Keywords: Event-B, iUML-B, Class-diagrams, Theory, Abstract Data Types (ADTs)