… pattern parameter), and the result of pattern matching is the set of valid matches in the model,
therefore the pattern … of OCL language elements to graph patterns whose match sets will …

… is possible to implement such a decision tree in the form of an OCL query. This enables
pattern matching on model fragments, which is needed to implement semantic model check rules…

… specification can be mapped to JML by identifying constructs in the Java program that
match the modelling elements of UML/OCL. These include types, expressions, operations and …

… ATL is a rule-based model transformation language based on the notion of declarative
rule that matches a source pattern and creates target elements according to a target …

… Our preferred evolution of the factory pattern is to provide a factory for each package. These
factories are linked in a hierarchy that matches the package structure; any factory can be …

… denote sets of values, such that any value in the set matches the pattern given a collection
… is called pattern matching. This paper proposes an extension to OCL that allows patterns to …

… pattern parameter), and that the result of pattern matching is the set of valid matches in the
model, therefore the pattern … of OCL language elements to graph patterns whose match sets …

… The specification given in [7] for the same pattern matches the following OCL template. The
template uses two parameters, class and property, the first standing for the class on whose …

… In this paper, we explore the possibility of directly using OCL as … OCL called OCLT (where
the T stands for transformation). OCLT is based on OCL 2.4 [6] and integrates pattern matching …

… All the results were categorized as correct that was matched to the sample results and
counted as correct result and denoted as Ncorrect. Similarly, the results of the tool not matched …