如何在UML方法中表示泛型参数？

Question

我必须将Java应用程序中的一些类逆向工程为UML 2类图.到目前为止,我已经找到了如何为Jon Skeet提出的整个类表示类模板:用UML表示模板类的正确方法是什么？.有了这个信息,我反向设计了这样一个类:

public class Foo<T> {
    //class fields and methods...
}

现在我试图对一个只有一个方法包含泛型参数的类进行逆向工程的困境:

public class OtherFoo {
    public <T extends Comparable<T>> boolean bar(T x, T y) {
        //fancy code goes here...
    }
}

你知道如何实现任何UML 2工具吗？我只想了解这个概念.

Answer 1

我不知道如何在您选择的工具中执行此操作,但在模型级别,它的工作方式与类完全相同.使用签名创建模板操作.

UML2上层结构的第17.4.14章为符号指定:

模板操作的模板参数和模板参数绑定是操作名称和操作参数之间的两个列表.
*<visibility> <name>'<'<template-parameter-list>'>''<<'<binding-expression-list>'>>''('<parameter> [','<parameter>]**')'[':'<property-string>]

在你的情况下,让我们首先看一下简单的例子

public <T> boolean bar(T x, T y)

这将对应于

+ bar <T>(x:T,y:T):布尔值

您的原始示例看起来有点复杂,因为模板参数被约束到另一个类Comparable,而另一个类又是一个模板,其参数(我称之为T1)依次绑定到操作的参数.这给了我们

+ bar <T>可比较<T1-> T >>(x:T,y:T):布尔值

注意:(深入漫步前方的比特模板,通过UML指定)(在一定程度C++)是从泛型一个非常不同的野兽在Java中.它们看起来或多或少相同,但它们的语义上有些 - 有时是微妙的 - 差异可能使它们难以匹配.UML中最重要的一个是:

模板不能以与同类非模板元素相同的方式使用.模板元素只能用于生成绑定元素(例如,模板类不能用作类型化元素的类型)或作为另一个模板的规范的一部分(例如,模板类可以专门化另一个模板类).

这意味着在UML中,OtherFoo也需要是一个模板 - 即具有模板签名(带有0个参数).然后,为了在模板范围之外正确使用操作模板 - 即在活动或类似活动中调用它 - 您首先必须将其绑定到具体操作,而不是使用它.如果是您的示例,这意味着:

1. 将OtherFoo模板绑定到(匿名)绑定类.
2. 将条形操作模板绑定到绑定类中的操作.