TY - GEN
T1 - Structured behavioral programming idioms
AU - Ashrov, Adiel
AU - Gordon, Michal
AU - Marron, Assaf
AU - Arnon, Sturm
AU - Weiss, Gera
N1 - Funding Information:
This research was partially supported by the Israel Science Foundation, the Philip M. Klutznick Research Fund, and the Dora Joachimowicz research grant.
Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 2017/5/17
Y1 - 2017/5/17
N2 - Behavioral Programming (BP) is a modelling and programming technique proposed for specifying and for implementing complex reactive systems. While effective, we report on a weakness that stems from the verbosity and from the complexity of the programming constructs in BP. Our analysis, described in this paper, shows that developers who work with BP use specific patterns that allow them to control the complexity of their specification. Thus, the main contribution of this paper is a set of specification constructs that represent those patterns. We report on the design of the new idioms, termed structured constructs for behavioral programming and on an empirical evaluation in a controlled experiment that proved their effectiveness. In particular, the experiment examined the comprehensibility differences between behavioral specifications with non-structured BP programming idioms and with the structured ones. The results indicate that the new structures improve the comprehension of the behavioral specification.
AB - Behavioral Programming (BP) is a modelling and programming technique proposed for specifying and for implementing complex reactive systems. While effective, we report on a weakness that stems from the verbosity and from the complexity of the programming constructs in BP. Our analysis, described in this paper, shows that developers who work with BP use specific patterns that allow them to control the complexity of their specification. Thus, the main contribution of this paper is a set of specification constructs that represent those patterns. We report on the design of the new idioms, termed structured constructs for behavioral programming and on an empirical evaluation in a controlled experiment that proved their effectiveness. In particular, the experiment examined the comprehensibility differences between behavioral specifications with non-structured BP programming idioms and with the structured ones. The results indicate that the new structures improve the comprehension of the behavioral specification.
KW - Abstraction
KW - Behavioral modeling
KW - Behavioral programming
KW - Behavioral specification
KW - Comprehension
KW - Experimentation
UR - http://www.scopus.com/inward/record.url?scp=85021214061&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-59466-8_20
DO - 10.1007/978-3-319-59466-8_20
M3 - Conference contribution
AN - SCOPUS:85021214061
SN - 9783319594651
T3 - Lecture Notes in Business Information Processing
SP - 319
EP - 333
BT - Enterprise, Business-Process and Information Systems Modeling - 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017 Held at CAiSE 2017, Proceedings
A2 - Gulden, Jens
A2 - Nurcan, Selmin
A2 - Reinhartz-Berger, Iris
A2 - Bera, Palash
A2 - Guedria, Wided
PB - Springer Verlag
T2 - 18th International Conference on Business Process Modeling, Development and Support, BPMDS 2017 and 22nd International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2017 held at Conference on Advanced Information Systems Engineering, CAiSE 2017
Y2 - 12 June 2017 through 13 June 2017
ER -