Techne: Towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling

Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010

Volumn , Issue , 2010, Pages 115-124

  Jureta, Ivan J ^a   Borgida, Alex ^b   Ernst, Neil A ^c   Mylopoulos, John ^c  

^a UNIVERSITY OF NAMUR   (Belgium)

^b RUTGERS UNIVERSITY   (United States)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

Goal oriented requirements engineering; Requirements modeling languages; Requirements models

Indexed keywords

CANDIDATE SOLUTION; FORMAL FOUNDATION; GOAL-ORIENTED REQUIREMENTS ENGINEERING; INCONSISTENCY HANDLING; MODELING LANGUAGES; REQUIREMENTS ENGINEERING PROCESS; REQUIREMENTS MODELING; REQUIREMENTS MODELS;

MODELS;

REQUIREMENTS ENGINEERING;

EID: 78650368214     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2010.24     Document Type: Conference Paper

References (29)

1. J.-R. Abrial, The B-book: assigning programs to meanings. New York, NY, USA: Cambridge Univ. Press, 1996.
2. H. Bekic, D. Bjørner, W. Henhapl, C. B. Jones, and P. Lucas, "On the Formal Definition of a PL/I Subset (Selected parts)," in Programming Languages and Their Definition - Hans Bekic (1936-1982). Springer-Verlag, 1984, pp. 107-155.
3. J. Castro, M. Kolp, and J. Mylopoulos, "Towards requirementsdriven information systems engineering: the Tropos project," Inf. Syst., vol. 27, no. 6, pp. 365-389, 2002.
4. E. M. Clarke and J. M. Wing, "Formal methods: state of the art and future directions," ACM Comput. Surv., vol. 28, no. 4, pp. 626-643, 1996.
5. A. Dardenne, A. van Lamsweerde, and S. Fickas, "Goaldirected requirements acquisition," Sci. Comput. Program., vol. 20, no. 1-2, pp. 3-50, 1993.
6. E. Dubois, J. Hagelstein, and A. Rifaut, "Formal Requirements Engineering with ERAE," Philips Journal of Research, vol. 43, no. 3/4, pp. 393-414, 1988.
7. A. Fuxman, L. Liu, J. Mylopoulos, M. Roveri, and P. Traverso, "Specifying and analyzing early requirements in Tropos," Requirements Eng., vol. 9, no. 2, pp. 132-150, 2004.
8. P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani, "Formal reasoning techniques for goal models," J. Data Semantics, vol. 1, pp. 1-20, 2003.
9. S. Greenspan, J. Mylopoulos, and A. Borgida, "On formal requirements modeling languages: RML revisited," in Proc. 16th Int. Conf. Software Eng., 1994, pp. 135-147.
10. S. J. Greenspan, A. Borgida, and J. Mylopoulos, "A requirements modeling language and its logic," Inf. Syst., vol. 11, no. 1, pp. 9-23, 1986.
11. S. J. Greenspan, J. Mylopoulos, and A. Borgida, "Capturing more world knowledge in the requirements specification," in Proc. 6th Int. Conf. Software Eng., 1982, pp. 225-234.
12. A. Hunter and B. Nuseibeh, "Managing inconsistent specifications: Reasoning, analysis, and action," ACM Trans. Softw. Eng. Methodol., vol. 7, no. 4, pp. 335-367, 1998.
13. D. Jackson, "Boolean Compilation of Relational Specifications," MIT, Tech. Rep. MIT-LCS-735, 1997.
14. I. J. Jureta, A. Borgida, N. A. Ernst, and J. Mylopoulos, "Techne," 2010, CSRG-606, Computer Systems Research Group Technical Report, University of Toronto. ftp://ftp.cs.toronto.edu/pub/reports/csri/606/.
15. I. J. Jureta, S. Faulkner, and P.-Y. Schobbens, "A more expressive softgoal conceptualization for quality requirements analysis," in Proc. 25th Int. Conf. Conceptual Modelling, 2006, pp. 281-295.
16. I. J. Jureta, J. Mylopoulos, and S. Faulkner, "Revisiting the core ontology and problem in requirements engineering," in 16th IEEE Int. Requirements Eng. Conf., 2008, pp. 71-80.
17. S. Liaskos, S. McIlraith, and J. Mylopoulos, "Goal-based Preference Specification for Requirements Engineering," in 18th IEEE Int. Requirements Engineering Conf., 2010.
18. J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis, "Telos: representing knowledge about information systems," ACM Trans. Inf. Syst., vol. 8, no. 4, pp. 325-362, 1990.
19. W. N. Robinson, S. D. Pawlowski, and V. Volkov, "Requirements interaction management," ACM Comput. Surv., vol. 35, no. 2, pp. 132-190, 2003.
20. J. M. Spivey, Introducing Z: A Specification Language and Its Formal Semantics. Cambridge Univ. Press, 1988.
21. A. van Lamsweerde, "Goal-oriented requirements engineering: A guided tour," in Proc. 5th IEEE Int. Symposium on Requirements Eng., 2001, p. 249.
22. A. van Lamsweerde, R. Darimont, and E. Letier, "Managing conflicts in goal-driven requirements engineering," IEEE Trans. Software Eng., vol. 24, no. 11, pp. 908-926, 1998.
23. A. van Lamsweerde and E. Letier, "Handling obstacles in goal-oriented requirements engineering," IEEE Trans. Software Eng., vol. 26, no. 10, pp. 978-1005, 2000.
24. J. M. Wing, "Writing Larch interface language specifications," ACM Trans. Program. Lang. Syst., vol. 9, no. 1, pp. 1-24, 1987.
25. --, "A specifier's introduction to formal methods," IEEE Computer, vol. 23, no. 9, pp. 8-24, 1990.
26. E. Yu, "Towards modeling and reasoning support for early requirements engineering," in Proc. 3rd IEEE Int. Symposium on Requirements Eng., 1997, pp. 226-235.
27. E. S. K. Yu and J. Mylopoulos, "Understanding "Why" in Software Process Modelling, Analysis, and Design," in Proc. 16th Int. Conf. Software Eng., 1994, pp. 159-168.
28. P. Zave, "Classification of research efforts in requirements engineering," ACM Comput. Surv., vol. 29, no. 4, pp. 315-321, 1997.
29. P. Zave and M. Jackson, "Four dark corners of requirements engineering," ACM T. Softw. Eng. Methodol., vol. 6, no. 1, pp. 1-30, 1997.