Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling
Authors:
- Ivan J. JuretaIJIvan J. Jureta
- Alex BorgidaABAlex Borgida
- Neil A. ErnstNENeil A. Ernst
- John MylopoulosJMJohn Mylopoulos
- 1 September 2010
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 1090705X,p. 115-124
Abstract
Techne is an abstract requirements modeling language that lays formal foundations for new modeling languages applicable during early phases of the requirements engineering process. During these phases, the requirements problem for the system-to-be is being structured, its candidate solutions described and compared in terms of how desirable they are to stakeholders. We motivate the need for Techne, introduce it through examples, and sketch its formalization.Keywords
This publication has 23 references indexed in Scilit:
- Integrating Preferences into Goal Models for Requirements Engineering2010
- Revisiting the Core Ontology and Problem in Requirements Engineering2008
- Requirements interaction managementACM Computing Surveys, 2003
- Goal-oriented requirements engineering: a guided tour2002
- Handling obstacles in goal-oriented requirements engineeringIEEE Transactions on Software Engineering, 2000
- Managing inconsistent specificationsACM Transactions on Software Engineering and Methodology, 1998
- Managing conflicts in goal-driven requirements engineeringIEEE Transactions on Software Engineering, 1998
- Telos: representing knowledge about information systemsACM Transactions on Information Systems, 1990
- A specifier's introduction to formal methodsComputer, 1990
- Writing Larch interface language specificationsACM Transactions on Programming Languages and Systems, 1987