A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Deriving event-based transition systems from goal-oriented requirements models
2008
Automated Software Engineering : An International Journal
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
doi:10.1007/s10515-008-0027-7
fatcat:l55o3agccnelref3fp4okca3ny