...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Computers >UML-Checker: An Approach for Verifying UML Behavioral Diagrams
【24h】

UML-Checker: An Approach for Verifying UML Behavioral Diagrams

机译：UML-Checker：一种验证UML行为图的方法

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

UML is a visual modeling language used forspecifying, visualizing, constructing, and documentingsoftware artifacts. Despite having many features to modelsystems, conducting verifications and validations on UMLmodels is not an easy task. In this paper, the problem ofperforming verification of UML models is discussed througha translation of UML behavioral diagrams into formalmodels to be verified by a symbolic model checker. Anapproach and tool (UML checker) is presented in order toconduct verifications on UML diagrams. The main ideas are:(a) provide an approach to perform the translation ofactivity, state and use case diagrams to the formal inputlanguage of the NuSMV checker; (b) automate thetranslation of UML diagrams to a formal language; and (c)provide a set of predefined validations that are used tocheck the diagrams.
机译：UML是一种可视化建模语言，用于指定，可视化，构建和记录软件工件。尽管对模型系统具有许多功能，但是对UML模型进行验证和确认并非易事。本文通过将UML行为图转换为形式模型以通过符号模型检查器进行验证，讨论了对UML模型进行验证的问题。为了在UML图上进行验证，提出了一种方法和工具（UML检查器）。主要思想是：（a）提供一种将活动，状态和用例图转换为NuSMV检查器的正式输入语言的方法; （b）自动将UML图翻译成正式语言; （c）提供一组用于检查图表的预定义验证。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号