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...
Guardado en:
| Publicado: |
2008
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09288910_v15_n2_p175_Letier http://hdl.handle.net/20.500.12110/paper_09288910_v15_n2_p175_Letier |
| Aporte de: |
| id |
paper:paper_09288910_v15_n2_p175_Letier |
|---|---|
| record_format |
dspace |
| spelling |
paper:paper_09288910_v15_n2_p175_Letier2023-06-08T15:52:20Z Deriving event-based transition systems from goal-oriented requirements models 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. 2008 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09288910_v15_n2_p175_Letier 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 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. |
| 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 |
| publishDate |
2008 |
| url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09288910_v15_n2_p175_Letier http://hdl.handle.net/20.500.12110/paper_09288910_v15_n2_p175_Letier |
| _version_ |
1768544602695925760 |