Sciweavers

599 search results - page 43 / 120
» Interpreting the Object Constraint Language
Sort
View
JOT
2006
105views more  JOT 2006»
14 years 11 months ago
Improving the Use of Multiplicity in UML Association
Through the incorporation of derived classes and associations in class diagrams, this paper proposes a method to improve the specification power of multiplicity for n-ary associat...
Hee Beng Kuan Tan, Yong Yang, Lei Bian
APSEC
2007
IEEE
15 years 6 months ago
An Executable UML with OCL-based Action Semantics Language
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
Ke Jiang, Lei Zhang, Shigeru Miyake
GI
2001
Springer
15 years 4 months ago
Specifying Component Invariants with OCL
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
Rolf Hennicker, Hubert Baumeister, Alexander Knapp...
ICCV
2011
IEEE
13 years 11 months ago
Active Scene Recognition with Vision and Language
This paper presents a novel approach to utilizing high level knowledge for the problem of scene recognition in an active vision framework, which we call active scene recognition. ...
Xiaodong Yu, Teo Ching Lik, Yezhou Yang, Cornelia ...
CP
2010
Springer
14 years 10 months ago
Testing Expressibility Is Hard
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
Ross Willard