Please use this identifier to cite or link to this item:
Title: Explaining violation traces with finite state natural language generation models
Authors: Pace, Gordon J.
Rosner, Michael
Keywords: Computational linguistics
Natural language processing (Computer science)
Computer systems -- Verification
Programming languages (Electronic computers)
Computer algorithms
Issue Date: 2014
Publisher: Springer International Publishing
Citation: Pace, G. J., & Rosner, M. (2014). Explaining violation traces with finite state natural language generation models. 4th International Workshop, Galway. 1-12
Abstract: An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Explaining_Violation_Traces_with_Finite_State_Natu.pdf111.9 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.