The Logic of Requirements

Author John Mylopoulos

Thumbnail PDF


  • Filesize: 38 kB
  • 2 pages

Document Identifiers

Author Details

John Mylopoulos

Cite AsGet BibTex

John Mylopoulos. The Logic of Requirements. In Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems. Dagstuhl Seminar Proceedings, Volume 8412, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Requirements consist of (a) domain assumptions, (b) hard goals, (c) quality constraints, (d) possibly prioritized preferences. The very core of Requirements Engineering consists of the following problem: given a set of (a)-(d), generate specifications that fulfill hard goals and quality constraints, assuming that domain assumptions hold, and satisfy maximal sets of preferences. We are working towards tools that solve this problem for expressive modeling languages in terms of which one can represent domain assumptions, goals, etc. Such tools can be used as basis for exploring requirements by varying preferences and priorities, or weakening/strengthening goals.
  • Domain assumptions
  • hard goals
  • qualitz constraints
  • prioritiyed preferences


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail