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 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  (合作)
分享到:
来源刊物:
影响因子:1.25 (2012)

×