Search Results

Documents authored by Stevens, Perdita

Document
DOI: 10.4230/DagRep.8.12.1
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)

Authors: Anthony Cleve, Ekkart Kindler, Perdita Stevens, and Vadim Zaytsev

Published in: Dagstuhl Reports, Volume 8, Issue 12 (2019)

Abstract
Bidirectional transformations (bx) are a mechanism for maintaining the consistency of two (or more) related sources of information, such as models in model-driven development, database schemas, or programs. Bx technologies have been developed for practical engineering purposes in many diverse fields. Different disciplines such as programming languages, graph transformations, software engineering, and databases have contributed to the concepts and theory of bx. However, so far, most efforts have been focused on the case where exactly two information sources must be kept consistent; the case of more than two has usually been considered as an afterthought. In many practical scenarios, it is essential to work with more than two information sources, but the community has hardly started to identify and address the research challenges that this brings. Driven by the practical needs and usage scenarios from industry, this Dagstuhl Seminar aimed to identify the challenges, issues and open research problems for multidirectional model transformations and synchronisations and sketch a road map for developing relevant concepts, theories and tools. The report contains an executive summary of the seminar, reports from its working groups, as well as descriptions of industrial and academic case studies that motivated the discussions.
Cite as

Anthony Cleve, Ekkart Kindler, Perdita Stevens, and Vadim Zaytsev. Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). In Dagstuhl Reports, Volume 8, Issue 12, pp. 1-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@Article{cleve_et_al:DagRep.8.12.1,
  author =	{Cleve, Anthony and Kindler, Ekkart and Stevens, Perdita and Zaytsev, Vadim},
  title =	{{Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)}},
  pages =	{1--48},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{12},
  editor =	{Cleve, Anthony and Kindler, Ekkart and Stevens, Perdita and Zaytsev, Vadim},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.12.1},
  URN =		{urn:nbn:de:0030-drops-103606},
  doi =		{10.4230/DagRep.8.12.1},
  annote =	{Keywords: bidirectional transformation, synchronisation}
}
Document
DOI: 10.4230/DagRep.1.1.42
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)

Authors: Zhenjiang Hu, Andy Schürr, Perdita Stevens, and James Terwilliger

Published in: Dagstuhl Reports, Volume 1, Issue 1 (2011)

Abstract
Bidirectional transformations bx are a mechanism for maintaining the consistency of two (or more) related sources of information. Researchers from many different areas of computer science including databases (DB), graph transformations (GT), software engineering (SE), and programming languages (PL) are actively investigating the use of bx to solve a diverse set of problems. Although researchers have been actively working on bidirectional transformations in the above mentioned communities for many years already, there has been very little cross-discipline interaction and cooperation so far. The purpose of a first International Meeting on Bidirectional Transformations (GRACE-BX), held in December 2008 near Tokyo, was therefore to bring together international elites, promising young researchers, and leading practitioners to share problems, discuss solutions, and open a dialogue towards understanding the common underpinnings of bx in all these areas. While the GRACE-BX meeting provided a starting point for exchanging ideas in different communities and confirmed our believe that there is a considerable overlap of studied problems and developed solutions in the identified communities, the Dagstuhl Seminar 11031 on ``Bidirectional Transformations'' also aimed at providing a place for working together to define a common vocabulary of terms and desirable properties of bidirectional transformations, develop a suite of benchmarks, solve some challenging problems, and launch joint efforts to form a living bx community of cooperating experts across the identified subdisciplines. This report documents the program and the outcomes of Dagstuhl Seminar 11031 with abstracts of tutorials, working groups, and presentations on specific research topics.
Cite as

Zhenjiang Hu, Andy Schürr, Perdita Stevens, and James Terwilliger. Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). In Dagstuhl Reports, Volume 1, Issue 1, pp. 42-67, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Article{hu_et_al:DagRep.1.1.42,
  author =	{Hu, Zhenjiang and Sch\"{u}rr, Andy and Stevens, Perdita and Terwilliger, James},
  title =	{{Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)}},
  pages =	{42--67},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{1},
  editor =	{Hu, Zhenjiang and Sch\"{u}rr, Andy and Stevens, Perdita and Terwilliger, James},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.1.42},
  URN =		{urn:nbn:de:0030-drops-31442},
  doi =		{10.4230/DagRep.1.1.42},
  annote =	{Keywords: Bidirectional Languages, Transformation, Model/Data Synchronisation}
}
Document
DOI: 10.4230/DagSemProc.06351.1
06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS)

Authors: Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa

Published in: Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007)

Abstract
From 27.08.06 to 01.09.06, the Dagstuhl Seminar 06351 ``Methods for Modelling Software Systems (MMOSS)'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. 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

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa. 06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS). In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{brinksma_et_al:DagSemProc.06351.1,
  author =	{Brinksma, Ed and Harel, David and Mader, Angelika and Stevens, Perdita and Wieringa, Roel},
  title =	{{06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS)}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6351},
  editor =	{Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.1},
  URN =		{urn:nbn:de:0030-drops-9586},
  doi =		{10.4230/DagSemProc.06351.1},
  annote =	{Keywords: Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement}
}
Document
DOI: 10.4230/DagSemProc.06351.2
06351 Summary – Methods for Modelling Software Systems (MMOSS)

Authors: Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa

Published in: Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007)

Abstract
We survey the key objectives and the structure of this Dagstuhl seminar, and discuss common themes that emerged.
Cite as

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa. 06351 Summary – Methods for Modelling Software Systems (MMOSS). In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{brinksma_et_al:DagSemProc.06351.2,
  author =	{Brinksma, Ed and Harel, David and Mader, Angelika and Stevens, Perdita and Wieringa, Roel},
  title =	{{06351 Summary – Methods for Modelling Software Systems (MMOSS)}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6351},
  editor =	{Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.2},
  URN =		{urn:nbn:de:0030-drops-9574},
  doi =		{10.4230/DagSemProc.06351.2},
  annote =	{Keywords: Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement}
}
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact