Managing requirements@run.time with a linguistic decision making approach

Romina Torres, Hernan Astudillo

Resultado de la investigación: Conference contribution

Resumen

In the seminal work about requirements, Zave and Jackson established that if specification models hold the correctness criteria then, they can be used instead of requirements to make decisions (e.g. select an architectural configuration to implement requirements). Unfortunately, during runtime for systems under changing environments, domain assumptions may change and if they are not properly maintained (synchronized) the correctness criteria may becomes not useful to detect when the specification model is not anymore a valid representation of requirements. Thus, requirements may be violated but not properly detected. In order to avoid specification models become obsolete during runtime, we already proposed reify requirements into abstract specification models. In this paper we extend the correctness criteria to requirements@run.time and we propose specifically the linguistic decision making (LDM) models to represent these abstract models. We present an illustrative example of how our approach works. The main contribution of this approach is obtained during runtime, when the false negative rate error on determining when requirements are violated is reduced.

Idioma originalEnglish
Título de la publicación alojadaCIBSE2014
EditorialUniversidad de la Frontera
Páginas589-602
Número de páginas14
ISBN (versión impresa)9789562362474
EstadoPublished - 2014
Evento17th Ibero-American Conference on Software Engineering, CIBSE 2014 - Pucon, Chile
Duración: 23 abr 201425 abr 2014

Other

Other17th Ibero-American Conference on Software Engineering, CIBSE 2014
PaísChile
CiudadPucon
Período23/04/1425/04/14

Huella dactilar

Linguistics
Decision making
Specifications

ASJC Scopus subject areas

  • Artificial Intelligence
  • Information Systems
  • Software

Citar esto

Torres, R., & Astudillo, H. (2014). Managing requirements@run.time with a linguistic decision making approach. En CIBSE2014 (pp. 589-602). Universidad de la Frontera.
Torres, Romina ; Astudillo, Hernan. / Managing requirements@run.time with a linguistic decision making approach. CIBSE2014. Universidad de la Frontera, 2014. pp. 589-602
@inproceedings{a727e3b08f5546b290387b7de7c0f47b,
title = "Managing requirements@run.time with a linguistic decision making approach",
abstract = "In the seminal work about requirements, Zave and Jackson established that if specification models hold the correctness criteria then, they can be used instead of requirements to make decisions (e.g. select an architectural configuration to implement requirements). Unfortunately, during runtime for systems under changing environments, domain assumptions may change and if they are not properly maintained (synchronized) the correctness criteria may becomes not useful to detect when the specification model is not anymore a valid representation of requirements. Thus, requirements may be violated but not properly detected. In order to avoid specification models become obsolete during runtime, we already proposed reify requirements into abstract specification models. In this paper we extend the correctness criteria to requirements@run.time and we propose specifically the linguistic decision making (LDM) models to represent these abstract models. We present an illustrative example of how our approach works. The main contribution of this approach is obtained during runtime, when the false negative rate error on determining when requirements are violated is reduced.",
keywords = "Correctness criteria, Linguistic decision making models, Requirements@run.time",
author = "Romina Torres and Hernan Astudillo",
year = "2014",
language = "English",
isbn = "9789562362474",
pages = "589--602",
booktitle = "CIBSE2014",
publisher = "Universidad de la Frontera",

}

Torres, R & Astudillo, H 2014, Managing requirements@run.time with a linguistic decision making approach. En CIBSE2014. Universidad de la Frontera, pp. 589-602, 17th Ibero-American Conference on Software Engineering, CIBSE 2014, Pucon, Chile, 23/04/14.

Managing requirements@run.time with a linguistic decision making approach. / Torres, Romina; Astudillo, Hernan.

CIBSE2014. Universidad de la Frontera, 2014. p. 589-602.

Resultado de la investigación: Conference contribution

TY - GEN

T1 - Managing requirements@run.time with a linguistic decision making approach

AU - Torres, Romina

AU - Astudillo, Hernan

PY - 2014

Y1 - 2014

N2 - In the seminal work about requirements, Zave and Jackson established that if specification models hold the correctness criteria then, they can be used instead of requirements to make decisions (e.g. select an architectural configuration to implement requirements). Unfortunately, during runtime for systems under changing environments, domain assumptions may change and if they are not properly maintained (synchronized) the correctness criteria may becomes not useful to detect when the specification model is not anymore a valid representation of requirements. Thus, requirements may be violated but not properly detected. In order to avoid specification models become obsolete during runtime, we already proposed reify requirements into abstract specification models. In this paper we extend the correctness criteria to requirements@run.time and we propose specifically the linguistic decision making (LDM) models to represent these abstract models. We present an illustrative example of how our approach works. The main contribution of this approach is obtained during runtime, when the false negative rate error on determining when requirements are violated is reduced.

AB - In the seminal work about requirements, Zave and Jackson established that if specification models hold the correctness criteria then, they can be used instead of requirements to make decisions (e.g. select an architectural configuration to implement requirements). Unfortunately, during runtime for systems under changing environments, domain assumptions may change and if they are not properly maintained (synchronized) the correctness criteria may becomes not useful to detect when the specification model is not anymore a valid representation of requirements. Thus, requirements may be violated but not properly detected. In order to avoid specification models become obsolete during runtime, we already proposed reify requirements into abstract specification models. In this paper we extend the correctness criteria to requirements@run.time and we propose specifically the linguistic decision making (LDM) models to represent these abstract models. We present an illustrative example of how our approach works. The main contribution of this approach is obtained during runtime, when the false negative rate error on determining when requirements are violated is reduced.

KW - Correctness criteria

KW - Linguistic decision making models

KW - Requirements@run.time

UR - http://www.scopus.com/inward/record.url?scp=84906057088&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84906057088

SN - 9789562362474

SP - 589

EP - 602

BT - CIBSE2014

PB - Universidad de la Frontera

ER -

Torres R, Astudillo H. Managing requirements@run.time with a linguistic decision making approach. En CIBSE2014. Universidad de la Frontera. 2014. p. 589-602