Visual contracts: A way to reason about states and cardinalities in IT system specifications

RIS ID

40918

Publication Details

Cruz, J., Le, L. & Wegmann, A. (2006). Visual contracts: A way to reason about states and cardinalities in IT system specifications. Proceeding of the 8th International Conference on Enterprise Information Systems, ICEIS 2006 (pp. 298-303).

Abstract

Visual modeling languages propose specialized diagrams to represent behaviour and concepts necessary to specify IT systems. As a result, to understand a specification, the modeller needs to analyze these two types of diagrams and, often, additional statements that make explicit the relationships between them. In this paper, we define a visual contract notation that integrates behaviour and concepts. Thanks to this notation, the modeler can specify, within one diagram, an action and its effects on the specified IT system. The notation semantics is illustrated by a mapping to Alloy, a light weight formal language.

Please refer to publisher version or contact your library.

Share

COinS