Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
作者: Christoph CzepaAmirali AmiriEvangelos NtentosUwe Zdun
作者单位: 1Faculty of Computer Science, Research Group Software Architecture, University of Vienna
刊名: Software and Systems Modeling, 2019, Vol.18 (6), pp.3331-3371
来源数据库: Springer Nature Journal
DOI: 10.1007/s10270-019-00721-4
关键词: Controlled experimentUnderstandabilityLinear temporal logicProperty specification patternsComplex event processingEvent processing language
原始语种摘要: Abstract(#br)Mature verification and monitoring approaches, such as complex event processing and model checking, can be applied for checking compliance specifications at design time and runtime. Little is known about the understandability of the different formal and technical languages associated with these approaches. This uncertainty regarding understandability might be a major obstacle for the broad practical adoption of those techniques. This article reports a controlled experiment with 215 participants on the understandability of modeling compliance specifications in representative modeling languages, namely linear temporal logic (LTL), the complex event processing-based event processing language (EPL) and property specification patterns (PSP). The formalizations in PSP were overall...
全文获取路径: Springer Nature  (合作)
影响因子:1.25 (2012)