Searching for "A Metamodel for OCL." – sorted by Relevance.
10 documents found, showing 1 through 10.
-
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
Showing 1 through 10.
