The Future of Programming and Modelling: A Vision

Perdita Stevens

doi:10.1007/978-3-030-89159-6_23

The Future of Programming and Modelling: A Vision

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

What is the future of programming, and what does it have to do with modelling? In this paper we will first argue that, despite impressive achievements, software development now suffers from a capacity crisis which cannot be alleviated by programming as currently conceived. Rather, it is necessary to democratise the development of software: stake-holders who are not software specialists must, somehow, be empowered to take more of the decisions about how the software they use shall behave. We will suggest that a potential way to achieve this is that software should be delivered in the form of a collection of models, each expressed in a (domain-specific) language appropriate to its intended users, and all connected by bidirectional transformations. We emphasise the pragmatic need to accommodate a heterogeneous collection of formalisms so that solutions can incorporate pre-existing transformations, with automatic “fixing up” of their results as necessary. We discuss the advances that are needed to make this a reality, and some early progress in this direction.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Publisher	Springer
Pages	357-377
Number of pages	21
ISBN (Electronic)	978-3-030-89159-6
ISBN (Print)	978-3-030-89158-9
DOIs	https://doi.org/10.1007/978-3-030-89159-6_23
Publication status	Published - 12 Oct 2021
Event	9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Rhodes, Greece Duration: 17 Oct 2021 → 29 Oct 2021 http://isola-conference.org/isola2021/

Publication series

Name	Lecture Notes in Computer Science
Volume	13036
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Symposium

Symposium	9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated title	ISoLA 2021
Country/Territory	Greece
City	Rhodes
Period	17/10/21 → 29/10/21
Internet address	http://isola-conference.org/isola2021/

Keywords / Materials (for Non-textual outputs)

programming
modelling
bidirectional transformation
consistency maintenance

Access to Document

10.1007/978-3-030-89159-6_23Licence: All Rights Reserved

The Future of Programming_STEVENS_DOA02082021_AFVAccepted author manuscript, 302 KBLicence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-030-89159-6_23Licence: All Rights Reserved

Mechanising the Theory of Build Systems
Mckinna, J.
UK central government bodies/local authorities, health and hospital authorities
1/06/19 → 31/03/20
Project: Research

Cite this

@inproceedings{7415a84dcbc74fb9a5bae229b0ca1d4a,

title = "The Future of Programming and Modelling: A Vision",

abstract = "What is the future of programming, and what does it have to do with modelling? In this paper we will first argue that, despite impressive achievements, software development now suffers from a capacity crisis which cannot be alleviated by programming as currently conceived. Rather, it is necessary to democratise the development of software: stake-holders who are not software specialists must, somehow, be empowered to take more of the decisions about how the software they use shall behave. We will suggest that a potential way to achieve this is that software should be delivered in the form of a collection of models, each expressed in a (domain-specific) language appropriate to its intended users, and all connected by bidirectional transformations. We emphasise the pragmatic need to accommodate a heterogeneous collection of formalisms so that solutions can incorporate pre-existing transformations, with automatic “fixing up” of their results as necessary. We discuss the advances that are needed to make this a reality, and some early progress in this direction.",

keywords = "programming, modelling, bidirectional transformation, consistency maintenance",

author = "Perdita Stevens",

year = "2021",

month = oct,

day = "12",

doi = "10.1007/978-3-030-89159-6_23",

language = "English",

isbn = "978-3-030-89158-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "357--377",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

note = "9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2021 ; Conference date: 17-10-2021 Through 29-10-2021",

url = "http://isola-conference.org/isola2021/",

}

Stevens, P 2021, The Future of Programming and Modelling: A Vision. in Leveraging Applications of Formal Methods, Verification and Validation. Lecture Notes in Computer Science, vol. 13036, Springer, pp. 357-377, 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Rhodes, Greece, 17/10/21. https://doi.org/10.1007/978-3-030-89159-6_23

TY - GEN

T1 - The Future of Programming and Modelling: A Vision

AU - Stevens, Perdita

PY - 2021/10/12

Y1 - 2021/10/12

N2 - What is the future of programming, and what does it have to do with modelling? In this paper we will first argue that, despite impressive achievements, software development now suffers from a capacity crisis which cannot be alleviated by programming as currently conceived. Rather, it is necessary to democratise the development of software: stake-holders who are not software specialists must, somehow, be empowered to take more of the decisions about how the software they use shall behave. We will suggest that a potential way to achieve this is that software should be delivered in the form of a collection of models, each expressed in a (domain-specific) language appropriate to its intended users, and all connected by bidirectional transformations. We emphasise the pragmatic need to accommodate a heterogeneous collection of formalisms so that solutions can incorporate pre-existing transformations, with automatic “fixing up” of their results as necessary. We discuss the advances that are needed to make this a reality, and some early progress in this direction.

AB - What is the future of programming, and what does it have to do with modelling? In this paper we will first argue that, despite impressive achievements, software development now suffers from a capacity crisis which cannot be alleviated by programming as currently conceived. Rather, it is necessary to democratise the development of software: stake-holders who are not software specialists must, somehow, be empowered to take more of the decisions about how the software they use shall behave. We will suggest that a potential way to achieve this is that software should be delivered in the form of a collection of models, each expressed in a (domain-specific) language appropriate to its intended users, and all connected by bidirectional transformations. We emphasise the pragmatic need to accommodate a heterogeneous collection of formalisms so that solutions can incorporate pre-existing transformations, with automatic “fixing up” of their results as necessary. We discuss the advances that are needed to make this a reality, and some early progress in this direction.

KW - programming

KW - modelling

KW - bidirectional transformation

KW - consistency maintenance

U2 - 10.1007/978-3-030-89159-6_23

DO - 10.1007/978-3-030-89159-6_23

M3 - Conference contribution

SN - 978-3-030-89158-9

T3 - Lecture Notes in Computer Science

SP - 357

EP - 377

BT - Leveraging Applications of Formal Methods, Verification and Validation

PB - Springer

T2 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 17 October 2021 through 29 October 2021

ER -

The Future of Programming and Modelling: A Vision

Abstract / Description of output

Publication series

Symposium

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Projects

Mechanising the Theory of Build Systems

Cite this