Heterogeneous verification in the context of model driven engineering
Abstract: Highlights•We have defined an institutional environment for verification in the context of MDE.•We extend it by defining an institution for the Object Constraint Language (OCL).•The environment can be supported in practice within the Heterogeneous Tool Set.•We define semantic-preserving translations from the MDE elements into CASL.
Loading