...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>The Journal of Systems and Software >On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment
【24h】

On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment

机译：论抽象状态机规范中语言构建结构的可理解性：一种受控实验

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

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

摘要

State Machine (ASM) theory is a well-known state-based formal method to analyze and specify software and hardware systems. As in other state-based formal methods, the proposed modeling languages for ASMs still lack easy-to-comprehend abstractions to structure state and behavior aspects of specifications. Modern object-oriented languages offer a variety of advanced language constructs, and most of them either offer interfaces, mixins, or traits in addition to classes and inheritance. Our goal is to investigate these language constructs in the context of state-based formal methods using ASMs as a representative of this kind of formal methods. We report on a controlled experiment with 105 participants to study the understandability of the three language constructs in the context of ASMs. Our hypotheses are influenced by the debate of object-oriented communities. We hypothesized that the understandability (measured by correctness and duration variables) shows significantly better understanding for interfaces and traits compared to mixins, as well as at least a similar or better understanding for traits compared to interfaces. The results indicate that understandability of interfaces and traits show a similar good understanding, whereas mixins shows a poorer understanding. We found a significant difference for the correctness of understanding comparing interfaces with mixins.
机译：状态机（ASM）理论是一种众所周知的国家形式的方法，用于分析和指定软件和硬件系统。与其他基于国家的正式方法一样，拟议的ASM建模语言仍然缺乏易于理解的抽象来构建规范和行为方面。现代面向对象语言提供各种高级语言构造，除了课程和继承之外，他们还提供接口，混音或特征。我们的目标是在使用ASM作为这种形式方法的代表的基于国家的正式方法的上下文中调查这些语言构造。我们报告了105名参与者的受控实验，研究了三种语言结构在ASM的背景下的可理解性。我们的假设受到面向对象社区的辩论的影响。我们假设与混音相比，对界面和特征的可理解性（通过正确性和持续时间变量测量）显示出明显更好地理解，以及与接口相比的特性相似或更好地理解。结果表明，界面和特征的可理解性显示出类似的良好理解，而Mixins则表现出较差的理解。我们发现了理解与Mixins的接口进行了正确性的显着差异。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号