[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
AtLeastOneInterfaceHasToBeProvidedOrRequiredByAUsefullCompleteComponentType
of the PCM works not as expected for BasicComponents because it is
located at the subtype CompleteComponentType and not at the supertype
RepositoryComponent.

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
AtLeastOneInterfaceHasToBeProvidedOrRequiredByAUsefullCompleteComponentType
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).

Cheers,

Max

-- 


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

Dipl.-Inform. Max Kramer
Researcher

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

Phone: +49 721 608 45994
Fax: +49 721 608 45990
http://sdq.ipd.kit.edu/people/max_e_kramer

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