• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >Defining variability in activity diagrams and Petri nets
【24h】

Defining variability in activity diagrams and Petri nets

机译：在活动图和Petri网中定义可变性

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

摘要

Control flow models, such as UML activity diagrams or Petri nets, are widely accepted modeling languages used to support quality assurance activities in single system engineering as well as software product line (SPL) engineering. Quality assurance in product line engineering is a challenging task since a defect in a domain artifact may affect several products of the product line. Thus, proper quality assurance approaches need to pay special attention to the product line variability. Automation is essential to support quality assurance approaches. A prerequisite for automation is a profound formalization of the underlying control flow models and, in the context of SPLs, of the variability therein. In this paper, we propose a formal syntax and semantics for defining variability in Petri nets. We use these extended Petri nets as a foundation to formally define variability in UML activity diagrams; UML activity diagrams serve as a basis for several testing techniques in product line engineering. We illustrate the contribution of such a formalization to assurance activities in product line engineering by describing its usage in three application examples.
机译：控制流模型（例如UML活动图或Petri网络）是广泛接受的建模语言，用于支持单个系统工程以及软件产品线（SPL）工程中的质量保证活动。产品线工程中的质量保证是一项艰巨的任务，因为领域工件的缺陷可能会影响该产品线的多个产品。因此，适当的质量保证方法需要特别注意产品线的可变性。自动化对于支持质量保证方法至关重要。自动化的先决条件是对基础控制流模型以及SPL上下文中的可变性进行深刻形式化。在本文中，我们提出了用于定义Petri网可变性的形式语法和语义。我们使用这些扩展的Petri网作为正式定义UML活动图中可变性的基础。 UML活动图是产品线工程中多种测试技术的基础。我们通过在三个应用示例中描述这种形式化的用法，来说明这种形式化对产品线工程中的保证活动的贡献。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号