Model-driven Monitoring: Generating Assertions from Visual Contracts

Authors:
Marc Lohmann;Gregor Engels;Stefan Sauer
Affiliations:
University of Paderborn, Germany;University of Paderborn, Germany;University of Paderborn, Germany
Venue:
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Year:
2006

Citing 0
Cited 2

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts

Applications of Graph Transformations with Industrial Relevance
Towards model-driven unit testing

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level, to the model level. It uses visual contracts for graphically specifying the pre- and post-conditions of an operation. Java classes with JML (Java Modeling Language) assertions are generated from visual contracts to facilitate automatic monitoring of the correctness of the programmers' implementation.