使用序言定义UML系列成员
Defining UML Family Members Using Prefaces
摘要:
统一建模语言是可扩展的,因此可以被视为一个语言家族。无论是隐式的还是显式的,任何特定的UML模型都应该伴随着用于该模型的特定UML家族成员的定义。定义应包括句法和语义问题。本文提出了一种机制,将模型与这样的定义。任何特定的定义都会构成我们所说的序言。这个名字的意图是表明,一个特定的UML家族成员的定义在概念上必须在使用该家族成员构建的任何模型之前。序言应该很大,并且应该使用包来组织。这将允许不同序言之间进行大量共享。本文提出序言应该具有一种公理化的语义风格,通过不一定完全形式化,并基于一般情况和特殊情况的思想,提供了一种通用的语义方法,可以减少大型序言中的不一致问题
英文摘要:
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic and semantic issues. This paper proposes a mechanism for associating models with such definitions. Any particular definition would form what we call a preface. The name is intended to suggest that the definition of a particular UML family member must conceptually come before any model built using that family member. A preface would be large, and should be organised using packages. This would allow large amounts of sharing between different prefaces. The paper proposes that prefaces should have an axiomatic style of semantics, through not necessarily fully formal, and it offers a general approach to semantics that would reduce problems of inconsistency within a large preface, based on the idea of general cases and special cases
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。