[palladio-dev] Invariants for subtypes at wrong location in PCM

Max Kramer max.kramer at kit.edu
Tue Sep 2 16:33:46 CEST 2014

Hello everybody,

some hard-working students discovered that at least the invariant
of the PCM works not as expected for BasicComponents because it is
located at the subtype CompleteComponentType and not at the supertype

I was able to reproduce the error in Eclipse Luna with a minimal
example: For every instance of a metaclass only the invariants of this
metaclass and all supertypes are evaluated. Invariants at siblings are
ignored. This means the location of an invariant is sometimes crucial.

For the PCM this means that the invariant
and possibly further invariants of the PCM have to be moved up to the
common ancestor for all metaclasses for which they should be evaluated.

Is anybody willing to do this, e.g. for the next release? I am happy to
provide the minimal example but I would not be comfortable with moving
invariants in the PCM without knowing the side-effects (i.e. code
locations where it is assumed that these invariants are not evaluated).




Karlsruhe Institute of Technology (KIT)
IPD Reussner -- Software Design and Quality

Dipl.-Inform. Max Kramer

Am Fasanengarten 5, Building 50.34, Room 241
D-76131 Karlsruhe, Germany

Phone: +49 721 608 45994
Fax: +49 721 608 45990

KIT -- University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5279 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://lists.ira.uni-karlsruhe.de/pipermail/palladio-dev/attachments/20140902/34ad0ed7/attachment.p7s>

More information about the palladio-dev mailing list