• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computer Applications in Industry and Engineering >RAISE Formalization of UML Class Associations
【24h】

RAISE Formalization of UML Class Associations

机译：UISE UML类关联的形式化

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The objective of this research is to use the Unified Modeling Language (UML) for domain specification and to complete the semantic with a rigorous method. It appears that graphical notation is very useful for system specification, and recently, more and more developers have worked with UML. In this paper, we combine a graphical notation with formal specification, particularly the RAISE specification. The meaning of some UML modeling elements using RAISE specification is presented. The Association Class, Recursive Association, Aggregation and Inheritance are formalized. This formalization allows an engineer to use the Class Diagram for domain analysis and complete this specification with the RAISE method.
机译：这项研究的目的是使用统一建模语言（UML）进行域规范，并使用严格的方法来完成语义。看起来图形表示法对于系统规范非常有用，最近，越来越多的开发人员使用UML。在本文中，我们将图形符号与正式规范（尤其是RAISE规范）结合在一起。介绍了使用RAISE规范的一些UML建模元素的含义。关联类，递归关联，聚合和继承已形式化。这种形式化允许工程师使用类图进行域分析，并使用RAISE方法完成此规范。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号