Search

Your search keyword '"Stevens, Perdita"' showing total 325 results
Start Over Author "Stevens, Perdita"

Refine your results

more »

more »

more »

more »
325 results on '"Stevens, Perdita"'

1. Models as Documents, Documents as Models

Author

Stevens, Perdita, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2022
Full Text
View/download PDF

2. Theory and Practice of Networks of Models

Author

Stevens, Perdita, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Fletcher, George, editor, Nakano, Keisuke, editor, and Sasaki, Yuya, editor

Published
2022
Full Text
View/download PDF

3. The Future of Programming andModelling: A Vision

Author

Stevens, Perdita, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2021
Full Text
View/download PDF

4. Reflections on Monadic Lenses

Author

Abou-Saleh, Faris, Cheney, James, Gibbons, Jeremy, McKinna, James, and Stevens, Perdita

Subjects
Computer Science - Programming Languages
Abstract

Bidirectional transformations (bx) have primarily been modeled as pure functions, and do not account for the possibility of the side-effects that are available in most programming languages. Recently several formulations of bx that use monads to account for effects have been proposed, both among practitioners and in academic research. The combination of bx with effects turns out to be surprisingly subtle, leading to problems with some of these proposals and increasing the complexity of others. This paper reviews the proposals for monadic lenses to date, and offers some improved definitions, paying particular attention to the obstacles to naively adding monadic effects to existing definitions of pure bx such as lenses and symmetric lenses, and the subtleties of equivalence of symmetric bidirectional transformations in the presence of effects.

Published
2016
Full Text
View/download PDF

5. Notions of bidirectional computation and entangled state monads

Author

Abou-Saleh, Faris, Cheney, James, Gibbons, Jeremy, McKinna, James, and Stevens, Perdita

Subjects
Computer Science - Programming Languages, Computer Science - Software Engineering
Abstract

Bidirectional transformations (bx) support principled consistency maintenance between data sources. Each data source corresponds to one perspective on a composite system, manifested by operations to 'get' and 'set' a view of the whole from that particular perspective. Bx are important in a wide range of settings, including databases, interactive applications, and model-driven development. We show that bx are naturally modelled in terms of mutable state; in particular, the 'set' operations are stateful functions. This leads naturally to considering bx that exploit other computational effects too, such as I/O, nondeterminism, and failure, all largely ignored in the bx literature to date. We present a semantic foundation for symmetric bidirectional transformations with effects. We build on the mature theory of monadic encapsulation of effects in functional programming, develop the equational theory and important combinators for effectful bx, and provide a prototype implementation in Haskell along with several illustrative examples.

Published
2015
Full Text
View/download PDF

7. Introduction to Bidirectional Transformations

Author

Abou-Saleh, Faris, Cheney, James, Gibbons, Jeremy, McKinna, James, Stevens, Perdita, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Gibbons, Jeremy, editor, and Stevens, Perdita, editor

Published
2018
Full Text
View/download PDF

9. Is Bidirectionality Important?

Author

Stevens, Perdita, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Pierantonio, Alfonso, editor, and Trujillo, Salvador, editor

Published
2018
Full Text
View/download PDF

10. Teaching Modeling in Computer Science as an Ecosystem: A Provocative Analogy

Author

Gogolla, Martin and Stevens, Perdita

Abstract

Teaching modeling in computer science is complicated. Many factors contribute, and are related in diverse ways. We regard some combinations as more successful than others, but we also value diversity, and we struggle to elucidate the relationships and our value structure. Similar remarks apply to the study of biological ecosystems. This contribution views teaching modeling as an ecosystem: we push the analogy as far as we can, with the intention of provoking readers' thought in unaccustomed directions, which may perhaps lead to interesting advances. We identify the factors that contribute to the ecosystem and establish some relationships between the constituent factors. We discuss some of the factors that need further work and improvement. Finally, we discuss what it should mean for the ecosystem of the teaching of modeling to be healthy.

Published
2018
Full Text
View/download PDF

12. Integral forms for Weyl modules of GL(2,Q)

Author

Stevens, Perdita Emma

Subjects
510, QA Mathematics
Abstract

In this thesis we determine the integral forms in Weyl modules for GL(2,Q). We work with the Schur algebra exclusively; we do not use the Lie algebra of GL(2,Q). In Chapter 1 we give the necessary background. We begin to simplify the problem, using the known reduction of it to the problem of finding those integral forms which lie between certain limits -Y and V. Together with localisation at each prime p, this enables us to restrict our attention to the structure of X/Vp. We show that we can deduce the integral structure of any Weyl module from that of Weyl modules with highest weight (r, 0) for an integer r. We describe a duality which arises on X/Vp. In Chapter 2 we prove a rather surprising number-theoretic result which allows us to simplify the problem further. In Chapter 3 we arrive at a very simple characterisation of the integral forms, namely that they can be represented as those integer labellings of a particular graph, the scoreable set lattice, which satisfy a certain criterion. We exploit this to prove various general results about the structure of X/Vp. We show how it is possible, using our methods, to describe the structure of X/Vp in arbitrarily complicated cases in terms of simpler structures. In Chapter 4, we discuss the relevance of our work to the theory of modular Weyl modules, and we explain how our work relates to that of others.

Published
1992

13. Bidirectionally Tolerating Inconsistency: Partial Transformations

Author

Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gnesi, Stefania, editor, and Rensink, Arend, editor

Published
2014
Full Text
View/download PDF

14. Enforcing QVT-R with mu-Calculus and Games

Author

Bradfield, Julian, Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cortellessa, Vittorio, editor, and Varró, Dániel, editor

Published
2013
Full Text
View/download PDF

15. Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus

Author

Bradfield, Julian, Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Lara, Juan, editor, and Zisman, Andrea, editor

Published
2012
Full Text
View/download PDF

16. A Simple Game-Theoretic Approach to Checkonly QVT Relations

Author

Stevens, Perdita, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Paige, Richard F., editor

Published
2009
Full Text
View/download PDF

19. A Landscape of Bidirectional Model Transformations

Author

Stevens, Perdita, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Lämmel, Ralf, editor, Visser, Joost, editor, and Saraiva, João, editor

Published
2008
Full Text
View/download PDF

20. Towards an Algebraic Theory of Bidirectional Transformations

Author

Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ehrig, Hartmut, editor, Heckel, Reiko, editor, Rozenberg, Grzegorz, editor, and Taentzer, Gabriele, editor

Published
2008
Full Text
View/download PDF

21. Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions

Author

Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Engels, Gregor, editor, Opdyke, Bill, editor, Schmidt, Douglas C., editor, and Weil, Frank, editor

Published
2007
Full Text
View/download PDF

22. UML for Global Computing

Author

Baumeister, Hubert, Koch, Nora, Kosiuczenko, Piotr, Stevens, Perdita, Wirsing, Martin, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Priami, Corrado, editor

Published
2003
Full Text
View/download PDF

23. Games for UML Software Design

Author

Stevens, Perdita, Tenzer, Jennifer, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2003
Full Text
View/download PDF

25. UML and Concurrency

Author

Stevens, Perdita, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Börger, Egon, editor, Gargantini, Angelo, editor, and Riccobene, Elvinia, editor

Published
2003
Full Text
View/download PDF

29. Extreme Programming and Modelling? : Panel

Author

Stevens, Perdita, Boger, Marko, Mellor, Stephen, Wills, Alan Cameron, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Evans, Andy, editor, Kent, Stuart, editor, and Selic, Bran, editor

Published
2000
Full Text
View/download PDF

33. Reflections on Monadic Lenses

Author

Abou-Saleh, Faris, primary, Cheney, James, additional, Gibbons, Jeremy, additional, McKinna, James, additional, and Stevens, Perdita, additional

Published
2016
Full Text
View/download PDF

45. Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)

Author

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

Subjects
000 Computer science, knowledge, general works, Computer Science
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.

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results