颂扬国家
发表于 2025-3-23 10:21:33
Behavior consistent refinement of object life cycles,e life cycles of its instances by states, activities and arcs corresponding to places, transitions and arcs of Petri Nets. In an in heritance hierarchy, subtypes specialize the life cycle of supertypes by extension, i.e., adding states and activities, and (the focus of this paper) refinement, i.e.,
出没
发表于 2025-3-23 15:37:26
http://reply.papertrans.cn/24/2351/235020/235020_12.png
Small-Intestine
发表于 2025-3-23 22:01:24
http://reply.papertrans.cn/24/2351/235020/235020_13.png
Macronutrients
发表于 2025-3-24 00:07:23
http://reply.papertrans.cn/24/2351/235020/235020_14.png
内行
发表于 2025-3-24 02:48:10
,Explaining conceptual models — An architecture and design principles,ity and the users‘ requirements. One technique for supporting validation is explanation generation which combines paraphrasing of a specification with question-answer facilities that interactively support a user in exploring a model. In this paper, we propose an architecture and design principles fo
Conflict
发表于 2025-3-24 07:33:32
Extending an object-oriented model: Multiple class objects,of object-oriented modeling principles and show the limits and possibilities of improvements of the object-oriented model. One of the research areas where such a need was recognized concerns the class membership. In most object-oriented data model objects must belong to a single most specific class.
Wernickes-area
发表于 2025-3-24 13:55:58
http://reply.papertrans.cn/24/2351/235020/235020_17.png
Synapse
发表于 2025-3-24 17:50:52
Transaction-based specification of database evolution,e is orthogonal to state-based constraint languages and it can be used as a supplement to these. Also, our language can be used in combination with all object-based or entity-based data models. We use examples to illustrate the use of the specification language.
博识
发表于 2025-3-24 19:18:04
http://reply.papertrans.cn/24/2351/235020/235020_19.png
agenda
发表于 2025-3-24 23:11:48
http://reply.papertrans.cn/24/2351/235020/235020_20.png