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

Hla461

The Semantics of the OCL Action Clause,emantic domain of every UML model needs to be specified. This paper uses a specification of the semantic domain based on local object states. These local object states includes a ‘virtual’ input and output queue that may contain signals. The Action Clause is defined using the signals in the in- and output queues.

enchant

0302-9743 sues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.978-3-540-43169-5978-3-540-45669-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

恫吓

甜食

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/700141.jpg

biosphere

著名

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 constructing new family members.

Bravura

colostrum

bonnet

esculent