Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Towards model-driven unit testing
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
An introduction to network stack design using software design patterns
MACE'10 Proceedings of the 5th IEEE international conference on Modelling autonomic communication environments
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
A meta-method for defining software engineering methods
Graph transformations and model-driven engineering
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
On model-based regression testing of web-services using dependency analysis of visual contracts
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Model-driven monitoring: an application of graph transformation for design by contract
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Realizing graph transformations by pre- and postconditions and command sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Generating class contracts from deterministic UML protocol statemachines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model-based testing of service infrastructure components
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely by pre- and post-conditions. Existing DbC approaches predominantly use textual representations of contracts to annotate the actual program code with assertions. In the Unified Modeling Language (UML), the textual Object Constraint Languages (OCL) supports the specification of pre- arid post-conditions by constraining the model elements that occur in UML diagrams. However; textual specifications in OCL can become complex and cumbersome, especially for software developers who are typically not used to OCL. In this paper, we propose to specify the pre- and post-conditions of an operation visually by a pair of UML object diagrams (visual Contract). We define a mapping of visual contracts into Java classes that are annotated with behavioral interface specifications in the Java Modeling Language (JML). The mapping supports testing the correctness of the implementation against the specification using JML tools, which include a runtime assertion checker. Thus we make the visual contracts executable.