Search Results

Documents authored by Mylopoulos, John


Document
Software Engineering for Self-Adaptive Systems: A second Research Roadmap

Authors: Rogerio de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cikic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Goeschka, Alessandra Gorla, Vincenzo Grassi, Poala Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antonia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Wilhelm Schlichting, Bradley Schmerl, Dennis B. Smith, Joao P. Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, and Jochen Wuttke

Published in: Dagstuhl Seminar Proceedings, Volume 10431, Software Engineering for Self-Adaptive Systems (2011)


Abstract
The goal of this roadmap paper is to summarize the state of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for adaptive solutions, processes, from centralized to decentralized control, and practical run-time verification and validation. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.

Cite as

Rogerio de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cikic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Goeschka, Alessandra Gorla, Vincenzo Grassi, Poala Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antonia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Wilhelm Schlichting, Bradley Schmerl, Dennis B. Smith, Joao P. Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, and Jochen Wuttke. Software Engineering for Self-Adaptive Systems: A second Research Roadmap. In Software Engineering for Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 10431, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{delemos_et_al:DagSemProc.10431.3,
  author =	{de Lemos, Rogerio and Giese, Holger and M\"{u}ller, Hausi and Shaw, Mary and Andersson, Jesper and Baresi, Luciano and Becker, Basil and Bencomo, Nelly and Brun, Yuriy and Cikic, Bojan and Desmarais, Ron and Dustdar, Schahram and Engels, Gregor and Geihs, Kurt and Goeschka, Karl M. and Gorla, Alessandra and Grassi, Vincenzo and Inverardi, Poala and Karsai, Gabor and Kramer, Jeff and Litoiu, Marin and Lopes, Antonia and Magee, Jeff and Malek, Sam and Mankovskii, Serge and Mirandola, Raffaela and Mylopoulos, John and Nierstrasz, Oscar and Pezz\`{e}, Mauro and Prehofer, Christian and Sch\"{a}fer, Wilhelm and Schlichting, Wilhelm and Schmerl, Bradley and Smith, Dennis B. and Sousa, Joao P. and Tamura, Gabriel and Tahvildari, Ladan and Villegas, Norha M. and Vogel, Thomas and Weyns, Danny and Wong, Kenny and Wuttke, Jochen},
  title =	{{Software Engineering for Self-Adaptive Systems:  A second Research Roadmap}},
  booktitle =	{Software Engineering for Self-Adaptive Systems},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10431},
  editor =	{Rogerio de Lemos and Holger Giese and Hausi M\"{u}ller and Mary Shaw},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10431.3},
  URN =		{urn:nbn:de:0030-drops-31561},
  doi =		{10.4230/DagSemProc.10431.3},
  annote =	{Keywords: }
}
Document
08412 Abstracts Collection – Science of Design : High-Impact Requirements for Software-Intensive Systems

Authors: Matthias Jarke, Kalle Lyytinen, and John Mylopoulos

Published in: Dagstuhl Seminar Proceedings, Volume 8412, Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems (2009)


Abstract
From 08.10. to 11.10.2008, the Dagstuhl Seminar 08412 ``Science of Design : High-Impact Requirements for Software-Intensive Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Matthias Jarke, Kalle Lyytinen, and John Mylopoulos. 08412 Abstracts Collection – Science of Design : High-Impact Requirements for Software-Intensive Systems. In Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems. Dagstuhl Seminar Proceedings, Volume 8412, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{jarke_et_al:DagSemProc.08412.1,
  author =	{Jarke, Matthias and Lyytinen, Kalle and Mylopoulos, John},
  title =	{{08412 Abstracts Collection – Science of Design : High-Impact Requirements for Software-Intensive Systems }},
  booktitle =	{Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems},
  pages =	{1--13},
  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/entities/document/10.4230/DagSemProc.08412.1},
  URN =		{urn:nbn:de:0030-drops-19882},
  doi =		{10.4230/DagSemProc.08412.1},
  annote =	{Keywords: Science of design, requirements engineering}
}
Document
08412 Manifesto – High-Impact Requirements for Software-Intensive Systems

Authors: Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, and William Robinson

Published in: Dagstuhl Seminar Proceedings, Volume 8412, Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems (2009)


Abstract
Despite its undoubted success in the last two decades, requirements engineering (RE) needs a better alignment between its research focus and its grounding in practical needs as these needs have changed significantly. We identify and explore changes in the environment, targets, and the process of RE that influence the nature of fundamental RE questions. Based on these explorations we propose four key principles that underlie current requirements processes and influence their successful resolution: (1) intertwining of requirements with implementation and organizational contexts, (2) dynamic evolution of requirements, (3) architectures as a critical stabilizing force, and (4) high levels of design complexity and necessity to employ new ways to mitigate it. We make recommendations to refocus RE research agenda as to meet better emerging and new challenges based on the review and analysis of these four key themes, and note several managerial and practical implications.

Cite as

Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, and William Robinson. 08412 Manifesto – High-Impact Requirements for Software-Intensive Systems. In Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems. Dagstuhl Seminar Proceedings, Volume 8412, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{jarke_et_al:DagSemProc.08412.3,
  author =	{Jarke, Matthias and Loucopoulos, Pericles and Lyytinen, Kalle and Mylopoulos, John and Robinson, William},
  title =	{{08412 Manifesto – High-Impact Requirements for Software-Intensive Systems}},
  booktitle =	{Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems},
  pages =	{1--18},
  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/entities/document/10.4230/DagSemProc.08412.3},
  URN =		{urn:nbn:de:0030-drops-20287},
  doi =		{10.4230/DagSemProc.08412.3},
  annote =	{Keywords: Science of design, requirements engineering, manifesto}
}
Document
08412 Executive Summary – Science of Design : High-Impact Requirements for Software-Intensive Systems

Authors: Matthias Jarke, Kalle Lyytinen, and John Mylopoulos

Published in: Dagstuhl Seminar Proceedings, Volume 8412, Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems (2009)


Abstract
This document gives a brief motivation for and summary of the perspectives workshop "Science of Design - High-Impact Requirements for Software-Intensive Systems". The workshop was held in Schloss Dagstuhl - Leibniz Center for Informatics, October 8-11, 2008.

Cite as

Matthias Jarke, Kalle Lyytinen, and John Mylopoulos. 08412 Executive Summary – Science of Design : High-Impact Requirements for Software-Intensive Systems. 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)


Copy BibTex To Clipboard

@InProceedings{jarke_et_al:DagSemProc.08412.2,
  author =	{Jarke, Matthias and Lyytinen, Kalle and Mylopoulos, John},
  title =	{{08412 Executive Summary – Science of Design : High-Impact Requirements for Software-Intensive Systems}},
  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/entities/document/10.4230/DagSemProc.08412.2},
  URN =		{urn:nbn:de:0030-drops-19749},
  doi =		{10.4230/DagSemProc.08412.2},
  annote =	{Keywords: Science of design, requirements engineering}
}
Document
08412 Seminar Outlines and Working Group Summaries

Authors: Matthias Jarke, Kalle Lyytinen, John Mylopoulos, Gerti Kappel, Julio Cesar Sampaio do Prado Leite, Gloria Mark, Bala Ramesh, Dominik Schmitz, and Alistair G. Sutcliffe

Published in: Dagstuhl Seminar Proceedings, Volume 8412, Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems (2009)


Abstract
This document gives a motivation for this perspective seminar within the Science of Design initiative, as well as an outline of the participants, agenda, sessions, and presentations. Furthermore, the outcomes of the five working group sessions are summarized: multiple concepts of design, evolution and management of requirements, stakeholder issues, intertwining requirements and design, and requirements, architecture and complexity.

Cite as

Matthias Jarke, Kalle Lyytinen, John Mylopoulos, Gerti Kappel, Julio Cesar Sampaio do Prado Leite, Gloria Mark, Bala Ramesh, Dominik Schmitz, and Alistair G. Sutcliffe. 08412 Seminar Outlines and Working Group Summaries. In Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems. Dagstuhl Seminar Proceedings, Volume 8412, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{jarke_et_al:DagSemProc.08412.4,
  author =	{Jarke, Matthias and Lyytinen, Kalle and Mylopoulos, John and Kappel, Gerti and Leite, Julio Cesar Sampaio do Prado and Mark, Gloria and Ramesh, Bala and Schmitz, Dominik and Sutcliffe, Alistair G.},
  title =	{{08412 Seminar Outlines and Working Group Summaries}},
  booktitle =	{Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems},
  pages =	{1--12},
  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/entities/document/10.4230/DagSemProc.08412.4},
  URN =		{urn:nbn:de:0030-drops-19730},
  doi =		{10.4230/DagSemProc.08412.4},
  annote =	{Keywords: Seminar outline, working group summaries}
}
Document
The Logic of Requirements

Authors: John Mylopoulos

Published in: Dagstuhl Seminar Proceedings, Volume 8412, Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems (2009)


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.

Cite as

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)


Copy BibTex To Clipboard

@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/entities/document/10.4230/DagSemProc.08412.16},
  URN =		{urn:nbn:de:0030-drops-19801},
  doi =		{10.4230/DagSemProc.08412.16},
  annote =	{Keywords: Domain assumptions, hard goals, qualitz constraints, prioritiyed preferences}
}
Document
Interoperability of Reengineering Tools (Dagstuhl Seminar 01041)

Authors: Jürgen Ebert, Kostas Kontogiannis, and John Mylopoulos

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Jürgen Ebert, Kostas Kontogiannis, and John Mylopoulos. Interoperability of Reengineering Tools (Dagstuhl Seminar 01041). Dagstuhl Seminar Report 296, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)


Copy BibTex To Clipboard

@TechReport{ebert_et_al:DagSemRep.296,
  author =	{Ebert, J\"{u}rgen and Kontogiannis, Kostas and Mylopoulos, John},
  title =	{{Interoperability of Reengineering Tools (Dagstuhl Seminar 01041)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{296},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.296},
  URN =		{urn:nbn:de:0030-drops-151808},
  doi =		{10.4230/DagSemRep.296},
}
Document
System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440)

Authors: Mattias Jarke, Peri Loucopoulos, John Mylopoulos, and Alistair Sutcliffe

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Mattias Jarke, Peri Loucopoulos, John Mylopoulos, and Alistair Sutcliffe. System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440). Dagstuhl Seminar Report 99, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{jarke_et_al:DagSemRep.99,
  author =	{Jarke, Mattias and Loucopoulos, Peri and Mylopoulos, John and Sutcliffe, Alistair},
  title =	{{System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{99},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.99},
  URN =		{urn:nbn:de:0030-drops-149872},
  doi =		{10.4230/DagSemRep.99},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail