Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24059
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pace, Gordon J. | - |
dc.contributor.author | Rosner, Michael | - |
dc.date.accessioned | 2017-11-21T13:28:36Z | - |
dc.date.available | 2017-11-21T13:28:36Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | Pace, G. J., & Rosner, M. (2014). Explaining violation traces with finite state natural language generation models. 4th International Workshop, Galway. 1-12 | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/24059 | - |
dc.description.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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer International Publishing | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computational linguistics | en_GB |
dc.subject | Natural language processing (Computer science) | en_GB |
dc.subject | Computer systems -- Verification | en_GB |
dc.subject | Programming languages (Electronic computers) | en_GB |
dc.subject | Computer algorithms | en_GB |
dc.title | Explaining violation traces with finite state natural language generation models | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.bibliographicCitation.conferencename | 4th International Workshop | en_GB |
dc.bibliographicCitation.conferenceplace | Galway, Ireland, 20-22/08/2014 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-319-10223-8_17 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Explaining_Violation_Traces_with_Finite_State_Natu.pdf | 111.9 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.