Deriving event-based transition systems from goal-oriented requirements models

Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operational models of the software and its environment. Event-based transition systems on the other hand are convenient formalis...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Letier, E., Kramer, J., Magee, J., Uchitel, S.
Formato: JOUR
Materias:
Goal-oriented requirements engineering
Labelled transition systems
Method integration
Requirements analysis
Requirements animation
Animation
Mathematical models
Software engineering
Specifications
Labeled transition systems
Requirements engineering
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09288910_v15_n2_p175_Letier
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_09288910_v15_n2_p175_Letier
record_format dspace
spelling todo:paper_09288910_v15_n2_p175_Letier2023-10-03T15:47:31Z Deriving event-based transition systems from goal-oriented requirements models Letier, E. Kramer, J. Magee, J. Uchitel, S. Goal-oriented requirements engineering Labelled transition systems Method integration Requirements analysis Requirements animation Animation Mathematical models Software engineering Specifications Labeled transition systems Method integration Requirements analysis Requirements engineering Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operational models of the software and its environment. Event-based transition systems on the other hand are convenient formalisms for reasoning about software behaviour at the architectural level. The paper relates these two worlds by presenting a technique for translating formal specification of software operations built according to the KAOS goal-oriented method into event-based transition systems analysable by the LTSA toolset. The translation involves moving from a declarative, state-based, timed, synchronous formalism typical of requirements modelling languages to an operational, event-based, untimed, asynchronous one typical of architecture description languages. The derived model can be used for the formal analysis and animation of KAOS operation models in LTSA. The paper also provides insights into the two complementary formalisms, and shows that the use of synchronous temporal logic for requirements specification hinders a smooth transition from requirements to software architecture models. © 2008 Springer Science+Business Media, LLC. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09288910_v15_n2_p175_Letier
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Goal-oriented requirements engineering
Labelled transition systems
Method integration
Requirements analysis
Requirements animation
Animation
Mathematical models
Software engineering
Specifications
Labeled transition systems
Method integration
Requirements analysis
Requirements engineering
spellingShingle Goal-oriented requirements engineering
Labelled transition systems
Method integration
Requirements analysis
Requirements animation
Animation
Mathematical models
Software engineering
Specifications
Labeled transition systems
Method integration
Requirements analysis
Requirements engineering
Letier, E.
Kramer, J.
Magee, J.
Uchitel, S.
Deriving event-based transition systems from goal-oriented requirements models
topic_facet Goal-oriented requirements engineering
Labelled transition systems
Method integration
Requirements analysis
Requirements animation
Animation
Mathematical models
Software engineering
Specifications
Labeled transition systems
Method integration
Requirements analysis
Requirements engineering
description Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operational models of the software and its environment. Event-based transition systems on the other hand are convenient formalisms for reasoning about software behaviour at the architectural level. The paper relates these two worlds by presenting a technique for translating formal specification of software operations built according to the KAOS goal-oriented method into event-based transition systems analysable by the LTSA toolset. The translation involves moving from a declarative, state-based, timed, synchronous formalism typical of requirements modelling languages to an operational, event-based, untimed, asynchronous one typical of architecture description languages. The derived model can be used for the formal analysis and animation of KAOS operation models in LTSA. The paper also provides insights into the two complementary formalisms, and shows that the use of synchronous temporal logic for requirements specification hinders a smooth transition from requirements to software architecture models. © 2008 Springer Science+Business Media, LLC.
format JOUR
author Letier, E.
Kramer, J.
Magee, J.
Uchitel, S.
author_facet Letier, E.
Kramer, J.
Magee, J.
Uchitel, S.
author_sort Letier, E.
title Deriving event-based transition systems from goal-oriented requirements models
title_short Deriving event-based transition systems from goal-oriented requirements models
title_full Deriving event-based transition systems from goal-oriented requirements models
title_fullStr Deriving event-based transition systems from goal-oriented requirements models
title_full_unstemmed Deriving event-based transition systems from goal-oriented requirements models
title_sort deriving event-based transition systems from goal-oriented requirements models
url http://hdl.handle.net/20.500.12110/paper_09288910_v15_n2_p175_Letier
work_keys_str_mv AT letiere derivingeventbasedtransitionsystemsfromgoalorientedrequirementsmodels
AT kramerj derivingeventbasedtransitionsystemsfromgoalorientedrequirementsmodels
AT mageej derivingeventbasedtransitionsystemsfromgoalorientedrequirementsmodels
AT uchitels derivingeventbasedtransitionsystemsfromgoalorientedrequirementsmodels
_version_ 1807315281099358208

Ejemplares similares