VISUAL CONTRACTS: A way to reason about states and cardinalities in IT system specifications

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 formalization language.

Published in:
Proceedings ot the Eighth International Conference on Enterprise Information Systems, Information Systems Analysis and Specification, 298-303
Presented at:
8th International Conference on Enterprise Information Systems - ICEIS 2006, Paphos, Cyprus, 23 - 27, May 2006

 Record created 2006-01-20, last modified 2018-03-17

External link:
Download fulltext
Rate this document:

Rate this document:
(Not yet reviewed)