Validation of Visual Contracts for Services

Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more complete and integrated way. In this paper, we propose a visual contract notation. Its semantics is illustrated by a mapping to Alloy. Thanks to this notation, the modeler can specify, within one diagram, an action and its effects. The modeler can also simulate the contract. These visual con-tracts can be used to specify IT services and check their specifications. As such they contribute to business/IT alignment. Our visual contracts take elements from several UML diagrams and are based on set-theory and on RM-ODP.


Published in:
Fourth International Workshop on "Modeling, Simulation, Verification and Validation of Enterprise Information Systems, 1, 1
Presented at:
Fourth International Workshop on "Modeling, Simulation, Verification and Validation of Enterprise Information Systems" MSVVEIS'06, Paphos, Cyprus, May 23-24, 2006
Year:
2006
Keywords:
Laboratories:


Note: The status of this file is: EPFL only


 Record created 2006-08-24, last modified 2018-03-17

n/a:
Download fulltextPDF
External link:
Download fulltextURL
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)