Titlebook: Object Modeling with the OCL; The Rationale behind Tony Clark,Jos Warmer Book 2002 Springer-Verlag Berlin Heidelberg 2002 Java.OCL.UML.Unif

GLIDE

A Meta-model Facility for a Family of UML Constraint Languages,of this paper is to identify a meta-modelling facility that encompasses the specification of the semantics of a family of object constraint languages. This facility defines a common set of model concepts, semantic domain concepts and semantic mappings that can be conveniently reused when constructin

熟練

fixed-joint

結(jié)合

輕而薄

去掉

The Amsterdam Manifesto on OCL,about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and the following work on these topics. Overview of OCL.

epinephrine

insert

sorbitol

,?Java?OCL Based on New Presentation of the OCL-Syntax, design. OCL is designed as a formal language for specifying constraints that cannot be expressed conveniently using UML’s diagrammatic notation..This article describes results of a careful analysis of the syntactic structure of OCL, resulting in a number of improvements of the OCL-syntax. In partic

Harbor

The Semantics of the OCL Action Clause,ct that a signal has been send, or an operation has been called. This type of expression is called an Action Clause. This paper defines the Action Clause based on a model of the values in the semantic domain of UML models. In order to define the semantics of the Action Clause a small kernel of the s