Formal verification of dynamic evolution processes of UML models using aspects
作者: Yasuyuki TaharaAkihiko OhsugaShinichi Honiden
作者单位: The University of Electro-Communications, Tokyo, Japan;;The University of Electro-Communications, Tokyo, Japan;;The University of Tokyo and National Institute of Informatics, Japan
论文集英文名称: Software Engineering for Adaptive and Self-Managing Systems
来源数据库: Association for Computing Machinery
DOI: 10.1109/SEAMS.2017.4
关键词: Adaptive systemsGoal-oriented requirements engineeringObstacle analysisProbabilistic goalsRuntime requirements monitoring
原始语种摘要: The rapidly changing requirements and environments of system operation demand dynamic changes to systems with as short downtimes as possible. System availability is a relevant feature for such dynamic changes, which we call dynamic evolution. One of the most promising approaches to highly available dynamic evolution is dynamic aspect weaving, a technique of aspect-oriented programming technology. It enables part of a program to dynamically change without stopping its execution. Another feature relevant to dynamic evolution is the assurance of correctness of evolution. However, this is not easy for dynamic evolution, mainly because the evolution process is rather complicated. Formal modeling and verification (specifically, model checking) are other promising technologies. Many researchers...
全文获取路径: ACM  (合作)

  • 证实 结构元件
  • dynamic 动力学的
  • evolution 进化
  • weaving 编织
  • verification 检验
  • aspect 季相
  • oriented 定向的
  • specification 说瞄
  • feature 结构元件
  • verify 结构元件
  • modeling 制祝型