Model-driven Monitoring: Generating Assertions from Visual Contracts

Marc Lohmann, Gregor Engels, Stefan Sauer

DOI 10.1109/ase.2006.52 dblp

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

BibTeX

@inproceedings{Lohmann-al:ASE06,
  author    = {Marc Lohmann and
               Gregor Engels and
               Stefan Sauer},
  title     = {Model-driven Monitoring: Generating Assertions from Visual Contracts},
  booktitle = {ASE},
  pages     = {355--356},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
}

Model-driven Monitoring: Generating Assertions from Visual Contracts

Abstract

Related papers