Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A process for goal oriented requirement engineering
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Automatically generating requirements from i* models: experiences with a complex airport operations
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Goal-aligned requirements generation
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Fitting System Functionality to Business Needs: Alignment issues and challenges
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Formal goal-oriented development of resilient MAS in event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
Goal-oriented methods are increasingly popular for elaborating software requirements. They provide systematic support for incrementally building intentional, structural and operational models of the software and its environment together with various techniques for early analysis, e.g., to manage conflicting goals or anticipate abnormal environment behaviors that prevent goals from being achieved. On the other hand, tabular event-based methods are well-established for specifying operational requirements for control software. They provide sophisticated techniques and tools for late analysis of software behavior models through, e.g.,simulation, model checking or table exhaustiveness checks.The paper proposes to take the best out of these two worlds to engineer requirements for control software. It presents a technique for deriving event-based specifications, written in the SCR tabular language, from operational specifications built according to the KAOS goal-oriented method. The technique consists in a series of transformation steps each of which resolves semantic, structural or syntactic differences between the KAOS source language and the SCR target language. Some of these steps need human intervention and illustrate the kind of semantic subtleties that need to be taken into account when integrating multiple formalisms.As a result of our technique SCR specifiers may use upstream goal-based processes à la KAOS for the incremental elaboration, early analysis, organization and documentation of their tables while KAOS modelers may use downstream tables à la SCR for later analysis of the behavior models derived from goal specifications.