Searching for "A Metamodel for OCL." – sorted by Relevance.
-
The OCL Metamodel and the UML_OCL package
- approach to define its syntax, but instead uses an EBNF grammar. In (1) a metamodel for OCL is introduced
- Cited by 2 (0 self) – Add To MetaCart
-
An Integrated Metamodel for OCL Types
- on metamodeling the type system of OCL in such a way that it is fully integrated with the UML meta model
- Cited by 17 (5 self) – Add To MetaCart
-
An Integrated Metamodel for OCL Types
- on metamodeling the type system of OCL in such a way that it is fully integrated with the UML meta model
- Add To MetaCart
-
Validating UML Models and OCL Constraints
- from our previous work on formalizing the OCL and introducing a metamodel for OCL [11, 12]. Our
- Cited by 46 (6 self) – Add To MetaCart
-
A precise approach to validating UML models and OCL constraints
- . A metamodel for OCL is introduced that defines the abstract syntax of OCL expressions
- Cited by 57 (2 self) – Add To MetaCart
-
An OCL Semantics Specified with QVT
- definition (which is given as a metamodel) and the OCL syntax, given by structural induction, that is assumed
- Cited by 4 (3 self) – Add To MetaCart
-
OCL: Modularising the Language
- metamodel, a set of “interface” types that must be supported by a metamodel, if OCL is to be used with it
- Cited by 2 (2 self) – Add To MetaCart
-
Modeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML
- the specification of temporal behavior. Independently, a number of extensions of OCL have been proposed to enable
- Cited by 1 (1 self) – Add To MetaCart
-
Automated Formal Verification of Model Tranformations
- ) of the source and target language. Such a specification typically based upon a metamodel with OCL constraints [1
- Add To MetaCart
-
UML Action Semantics for Model Tranformation Systems
- either (a) a metamodel with OCL constraints [1, 2, 14], (b) textual mappings [9], or (c) triple graph
- Cited by 1 (0 self) – Add To MetaCart

