| Popis: |
C-LAB, Paderborn UniversityFuerstenallee 1133102 Paderborn, GermanyAbstractWhile the type system proposed in the OCL Standard Library of the latest OCL2.0 proposal seems to be considerably stable by now, there are still some de cienciesin the de nition of operations for type casts and type conformance checks. Thisresults from the fact that the types de ned on the user-level are currently not wellrepresented in the OCL Standard Library.This article presents a new modeling approach to adequately capture these typesin the OCL Standard Library through the UML core concept called powertype. Thepowertype concept allows to model a metaelement on the architectural user levelM1. By this approach, we propose an enhanced structure of the OCL StandardLibrary that prescribes a controlled way for accessing the metalevel.Key words: OCL Standard Library, Powertype |
Full Text from ScienceDirect