Wolfgang Schreiner,
"A JML Specification of the Design Pattern "Proxy""
, Serie RISC Technical Reports, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 4-2009
Original Titel:
A JML Specification of the Design Pattern "Proxy"
Sprache des Titels:
Englisch
Original Kurzfassung:
We describe a generic Java framework that implements the software design pattern ``proxy'' (in two variants ``virtual proxy'' and ``remote proxy'') 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 exactly describes how a request issued to the proxy is propagated to the underlying object and how the result is forwarded from this object to the user of the proxy