• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE/INFORMS International Conference on Service Operations, Logistics and Informatics >An Approach for Modeling and Analyzing Crosscutting Concerns
【24h】

An Approach for Modeling and Analyzing Crosscutting Concerns

机译：一种建模与分析跨梳理问题的方法

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

摘要

Aspect-oriented software development (AOSD) is a promising technique for modeling crosscutting concerns, but formal specification and analysis of AOSD concerns is not well exploited. In this paper, we propose an approach for formally modeling and analyzing crosscutting concerns in software. We designed an aspect-oriented Petri net with AOSD mechanisms for identifying and modularizing crosscutting concerns. In order to analyze concern interactions and other properties, we developed an automated approach for formally analyzing the software design using a model checking technique. We demonstrate the effectiveness and feasibility of our approach through modeling and analyzing a clinical diagnostic system.
机译：面向方面的软件开发（AOSD）是一种用于建模横切问题的有希望的技术，但正式的规格和AOSD担忧的分析并未得到很好的利用。在本文中，我们提出了一种方法，用于在软件中正式建模和分析横切问题。我们设计了一种以AOSD机构设计了一个面向的Petri网，用于识别和模块化横切问题。为了分析涉及的相互作用和其他属性，我们开发了一种使用模型检查技术正式分析软件设计的自动化方法。我们通过建模和分析临床诊断系统来展示我们方法的有效性和可行性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号