On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment
| Autor: | Georg Simhandl, Uwe Zdun, Philipp Paulweber |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Understandability
Controlled experiment Correctness Modeling language Computer science Empirical software engineering Context (language use) 02 engineering and technology computer.software_genre Inheritance (object-oriented programming) 0502 economics and business 0202 electrical engineering electronic engineering information engineering Abstract State Machines Language construct Programming language 05 social sciences 020207 software engineering Formal methods Variety (cybernetics) Hardware and Architecture Language constructs Abstract state machines computer 050203 business & management Software Information Systems |
| Zdroj: | Journal of Systems and Software. 178:110987 |
| ISSN: | 0164-1212 |
| DOI: | 10.1016/j.jss.2021.110987 |
| Popis: | Abstract 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect