Techne: A(nother) Requirements Modeling Language

This paper introduces the requirements modeling lan-guage called Techne, in response to a new core ontology for requirements [5]. The basic elements of Techne models are propositions that represent domain assumptions, goals, quality constraints, or tasks. Moreover, goals and qual-ity constraints may be mandatory or optional and there can be preference relations defined over them. Given a re-quirements problem consisting of mandatory/optional goals and domain assumptions, a solution consists of a collection of tasks and quality constraints which together satisfy all mandatory goals and do as well as possible with respect to optional ones. A formal semantics is provided for Techne, along with a syntax, as well as illustrative examples