Sciweavers

ASE
2008

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

13 years 10 months ago
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 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 ...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2008
Where ASE
Authors Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Comments (0)