Formal Verification of Ecosystem Restoration Requirements using UML and Alloy

• URL: http://arxiv.org/abs/2405.20722v1
• Date: Fri, 31 May 2024 09:25:40 GMT
• Title: Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
• Authors: Tiago Sousa, Benoît Ries, Nicolas Guelfi,
• Abstract summary: United Nations have declared the current decade ( 2021-2030) as the "UN Decade on Ecosystem Restoration" This paper proposes a rigorous approach for ecosystem requirements modeling using formal methods from a model-driven engineering point of view. The concepts and activities of the approach are illustrated with CRESTO, a real-world running example of a restored Costa Rican ecosystem.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: United Nations have declared the current decade (2021-2030) as the "UN Decade on Ecosystem Restoration" to join R\&D forces to fight against the ongoing environmental crisis. Given the ongoing degradation of earth ecosystems and the related crucial services that they offer to the human society, ecosystem restoration has become a major society-critical issue. It is required to develop rigorously software applications managing ecosystem restoration. Reliable models of ecosystems and restoration goals are necessary. This paper proposes a rigorous approach for ecosystem requirements modeling using formal methods from a model-driven software engineering point of view. The authors describe the main concepts at stake with a metamodel in UML and introduce a formalization of this metamodel in Alloy. The formal model is executed with Alloy Analyzer, and safety and liveness properties are checked against it. This approach helps ensuring that ecosystem specifications are reliable and that the specified ecosystem meets the desired restoration goals, seen in our approach as liveness and safety properties. The concepts and activities of the approach are illustrated with CRESTO, a real-world running example of a restored Costa Rican ecosystem.

Related papers

• Model Developmental Safety: A Safety-Centric Method and Applications in Vision-Language Models [75.8161094916476]
  We study how to develop a pretrained vision-language model (aka the CLIP model) for acquiring new capabilities or improving existing capabilities of image classification. Our experiments on improving vision perception capabilities on autonomous driving and scene recognition datasets demonstrate the efficacy of the proposed approach.
  arXiv  Detail & Related papers  (2024-10-04T22:34:58Z)
• Benchmarks as Microscopes: A Call for Model Metrology [76.64402390208576]
  Modern language models (LMs) pose a new challenge in capability assessment. To be confident in our metrics, we need a new discipline of model metrology.
  arXiv  Detail & Related papers  (2024-07-22T17:52:12Z)
• Co-designing heterogeneous models: a distributed systems approach [0.40964539027092917]
  This paper presents a modelling approach tailored for heterogeneous systems based on three elements. An inferentialist interpretation of what a model is, a distributed systems metaphor and a co-design cycle describe the practical design and construction of the model. We explore the suitability of this method in the context of three different security-oriented models.
  arXiv  Detail & Related papers  (2024-07-10T13:35:38Z)
• Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation [9.08778846268903]
  Cyber-physical systems (CPS) are subject to environmental uncertainties such as adverse operating conditions, malicious attacks, and hardware degradation. CPS rely on two types of operations: (1) graceful degradation, to ensure that the system maintains an acceptable level of safety during unexpected environmental conditions and (2) recovery, to facilitate the resumption of normal system functions. We propose a self-adaptation approach for improving system resiliency through automated triggering and coordination of graceful degradation and recovery.
  arXiv  Detail & Related papers  (2024-01-18T02:04:37Z)
• Towards Autonomous Supply Chains: Definition, Characteristics, Conceptual Framework, and Autonomy Levels [47.009401895405006]
  Recent global disruptions, such as the pandemic and geopolitical conflicts, have profoundly exposed vulnerabilities in traditional supply chains. Recent global disruptions, such as the pandemic and geopolitical conflicts, have profoundly exposed vulnerabilities in traditional supply chains. Autonomous supply chains (ASCs) have emerged as a potential solution, offering increased visibility, flexibility, and resilience in turbulent trade environments.
  arXiv  Detail & Related papers  (2023-10-13T22:09:52Z)
• Circular Systems Engineering [0.40964539027092917]
  We introduce the concept of circular systems engineering, a novel paradigm for systems sustainability. We define two principles to successfully implement it: end-to-end sustainability and bipartite sustainability. We outline typical organizational evolution patterns that lead to the implementation and adoption of circularity principles.
  arXiv  Detail & Related papers  (2023-06-30T17:09:44Z)
• Ecosystem Graphs: The Social Footprint of Foundation Models [64.02855828418608]
  We propose Ecosystem Graphs as a documentation framework to transparently centralize knowledge of this ecosystem. Ecosystem Graphs is composed of assets (datasets, models, applications) linked together by dependencies that indicate technical (e.g. how Bing relies on GPT-4) and social (e.g. how Microsoft relies on OpenAI) relationships.
  arXiv  Detail & Related papers  (2023-03-28T07:18:29Z)
• On the Opportunities and Risks of Foundation Models [256.61956234436553]
  We call these models foundation models to underscore their critically central yet incomplete character. This report provides a thorough account of the opportunities and risks of foundation models. To tackle these questions, we believe much of the critical research on foundation models will require deep interdisciplinary collaboration.
  arXiv  Detail & Related papers  (2021-08-16T17:50:08Z)
• Reinforcement Learning with a Disentangled Universal Value Function for Item Recommendation [35.79993074465577]
  We develop a model-based reinforcement learning framework with a disentangled universal value function, called GoalRec. We demonstrate the superiority of GoalRec over previous approaches in terms of the above three practical challenges in a series of simulations and a real application.
  arXiv  Detail & Related papers  (2021-04-07T08:13:32Z)
• Leveraging traditional ecological knowledge in ecosystem restoration projects utilizing machine learning [77.34726150561087]
  Community engagement throughout the stages of ecosystem restoration projects could contribute to improved community well-being. We suggest that adaptive and scalable practices could incentivize interdisciplinary collaboration during all stages of ecosystemic ML restoration projects.
  arXiv  Detail & Related papers  (2020-06-22T16:17:48Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.