Abstract
Abstract
One of the difficulties in goal-oriented requirements engineering (GORE) is the construction of behaviour models from declarative goal specifications. This paper addresses this problem using a combination of model checking and machine learning. First, a goal model is transformed into a (potentially Zeno) behaviour model. Then, via an iterative process, Zeno traces are identified by model checking the behaviour model against a time progress property, and inductive logic programming (ILP) is used to learn operational requirements (pre-conditions) that eliminate these traces. The process terminates giving a non-Zeno behaviour model produced from the learned pre-conditions and the given goal model.
- Ant97 Anton AI (1997) Goal identification and refinement in the specification of software-based information systems. PhD thesis, Atlanta, GA, USAGoogle Scholar
- ARU08 Alrajeh D, Russo A, Uchitel S (2008) Deriving non-zeno behavior models from goal models using ilp. In: Proceedings of the ETAPS/FASE08 conference on foundation aspects of software engineeringGoogle Scholar
- CP93 Courtois PJ, Parnas DL (1993) Documentation for safety critical software. In: Proceedings of the 15th ICSE conference, pp 315–323Google Scholar
- DBLvL05 Generating annotated behavior models from end-user scenariosIEEE Trans on Softw Eng200531121056107310.1109/TSE.2005.138Google ScholarDigital Library
- DLvL06 Damas C, Lambeau B, van Lamsweerde A (2006) Scenarios, goals, and state machines: a win–win partnership for model synthesis. In: Proceedings of the interntional ACM symposium on the foundations of software engineeringGoogle Scholar
- DvL96 Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the 4th ACM symposium on the foundations of software engineeringGoogle Scholar
- DvLF93 Goal-directed requirements acquisitionSci Comput Program19932013500792.6802410.1016/0167-6423(93)90021-GGoogle ScholarDigital Library
- GM03 Giannakopoulou D, Magee J (2003) Fluent model checking for event-based systems. In: Proceedings of the 11th ACM SIGSOFT symposium on foundations software engineeringGoogle Scholar
- GMS05 Goal-oriented requirements analysis and reasoning in the tropos methodologyEng Appl Artif Intell20051815917110.1016/j.engappai.2004.11.017Google ScholarDigital Library
- HBGL95 Heitmeyer C, Bull A, Gasarch C, Labaw B (1995) Scr*: a toolset for specifying and analyzing requirements. In: Proceedings of the 10th annual conference on computer assuranceGoogle Scholar
- KMS83 Kramer J, Magee J, Sloman M (1983) Conic: an integrated approach to distributed computer control systems. In: IEE Proceedings of the part E 130Google Scholar
- Let02 Letier E (2002) Goal-oriented elaboration of requirements for a safety injection control system. Technical report, Dèpartement d’Ingènierie Informatique, UCLGoogle Scholar
- LKMU05 Letier E, Kramer J, Magee J, Uchitel S (2005) Fluent temporal logic for discrete-time in event-based models. In: Proceedings of the 10th European software engineering conferenceGoogle Scholar
- LKMU06 Letier E, Kramer J, Magee J, Uchitel S (2006) Deriving event-based transitions systems from goal-oriented requirements models. Technical Report 02/2006, Imperial College, LondonGoogle Scholar
- LL02 Letier E, Van Lamsweerde A (2002) Deriving operational software specifications from system goals. In: Proceedings of the 10th ACM SIGSOFT symposium on foundations of software engineeringGoogle Scholar
- LvL02 Letier E, van Lamsweerde A (2002) Agent-based tactics for goal-oriented requirements elaboration. In: Proceedings of the 24th intlernational conference on software engineeringGoogle Scholar
- LW98 Inferring declarative requirements specifications from operational scenariosIEEE Trans Softw Eng199824121089111410.1109/32.738341Google ScholarDigital Library
- MK99 Concurrency: state models and java programs1999New YorkWiley0924.68026Google ScholarDigital Library
- MP92 The temporal logic of reactive and concurrent systems1992New YorkSpringerGoogle ScholarCross Ref
- MS02 Miller R, Shanahan M (2002) Some alternative formulation of event calculus. Computer science; computational logic; logic programming and beyond, 2408Google Scholar
- Mug95 Inverse entailment and progol: new generation computing, special issue on inductive logic programming1995133/4245286Google Scholar
- Ray09 Nonmonotonic abductive inductive learningJ Appl Logic2009733293401179.6812510.1016/j.jal.2008.10.007Google ScholarCross Ref
- RBR04 A hybrid abductive inductive proof procedureLogic J IGPL20041253713971067.6813310.1093/jigpal/12.5.3712112906Google ScholarCross Ref
- Sha97 Solving the frame problem1997CambridgeMIT PressGoogle ScholarDigital Library
- SMMM98 Supporting scenario-based requirements engineeringIEEE Trans Softw Eng1998241072108810.1109/32.738340Google ScholarDigital Library
- UBC07 Uchitel S, Brunet G, Chechik M (2007) Behaviour model synthesis from properties and scenarios. In: Proceedings of the 29th IEEE/ACM international conference on software engineeringGoogle Scholar
Index Terms
- Deriving non-Zeno behaviour models from goal models using ILP
Recommendations
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08: Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineeringThis paper addresses the problem of automated derivation of non-zeno behaviour models from goal models. The approach uses a novel combination of model checking and machine learning. We first translate a goal model formalised in linear temporal logic ...
Deriving tabular event-based specifications 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. They also provide various ...
Elaborating Requirements Using Model Checking and Inductive Learning
The process of Requirements Engineering (RE) includes many activities, from goal elicitation to requirements specification. The aim is to develop an operational requirements specification that is guaranteed to satisfy the goals. In this paper, we ...
Comments