"A JML Specification of the Design Pattern "Visitor""
, Serie RISC Report Series, JKU Linz, Altenberger Str. 69, 4040 Linz, Austria, 9-2010
A JML Specification of the Design Pattern "Visitor"
Sprache des Titels:
We describe a generic Java framework that implements the software design pattern "visitor" and that is formally specified in the Java Modeling Language (JML). In addition to the information provided by a typical UML specification of the pattern, the JML specification describes the the sequence of visited objects in the order in which they are visited. A visitor may then specify its concrete behavior with respect to this sequence.