Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
复制标题
利用形式化方法的应用、验证和确认 - 第 10 届形式化方法的利用应用国际研讨会，ISoLA 2021，希腊罗德岛，2021 年 10 月 17-29 日，论文集
DOI：
10.1007/978-3-030-89159-6_23
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Stevens P
中科院分区：
文献类型：
--
作者：
Stevens P
编程的未来是什么，它与建模有什么关系？在本文中，我们将首先认为，尽管取得了令人印象深刻的成就，软件开发现在遭受能力危机，这不能缓解目前设想的编程。相反，有必要使软件开发民主化：非软件专家的利益相关者必须以某种方式被授权对他们使用的软件的行为方式做出更多的决定。我们将建议实现这一点的一种潜在方法是，软件应该以模型集合的形式交付，每个模型都以适合其预期用户的（特定于域的）语言表示，并且所有模型都通过双向转换连接。我们强调，务实的需要，以适应一个异构的形式主义的集合，使解决方案可以将预先存在的转换，自动“修复”的结果是必要的。我们讨论了实现这一目标所需的进展，以及在这一方向上的一些早期进展。
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 acapacity crisiswhich cannot be alleviated by programming as currently conceived. Rather, it is necessary to democratise the development of software: stakeholders 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.