GLIDE
发表于 2025-3-27 00:18:16
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
熟练
发表于 2025-3-27 03:17:50
http://reply.papertrans.cn/71/7002/700141/700141_32.png
fixed-joint
发表于 2025-3-27 06:32:36
http://reply.papertrans.cn/71/7002/700141/700141_33.png
结合
发表于 2025-3-27 11:28:45
http://reply.papertrans.cn/71/7002/700141/700141_34.png
轻而薄
发表于 2025-3-27 15:16:13
http://reply.papertrans.cn/71/7002/700141/700141_35.png
去掉
发表于 2025-3-27 18:26:21
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
发表于 2025-3-27 23:13:31
http://reply.papertrans.cn/71/7002/700141/700141_37.png
insert
发表于 2025-3-28 05:29:05
http://reply.papertrans.cn/71/7002/700141/700141_38.png
sorbitol
发表于 2025-3-28 09:41:51
,≪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
发表于 2025-3-28 14:19:46
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