27 Search Results for "Mylopoulos, John"

Document
Invited Paper
DOI: 10.4230/OASIcs.RW.2024/2025.6
Explaining Reasoning Results for Description Logic Ontologies (Invited Paper)

Authors: Patrick Koopmann

Published in: OASIcs, Volume 138, Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025)

Abstract
The Web Ontology Language (OWL), grounded in description logics, enables reasoning systems to infer implicit knowledge in a transparent manner. However, the expressivity of description logics and the complexity of large ontologies often results in reasoning outcomes that are hard to understand without additional tool support. Explanations of these outcomes are essential for users to understand ontology content, communicate its structure and behavior effectively, and debug undesired or missing inferences. This chapter provides an overview of the central explanation techniques that have been developed for explaining reasoning with description logic ontologies. Here, we consider both explanations for positive entailments (explaining why something can be deduced), as well as negative entailments (why something cannot be deduced). More specifically, we discuss justifications, proofs and interpolation as a means to explain positive entailments, and abduction for explaining negative entailments, where we also have a closer look at practical algorithms as well as practical and theoretical challenges.
Cite as

Patrick Koopmann. Explaining Reasoning Results for Description Logic Ontologies (Invited Paper). In Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025). Open Access Series in Informatics (OASIcs), Volume 138, pp. 6:1-6:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{koopmann:OASIcs.RW.2024/2025.6,
  author =	{Koopmann, Patrick},
  title =	{{Explaining Reasoning Results for Description Logic Ontologies}},
  booktitle =	{Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 \& RW 2025)},
  pages =	{6:1--6:29},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-405-5},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{138},
  editor =	{Artale, Alessandro and Bienvenu, Meghyn and Garc{\'\i}a, Yazm{\'\i}n Ib\'{a}\~{n}ez and Murlak, Filip},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.RW.2024/2025.6},
  URN =		{urn:nbn:de:0030-drops-250514},
  doi =		{10.4230/OASIcs.RW.2024/2025.6},
  annote =	{Keywords: Explanations, Justifications, Proofs, Craig Interpolation, Contrastive Explanations}
}
Document
DOI: 10.4230/OASIcs.DX.2025.4
Using Qualitative Simulation Models for Monitoring and Diagnosis

Authors: Ankita Das, Roxane Koitz-Hristov, and Franz Wotawa

Published in: OASIcs, Volume 136, 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)

Abstract
Many systems in our daily lives control physical processes, which are parametrized and adapted, such as heating systems in buildings. Faults and non-optimized settings lead to a high energy demand and, therefore, need to be detected as early as possible. Unfortunately, due to specific adaptations, only the basic principles remain the same, but not the concrete implementations, making the use of techniques like machine learning difficult. Therefore, we suggest using abstract models that cover the basic behavior in a way that allows us to reuse the models in different installations. In particular, we discuss the application of qualitative simulation for fault detection and introduce a formal definition of conformance between the results of qualitative simulation and the monitored behavior. We discuss arising difficulties and provide a basis for further research and applications.
Cite as

Ankita Das, Roxane Koitz-Hristov, and Franz Wotawa. Using Qualitative Simulation Models for Monitoring and Diagnosis. In 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025). Open Access Series in Informatics (OASIcs), Volume 136, pp. 4:1-4:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{das_et_al:OASIcs.DX.2025.4,
  author =	{Das, Ankita and Koitz-Hristov, Roxane and Wotawa, Franz},
  title =	{{Using Qualitative Simulation Models for Monitoring and Diagnosis}},
  booktitle =	{36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)},
  pages =	{4:1--4:14},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-394-2},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{136},
  editor =	{Quinones-Grueiro, Marcos and Biswas, Gautam and Pill, Ingo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.4},
  URN =		{urn:nbn:de:0030-drops-247934},
  doi =		{10.4230/OASIcs.DX.2025.4},
  annote =	{Keywords: Qualitative Simulation, Fault Detection, Model-based Diagnosis, Monitoring, Application}
}
Document
Research
DOI: 10.4230/TGDK.3.1.4
CoaKG: A Contextualized Knowledge Graph Approach for Exploratory Search and Decision Making

Authors: Veronica dos Santos, Daniel Schwabe, Altigran Soares da Silva, and Sérgio Lifschitz

Published in: TGDK, Volume 3, Issue 1 (2025). Transactions on Graph Data and Knowledge, Volume 3, Issue 1

Abstract
In decision-making scenarios, an information need arises due to a knowledge gap when a decision-maker needs more knowledge to make a decision. Users may take the initiative to acquire knowledge to fill this gap through exploratory search approaches using Knowledge Graphs (KGs) as information sources, but their queries can be incomplete, inaccurate, and ambiguous. Although KGs have great potential for exploratory search, they are incomplete by nature. Besides, for both Crowd-sourced KGs and KGs constructed by integrating several different information sources of varying quality to be effectively consumed, there is a need for a Trust Layer. Our research aims to enrich and allow querying KGs to support context-aware exploration in decision-making scenarios. We propose a layered architecture for Context Augmented Knowledge Graphs-based Decision Support Systems with a Knowledge Layer that operates under a Dual Open World Assumption (DOWA). Under DOWA, the evaluation of the truthfulness of the information obtained from KGs depends on the context of its claims and the tasks carried out or intended (purpose). The Knowledge Layer comprises a Context Augmented KG (CoaKG) and a CoaKG Query Engine. The CoaKG contains contextual mappings to identify explicit context and rules to infer implicit context. The CoaKG Query Engine is designed as a query-answering approach that retrieves all contextualized answers from the CoaKG. A Proof of Concept (PoC) based on Wikidata was developed to evaluate the effectiveness of the Knowledge Layer.
Cite as

Veronica dos Santos, Daniel Schwabe, Altigran Soares da Silva, and Sérgio Lifschitz. CoaKG: A Contextualized Knowledge Graph Approach for Exploratory Search and Decision Making. In Transactions on Graph Data and Knowledge (TGDK), Volume 3, Issue 1, pp. 4:1-4:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@Article{dossantos_et_al:TGDK.3.1.4,
  author =	{dos Santos, Veronica and Schwabe, Daniel and da Silva, Altigran Soares and Lifschitz, S\'{e}rgio},
  title =	{{CoaKG: A Contextualized Knowledge Graph Approach for Exploratory Search and Decision Making}},
  journal =	{Transactions on Graph Data and Knowledge},
  pages =	{4:1--4:27},
  ISSN =	{2942-7517},
  year =	{2025},
  volume =	{3},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/TGDK.3.1.4},
  URN =		{urn:nbn:de:0030-drops-236685},
  doi =		{10.4230/TGDK.3.1.4},
  annote =	{Keywords: Knowledge Graphs, Context Search, Decision Support}
}
Document
Survey
DOI: 10.4230/TGDK.3.1.3
Uncertainty Management in the Construction of Knowledge Graphs: A Survey

Authors: Lucas Jarnac, Yoan Chabot, and Miguel Couceiro

Published in: TGDK, Volume 3, Issue 1 (2025). Transactions on Graph Data and Knowledge, Volume 3, Issue 1

Abstract
Knowledge Graphs (KGs) are a major asset for companies thanks to their great flexibility in data representation and their numerous applications, e.g., vocabulary sharing, Q&A or recommendation systems. To build a KG, it is a common practice to rely on automatic methods for extracting knowledge from various heterogeneous sources. However, in a noisy and uncertain world, knowledge may not be reliable and conflicts between data sources may occur. Integrating unreliable data would directly impact the use of the KG, therefore such conflicts must be resolved. This could be done manually by selecting the best data to integrate. This first approach is highly accurate, but costly and time-consuming. That is why recent efforts focus on automatic approaches, which represent a challenging task since it requires handling the uncertainty of extracted knowledge throughout its integration into the KG. We survey state-of-the-art approaches in this direction and present constructions of both open and enterprise KGs. We then describe different knowledge extraction methods and discuss downstream tasks after knowledge acquisition, including KG completion using embedding models, knowledge alignment, and knowledge fusion in order to address the problem of knowledge uncertainty in KG construction. We conclude with a discussion on the remaining challenges and perspectives when constructing a KG taking into account uncertainty.
Cite as

Lucas Jarnac, Yoan Chabot, and Miguel Couceiro. Uncertainty Management in the Construction of Knowledge Graphs: A Survey. In Transactions on Graph Data and Knowledge (TGDK), Volume 3, Issue 1, pp. 3:1-3:48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@Article{jarnac_et_al:TGDK.3.1.3,
  author =	{Jarnac, Lucas and Chabot, Yoan and Couceiro, Miguel},
  title =	{{Uncertainty Management in the Construction of Knowledge Graphs: A Survey}},
  journal =	{Transactions on Graph Data and Knowledge},
  pages =	{3:1--3:48},
  ISSN =	{2942-7517},
  year =	{2025},
  volume =	{3},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/TGDK.3.1.3},
  URN =		{urn:nbn:de:0030-drops-233733},
  doi =		{10.4230/TGDK.3.1.3},
  annote =	{Keywords: Knowledge reconciliation, Uncertainty, Heterogeneous sources, Knowledge graph construction}
}
Document
Position
DOI: 10.4230/TGDK.2.1.2
Grounding Stream Reasoning Research

Authors: Pieter Bonte, Jean-Paul Calbimonte, Daniel de Leng, Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Federico Giannini, Fredrik Heintz, Konstantin Schekotihin, Danh Le-Phuoc, Alessandra Mileo, Patrik Schneider, Riccardo Tommasini, Jacopo Urbani, and Giacomo Ziffer

Published in: TGDK, Volume 2, Issue 1 (2024): Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge, Volume 2, Issue 1

Abstract
In the last decade, there has been a growing interest in applying AI technologies to implement complex data analytics over data streams. To this end, researchers in various fields have been organising a yearly event called the "Stream Reasoning Workshop" to share perspectives, challenges, and experiences around this topic. In this paper, the previous organisers of the workshops and other community members provide a summary of the main research results that have been discussed during the first six editions of the event. These results can be categorised into four main research areas: The first is concerned with the technological challenges related to handling large data streams. The second area aims at adapting and extending existing semantic technologies to data streams. The third and fourth areas focus on how to implement reasoning techniques, either considering deductive or inductive techniques, to extract new and valuable knowledge from the data in the stream. This summary is written not only to provide a crystallisation of the field, but also to point out distinctive traits of the stream reasoning community. Moreover, it also provides a foundation for future research by enumerating a list of use cases and open challenges, to stimulate others to join this exciting research area.
Cite as

Pieter Bonte, Jean-Paul Calbimonte, Daniel de Leng, Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Federico Giannini, Fredrik Heintz, Konstantin Schekotihin, Danh Le-Phuoc, Alessandra Mileo, Patrik Schneider, Riccardo Tommasini, Jacopo Urbani, and Giacomo Ziffer. Grounding Stream Reasoning Research. In Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 1, pp. 2:1-2:47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{bonte_et_al:TGDK.2.1.2,
  author =	{Bonte, Pieter and Calbimonte, Jean-Paul and de Leng, Daniel and Dell'Aglio, Daniele and Della Valle, Emanuele and Eiter, Thomas and Giannini, Federico and Heintz, Fredrik and Schekotihin, Konstantin and Le-Phuoc, Danh and Mileo, Alessandra and Schneider, Patrik and Tommasini, Riccardo and Urbani, Jacopo and Ziffer, Giacomo},
  title =	{{Grounding Stream Reasoning Research}},
  journal =	{Transactions on Graph Data and Knowledge},
  pages =	{2:1--2:47},
  ISSN =	{2942-7517},
  year =	{2024},
  volume =	{2},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.2},
  URN =		{urn:nbn:de:0030-drops-198597},
  doi =		{10.4230/TGDK.2.1.2},
  annote =	{Keywords: Stream Reasoning, Stream Processing, RDF streams, Streaming Linked Data, Continuous query processing, Temporal Logics, High-performance computing, Databases}
}
Document
DOI: 10.4230/DagSemProc.10431.3
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
DOI: 10.4230/DagSemProc.08412.1
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
DOI: 10.4230/DagSemProc.08412.3
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
DOI: 10.4230/DagSemProc.08412.11
Requirements in the 21st Century: Current Practice and Emerging Trends

Authors: Sean Hansen, Nicholas Berente, and Kalle Lyytinen

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

Abstract
Requirements have remained one of the grand challenges in the design of software intensive systems. In this paper we review the main strands of requirements research over the past two decades and identify persistent and new challenges. Based on a field study that involved interviews of over 30 leading IT professionals involved in large and complex software design and implementation initiatives we review the current state-of-the-art in design requirements management. We observe significant progress in the deployment of modeling methods, tools, risk-driven design, and user involvement. We note nine emerging themes and challenges in the requirement management arena: 1) business process focus, 2) systems transparency, 3) integration focus, 4) distributed requirements, 5) layered requirements, 6) criticality of information architectures, 7) increased deployment of COTS and software components, 8) design fluidity and 9) interdependent complexity. Several research challenges and new avenues for research are noted in the discovery, specification, and validation of requirements in light of these requirements features.
Cite as

Sean Hansen, Nicholas Berente, and Kalle Lyytinen. Requirements in the 21st Century: Current Practice and Emerging Trends. In Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems. Dagstuhl Seminar Proceedings, Volume 8412, pp. 1-57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{hansen_et_al:DagSemProc.08412.11,
  author =	{Hansen, Sean and Berente, Nicholas and Lyytinen, Kalle},
  title =	{{Requirements in the 21st Century: Current Practice and Emerging Trends}},
  booktitle =	{Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems},
  pages =	{1--57},
  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.11},
  URN =		{urn:nbn:de:0030-drops-19892},
  doi =		{10.4230/DagSemProc.08412.11},
  annote =	{Keywords: Requirements, modeling, specification, validation, verification, change, large systems, complexity, stakeholders, field study}
}
Document
DOI: 10.4230/DagSemProc.08412.8
Distributed Cognition in the Management of Design Requirements

Authors: Sean Hansen and Kalle Lyytinen

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

Abstract
In this position statement, we outline a new theoretical framework of the distribution of design requirements processes. Building upon the Theory of Distributed Cognition, we characterize contemporary requirements efforts as distributed cognitive systems in which elements of a design vision are distributed socially, structurally, and temporally. We discuss the various forms of distribution observed in real-world systems development projects and the processes by which representational states are propagated through the system. We conclude with a brief discussion of the implications of the framework for requirements research and practice.
Cite as

Sean Hansen and Kalle Lyytinen. Distributed Cognition in the Management of Design Requirements. In Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems. Dagstuhl Seminar Proceedings, Volume 8412, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{hansen_et_al:DagSemProc.08412.8,
  author =	{Hansen, Sean and Lyytinen, Kalle},
  title =	{{Distributed Cognition in the Management of Design Requirements}},
  booktitle =	{Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems},
  pages =	{1--10},
  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.8},
  URN =		{urn:nbn:de:0030-drops-19301},
  doi =		{10.4230/DagSemProc.08412.8},
  annote =	{Keywords: Distributed cognition, distributed requirements, COTS software, IT architecture}
}
Document
DOI: 10.4230/DagSemProc.08412.9
Effectuation for organizing design processes?

Authors: Isabelle Reymen

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

Abstract
Design Science Methodology is the title of a course I developed/am developing. It tries to bridge design in engineering and social science, with the goal to learn industrial engineering and management students notions of design. With an engineering background (Architecture and some Computing Science), I am now Assistant Professor Design Processes in the Organization Science and Marketing group of Prof. Romme. I lecture in the Innovation Management Program of the Eindhoven University of Technology. I am very interested in thinking about new ways of organizing design processes and about how to deal with the new challenges of design science. My research focuses around "The design of processes for artifact creation", where artifacts can be new products, systems, discourse, businesses, markets, ... . I am also involved in a new initiative that plans to organize a workshop on Organizational Design and Engineering, which I like to share with the audience.
Cite as

Isabelle Reymen. Effectuation for organizing design processes?. 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{reymen:DagSemProc.08412.9,
  author =	{Reymen, Isabelle},
  title =	{{Effectuation for organizing design processes?}},
  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.9},
  URN =		{urn:nbn:de:0030-drops-19818},
  doi =		{10.4230/DagSemProc.08412.9},
  annote =	{Keywords: Design science, design process, organization design}
}
Document
DOI: 10.4230/DagSemProc.08412.10
Making sense of Design & Requirements Perspectives - & their Inter-relations

Authors: Liam Bannon

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

Abstract
I see myself as a commentator or discussant at this workshop as my research interests are on the "edge" of the RE area. Thus, for me, the question of what perspective we bring to bear on the issues we are debating is paramount. What I find interesting in some of the recent discussions is to what extent the issues and problems we are facing today are novel and distinct from those we were facing 10 or even 20 years ago, and how these are being discussed nowadays and heretofore. I provide some personal context for these remarks and show both some similarities and possible differences over the years in the ongoing discussions.
Cite as

Liam Bannon. Making sense of Design & Requirements Perspectives - & their Inter-relations. In Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems. Dagstuhl Seminar Proceedings, Volume 8412, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{bannon:DagSemProc.08412.10,
  author =	{Bannon, Liam},
  title =	{{Making sense of Design \& Requirements Perspectives - \& their Inter-relations}},
  booktitle =	{Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems},
  pages =	{1--6},
  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.10},
  URN =		{urn:nbn:de:0030-drops-19758},
  doi =		{10.4230/DagSemProc.08412.10},
  annote =	{Keywords: Perspectives, evolution, process, iteration, prototyping}
}
Document
DOI: 10.4230/DagSemProc.08412.12
Requirements Engineering Domain Dimensions

Authors: 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 doc gives my initial ideas on the dimensions/criteria for different genres of applications (or domains if you prefer), following my summary presentation at the Dagstuhl workshop.
Cite as

Alistair G. Sutcliffe. Requirements Engineering Domain Dimensions. 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{sutcliffe:DagSemProc.08412.12,
  author =	{Sutcliffe, Alistair G.},
  title =	{{Requirements Engineering Domain Dimensions}},
  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.12},
  URN =		{urn:nbn:de:0030-drops-19848},
  doi =		{10.4230/DagSemProc.08412.12},
  annote =	{Keywords: Domain dimensions, genres of applications, follow-up}
}
Document
DOI: 10.4230/DagSemProc.08412.13
Requirements Engineering for Control Systems

Authors: Dominik Schmitz

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

Abstract
Nowadays, more and more controllers in automobiles are realised in software on electronic control units. This contribution reports on a joined project of control system engineers and software engineers that aims at a better integration of these two disciplines. Focussing the requirements engineering part, the relevant issues for control systems are set in relation to the previously identified four key requirements principles.
Cite as

Dominik Schmitz. Requirements Engineering for Control 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{schmitz:DagSemProc.08412.13,
  author =	{Schmitz, Dominik},
  title =	{{Requirements Engineering for Control 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.13},
  URN =		{urn:nbn:de:0030-drops-19831},
  doi =		{10.4230/DagSemProc.08412.13},
  annote =	{Keywords: Requirements engineering, control systems}
}
Document
DOI: 10.4230/DagSemProc.08412.14
Requirements Engineering for Social Software

Authors: Anna Glukhova

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

Abstract
Social software bears some special characteristics for requirements engineering (RE) like user-centeredness, self-organization and voluntarism. No concrete formalization of the RE process for social software has been established so far. In this position paper, important aspects of social contexts will be considered in order to define requirements, referring to the previously identified four key requirements principles.
Cite as

Anna Glukhova. Requirements Engineering for Social Software. In Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems. Dagstuhl Seminar Proceedings, Volume 8412, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{glukhova:DagSemProc.08412.14,
  author =	{Glukhova, Anna},
  title =	{{Requirements Engineering for Social Software}},
  booktitle =	{Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems},
  pages =	{1--3},
  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.14},
  URN =		{urn:nbn:de:0030-drops-19777},
  doi =		{10.4230/DagSemProc.08412.14},
  annote =	{Keywords: Social software, web 2.0, requirements engineering, collaborative systems, communities}
}
  • Refine by Type
  • 27 Document/PDF
  • 5 Document/HTML

  • Refine by Publication Year
  • 4 2025
  • 1 2024
  • 1 2011
  • 19 2009
  • 1 2001
  • Show More...

  • Refine by Author
  • 8 Lyytinen, Kalle
  • 8 Mylopoulos, John
  • 4 Hansen, Sean
  • 4 Jarke, Matthias
  • 3 Sutcliffe, Alistair G.
  • Show More...

  • Refine by Series/Journal
  • 2 OASIcs
  • 3 TGDK
  • 2 DagSemRep
  • 20 DagSemProc

  • Refine by Classification
  • 3 Information systems → Graph-based database models
  • 2 Computing methodologies → Description logics
  • 2 Information systems → Information integration
  • 1 Computing methodologies → Causal reasoning and diagnostics
  • 1 Computing methodologies → Modeling methodologies
  • Show More...

  • Refine by Keyword
  • 5 requirements engineering
  • 4 Science of design
  • 3 distributed requirements
  • 2 Requirements engineering
  • 2 Requirements practice
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact