License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.08412.16
URN: urn:nbn:de:0030-drops-19801
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2009/1980/
Go to the corresponding Portal


Mylopoulos, John

The Logic of Requirements

pdf-format:
08412.MylopoulosJohn.ExtAbstract.1980.pdf (0.04 MB)


Abstract

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.


BibTeX - Entry

@InProceedings{mylopoulos:DagSemProc.08412.16,
  author =	{Mylopoulos, John},
  title =	{{The Logic of Requirements}},
  booktitle =	{Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8412},
  editor =	{Matthias Jarke and Kalle Lyytinen and John Mylopoulos},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2009/1980},
  URN =		{urn:nbn:de:0030-drops-19801},
  doi =		{10.4230/DagSemProc.08412.16},
  annote =	{Keywords: Domain assumptions, hard goals, qualitz constraints, prioritiyed preferences}
}

Keywords: Domain assumptions, hard goals, qualitz constraints, prioritiyed preferences
Collection: 08412 - Perspectives Workshop: Science of Design : High-Impact Requirements for Software-Intensive Systems
Issue Date: 2009
Date of publication: 28.04.2009


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI