Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

Abstract

Abstract State Machine (ASM) theory is a well-known state-based formal method. As in other state-based formal methods, the proposed specification languages for ASMs still lack easy-to-comprehend abstractions to express structural and behavioral aspects of specifications. Our goal is to investigate object-oriented abstractions such as interfaces and traits for ASM-based specification languages. We report on a controlled experiment with 98 participants to study the specification efficiency and effectiveness in which participants needed to comprehend an informal specification as problem (stimulus) in form of a textual description and express a corresponding solution in form of a textual ASM specification using either interface or trait syntax extensions. The study was carried out with a completely randomized design and one alternative (interface or trait) per experimental group. The results indicate that specification effectiveness of the traits experiment group shows a better performance compared to the interfaces experiment group, but specification efficiency shows no statistically significant differences. To the best of our knowledge, this is the first empirical study studying the specification effectiveness and efficiency of object-oriented abstractions in the context of formal methods.

Grafik Top
Authors
  • Paulweber, Philipp
  • Simhandl, Georg
  • Zdun, Uwe
Grafik Top
Shortfacts
Category
Journal Paper
Divisions
Software Architecture
Subjects
Software Engineering
Programmiersprachen
Theoretische Informatik
Journal or Publication Title
ACM Transactions on Software Engineering and Methodology
ISSN
1049-331X
Publisher
ACM
Place of Publication
TOSEM
Page Range
pp. 1-29
Number
4 (47)
Volume
30
Date
23 July 2021
Export
Grafik Top