Unified modeling language; Semantics; Mathematical model; Object oriented modeling; Model checking; Business; Set theory;
机译:通过正则表达式转换形式化UML活动图的语义
机译:通过正则表达式转换形式化UML活动图的语义
机译:使用Z表示法形式化UML状态机图的多视图方法
机译:Z表示法中UML 2.5活动图的正式结构语义
机译:UML交互图到活动图的基于XMI的转换。
机译:使用UMLS精细语义网络对多类型结构化查看的化学物质进行建模
机译:适用于移动工作过程建模的UML活动图:两种符号替代品的实验比较