首页    期刊浏览 2024年09月29日 星期日
登录注册

文章基本信息

  • 标题:SMA -- The Smyle Modeling Approach
  • 其他标题:SMA -- The Smyle Modeling Approach
  • 作者:Bollig, Benedikt ; Katoen, Joost Pieter ; Kern, Carsten
  • 期刊名称:COMPUTING AND INFORMATICS
  • 印刷版ISSN:1335-9150
  • 出版年度:2010
  • 卷号:29
  • 期号:1
  • 页码:45-72
  • 语种:English
  • 出版社:COMPUTING AND INFORMATICS
  • 摘要:This paper introduces the model-based software development lifecycle model SMA -- the Smyle Modeling Approach -- which is centered around Smyle. Smyle is a dedicated learning procedure to support engineers to interactively obtain design models from requirements, characterized as either being desired (positive) or unwanted (negative) system behavior. Within SMA, the learning approach is complemented by so-called scenario patterns where the engineer can specify clearly desired or unwanted behavior. This way, user interaction is reduced to the interesting scenarios limiting the design effort considerably. In SMA, the learning phase is further complemented by an effective analysis phase that allows for detecting design flaws at an early design stage. Using learning techniques allows us to gradually develop and refine requirements, naturally supporting evolving requirements, and allows for a rather inexpensive redesign in case anomalous system behavior is detected during analysis, testing, or maintenance. This paper describes the approach and reports on first practical experiences.
  • 关键词:Requirements elicitation; design model; learning; software engineering lifecycle; Mesage Sequence Charts; UML
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有