Hla461
发表于 2025-3-23 10:33:59
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
发表于 2025-3-23 14:28:03
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
恫吓
发表于 2025-3-23 20:16:29
http://reply.papertrans.cn/71/7002/700141/700141_13.png
甜食
发表于 2025-3-24 01:30:38
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/700141.jpg
biosphere
发表于 2025-3-24 05:12:22
http://reply.papertrans.cn/71/7002/700141/700141_15.png
著名
发表于 2025-3-24 08:24:55
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
发表于 2025-3-24 11:19:22
http://reply.papertrans.cn/71/7002/700141/700141_17.png
colostrum
发表于 2025-3-24 17:58:40
http://reply.papertrans.cn/71/7002/700141/700141_18.png
bonnet
发表于 2025-3-24 22:19:09
http://reply.papertrans.cn/71/7002/700141/700141_19.png
esculent
发表于 2025-3-25 00:53:33
http://reply.papertrans.cn/71/7002/700141/700141_20.png