开发工具:
文件大小: 28mb
下载次数: 0
上传时间: 2014-06-01
详细说明： UML 2.0的新改进可分为以下五个主要方面，按重要性顺序列出： 在语言定义方面精确程度有了相当的提高: 这就是支持自动化高标准需要的结果，此标准是MDD所必须的。自动化意味着模型（以及后来的模型语言）的不明确和不精密的消除，所以计算机程序能转换并熟练地操纵模型。 一个改良的语言组织: 其特性是由模块化决定的，模块化的特点在于它不仅使得语言更加容易的被新用户所采用，而且促进了工具之间的相互作用。 重点改进大规模的软件系统模型性能: 一些流行的应用软件表现出将现有的独立应用程序集成到更加复杂的系统中去。这是一种趋势，它将可能会继续导致更加复杂的系统。为了支持这种趋势，将更加灵活和新的分等级的性能添加到语言中去，用以支持软件模型在任意复杂的级别中使用。 对特定领域的改进的支持: 使用 UML 的实践经验证明了其所谓的“扩展”机制的价值。这些机制被统一化，精炼化后，使得基础语言更加简化，更加准确精炼。 全面的合并，合理化，清晰化各种不同的模型概念: 从而导致一种单一化，更加统一化语言的产生。它包含了合并和――在一些案例中――消除多余的概念，精练各种各样的定义，添加文字性的解释和例子。 现在我们来更详细地研究一下上述的每个方面。 精确程度 大多数的早期软件建模 语言被非正式地定义，并很少注重它的精确性。时常，建模概念被解释成使用不严密的自然语言。由于大多数的建模语言在文件中或在Martin Fowler所提及的设计草图[Fowler04]中所使用，在那个时期，此模型概念得到了充分信任。这种思想传达了一种设计的本质特性，而把细节留给实现阶段去处理。 然而，由于模型在这种语言中很可能――并且通常是――被不同的商家解释成不同的含义，因此经常导致概念混淆。此外，除非模型解释的问题事先已被明确地讨论过，否则像这样的分歧还不能被人所发觉，而只是在发展的较后阶段才能被发现（即当问题的结果已明显显现时候）。 为了把不明确的概念减少到最少――并和多数现代的其它模型语言形成对比―― 第一个标准化的UML定义是用元模型来指定的。这是一个定义每一种UML 建模概念特性和这些特性与其他相关概念直接的关系的模型。使用UML的基本子集来定义这个元模型，并且通过一系列在对象约束语言中（OCL）正式的强制进行补充。 注释:: 这种UML子集，主要是由定义在UML上的类图上的概念所组成的，它被称为元对象工具（MOF）。选择这个子集后，它可以用来定义其它的建模语言。 这种结合所描述的是，UML抽象语法的一种正式的规范。正式的规范。之所以被称作是正式的，其原因是它与实际的符号或用于描绘模型的具体语法具体语法（也就是说，文本和图表）无关。换句话说就是，它所定义的规则集可以用来确定一个特定的模型是否已经很好的成形很好的成形。例如，这种规则将允许我们去测定通过一个状态机转换来连接两个UML类是不正确的。 然而，在这个初始的UML 元模型中所使用的精确程度证实，在MDD（例如在[Stevens02]中讨论所见到的）后，对整个潜能的支持是远远不够的。特别是，UML建模概念的语义（或含义）的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。 因此，值得注意的是在UML 2.0中定义所使用的精确程度已经增强了。它是通过以下方法完成的： 一种元模型架构的主要重建: UML 2.0架构是由一组低层次的建模概念和模式所组成的，它们在大多数的案例中要么过于初级，要么太抽象，以至于不能直接地在建模软件应用程序中使用。然而，它们相对的简单性使得它们在其语义和形成的规则上更加精确。这些优化后的概念，以不同的方法结合产生了更加复杂的用户级别的建模概念。例如，在UML 1中，在所有权角度上（即，元素包含另外一些元素），命名空间的概念（也叫唯一命名的元素集合）与分类器的概念（元素是能根据它们的属性进行分类的）上，都与单个的复杂语义概念绑定在一起。（注意这同样意味着如果没有包含另外两个而使用其中的任意一个的话，那是不可能的。）在新的UML 2.0架构中，这些概念被分离开，并且它们的语法和语义也被单独的定义。 可扩展的和更加精确的语义描述:UML 1模型概念语义的定义在许多方法都存在问题。它所描述的层次有些地方具有某些广泛的和详细的描述（例如，状态机），但是非常不平均，而其它的一些地方几乎没有解释。UML 2.0规范主要强调了语义，尤其是在基本行为动态的关键领域中（如下所述）。对于一个更加详细的UML 2.0语义的讨论，请参考资源部分中的[Selic04]。 一种清晰定义的动态语义框架: UML 2.0规范澄清了一些在老版本中的严重语义缺陷。图一描述了这个框架，至于更多的细节在资源中有所描述。[Selic04]。此外，下面的问题将通过这个框架详细的描述出来： 在运行期间的链接和实例的结构化语义 结构和行为之间的关联 语义的基础或因果关系模型通过所有当前在UML中的高级行为形式（即状态机，活动，交互）所共享。这同样也确保了那些通过不同的形式表达行为的对象可以相互的交互。 ...展开收缩
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
