Structured behavioral programming idioms

Adiel Ashrov, Michal Gordon, Assaf Marron, Sturm Arnon, Gera Weiss

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationEnterprise, Business-Process and Information Systems Modeling - 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017 Held at CAiSE 2017, Proceedings
EditorsJens Gulden, Selmin Nurcan, Iris Reinhartz-Berger, Palash Bera, Wided Guedria
PublisherSpringer Verlag
Pages319-333
Number of pages15
ISBN (Print)9783319594651
DOIs
StatePublished - 1 Jan 2017
Event18th 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 - Essen, Germany
Duration: 12 Jun 201713 Jun 2017

Publication series

NameLecture Notes in Business Information Processing
Volume287
ISSN (Print)1865-1348

Conference

Conference18th 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
Country/TerritoryGermany
CityEssen
Period12/06/1713/06/17

Keywords

  • Abstraction
  • Behavioral modeling
  • Behavioral programming
  • Behavioral specification
  • Comprehension
  • Experimentation

Fingerprint

Dive into the research topics of 'Structured behavioral programming idioms'. Together they form a unique fingerprint.

Cite this