Title :
Model-driven Monitoring: Generating Assertions from Visual Contracts
Author :
Lohmann, Marc ; Engels, Gregor ; Sauer, Stefan
Author_Institution :
Dept. of Comput. Sci., Paderborn Univ.
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
Keywords :
Java; Unified Modeling Language; formal specification; program compilers; program verification; visual programming; Java classes; Java modeling language assertions; Visual Contract Workbench; correctness monitoring; design by contract; graphical specification; software system development; Binary codes; Computer languages; Computerized monitoring; Contracts; Java; Program processors; Programming profession; Runtime; Skeleton; Software design;
Conference_Titel :
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7695-2579-2
DOI :
10.1109/ASE.2006.52
