Authors:
José D. De la Cruz
;
Lam-Son Lê
and
Alain Wegmann
Affiliation:
School of Computer and Communications Sciences, Ecole Polytechnique Fédérale de Lausanne, Switzerland
Keyword(s):
Visual Languages, UML, Specification, Conceptual Modeling, Hierarchical Systems, Model-Checking.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Engineering Methodologies
;
Information Systems Analysis and Specification
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Modeling Formalisms, Languages and Notations
;
Software Engineering
;
Systems Engineering
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.