論文の概要: Formal Verification of Ecosystem Restoration Requirements using UML and Alloy

• arxiv url: http://arxiv.org/abs/2405.20722v1
• Date: Fri, 31 May 2024 09:25:40 GMT
• ステータス: 処理完了
• システム内更新日: 2024-06-03 14:57:18.157696
• Title: Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
• Title（参考訳）: UMLと合金を用いた生態系修復要件の形式的検証
• Authors: Tiago Sousa, Benoît Ries, Nicolas Guelfi,
• Abstract要約: 国連は、現在の10年間(2021-2030年)を「生態系再生に関する国連の10年」と宣言した。 本稿では,モデル駆動工学の観点から形式的手法を用いた生態系要求モデリングのための厳密なアプローチを提案する。 このアプローチの概念とアクティビティは、修復されたCosta Ricanエコシステムの現実的な実行例であるCRESTOで説明されています。
• 参考スコア（独自算出の注目度）: 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.
• Abstract（参考訳）: 国連は、現在の10年間(2021-2030年)を、進行中の環境危機に対抗するためにR&D軍に加わるための「生態系回復に関する国連の10年」と宣言した。 地球生態系の継続的な衰退と、それらが人間社会に提供している重要なサービスを考えると、生態系の回復は社会にとって重要な問題となっている。 生態系の回復を管理する厳格なソフトウェアアプリケーションを開発する必要がある。 生態系の信頼性の高いモデルと復元目標が必要である。 本稿では,モデル駆動ソフトウェア工学の観点から形式的手法を用いた生態系要求モデリングのための厳密なアプローチを提案する。 著者らはUMLのメタモデルにまつわる主要な概念を説明し、アロイのメタモデルの形式化を紹介します。 フォーマルモデルはアロイアナライザーで実行され、それに対して安全性と生活性を確認する。 このアプローチは,生態系の仕様が信頼性が高く,特定のエコシステムが望まれる修復目標を満たすことを保証する上で有効である。 このアプローチの概念とアクティビティは、修復されたCosta Ricanエコシステムの現実的な実行例であるCRESTOで説明されています。

関連論文リスト

• Model Developmental Safety: A Safety-Centric Method and Applications in Vision-Language Models [75.8161094916476]
  本稿では,既存の画像分類能力向上のために,事前学習された視覚言語モデル(別名CLIPモデル)の開発方法について検討する。 自律走行とシーン認識データセットにおける視覚知覚能力の向上に関する実験は,提案手法の有効性を実証するものである。
  論文  参考訳（メタデータ） (2024-10-04T22:34:58Z)
• Benchmarks as Microscopes: A Call for Model Metrology [76.64402390208576]
  現代の言語モデル(LM)は、能力評価において新たな課題を提起する。 メトリクスに自信を持つためには、モデルミアロジの新たな規律が必要です。
  論文  参考訳（メタデータ） (2024-07-22T17:52:12Z)
• Co-designing heterogeneous models: a distributed systems approach [0.40964539027092917]
  本稿では3つの要素に基づく異種システムに適したモデリング手法を提案する。 モデルとは何かという推論主義的な解釈、分散システムのメタファ、そして協調設計サイクルは、モデルの実践的な設計と構築を記述している。 本手法の適合性について,3つの異なるセキュリティ指向モデルを用いて検討する。
  論文  参考訳（メタデータ） (2024-07-10T13:35:38Z)
• Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation [9.08778846268903]
  サイバー物理システム(CPS)は、悪質な操作条件、悪意のある攻撃、ハードウェアの劣化などの環境不確実性にさらされている。 CPSは,(1)優雅な劣化,(2)予期せぬ環境条件下での安全性の維持,(2)正常なシステム機能の再開を促進するための回復,の2つの操作に頼っている。 本稿では,自動トリガーによる自己適応型システムレジリエンス向上手法を提案する。
  論文  参考訳（メタデータ） (2024-01-18T02:04:37Z)
• Towards Autonomous Supply Chains: Definition, Characteristics, Conceptual Framework, and Autonomy Levels [47.009401895405006]
  パンデミックや地政学的な紛争など最近の世界的な混乱は、伝統的なサプライチェーンの脆弱性を著しく暴露している。 パンデミックや地政学的な紛争など最近の世界的な混乱は、伝統的なサプライチェーンの脆弱性を著しく暴露している。 自律的なサプライチェーン(ASC)が潜在的なソリューションとして登場し、乱流貿易環境における可視性、柔軟性、レジリエンスを高めている。
  論文  参考訳（メタデータ） (2023-10-13T22:09:52Z)
• Circular Systems Engineering [0.40964539027092917]
  本稿では,システムサステナビリティの新たなパラダイムである循環システム工学の概念を紹介する。 エンド・ツー・エンド・サステナビリティとバイパーティイト・サステナビリティの2つの原則を定義します。 循環原理の実装と導入につながる典型的な組織進化パターンを概説する。
  論文  参考訳（メタデータ） (2023-06-30T17:09:44Z)
• Ecosystem Graphs: The Social Footprint of Foundation Models [64.02855828418608]
  このエコシステムの知識を透過的に集中化するためのドキュメンテーションフレームワークとして,Ecosystem Graphsを提案する。 Ecosystem Graphs は、技術的(例えば Bing は GPT-4 に依存している)と社会的(例えば Microsoft は OpenAI に依存している)の関係を示す依存関係によってリンクされた資産(データセット、モデル、アプリケーション)で構成されている。
  論文  参考訳（メタデータ） (2023-03-28T07:18:29Z)
• On the Opportunities and Risks of Foundation Models [256.61956234436553]
  これらのモデルの基礎モデルは、批判的に中心的だが不完全な性格を根底から立証するものです。 本報告では,基礎モデルの可能性とリスクについて概説する。 これらの疑問に対処するためには、基礎モデルに関する重要な研究の多くは、深い学際的なコラボレーションが必要であると信じている。
  論文  参考訳（メタデータ） (2021-08-16T17:50:08Z)
• Reinforcement Learning with a Disentangled Universal Value Function for Item Recommendation [35.79993074465577]
  我々は、goalrecと呼ばれる不連続な普遍値関数を持つモデルベース強化学習フレームワークを開発した。 本稿では,一連のシミュレーションと実応用の3つの実践的課題の観点から,従来のアプローチよりもGoalRecの方が優れていることを示す。
  論文  参考訳（メタデータ） (2021-04-07T08:13:32Z)
• Leveraging traditional ecological knowledge in ecosystem restoration projects utilizing machine learning [77.34726150561087]
  生態系修復プロジェクトの段階におけるコミュニティの関与は、コミュニティの健康改善に寄与する可能性がある。 適応的でスケーラブルなプラクティスは、エコシステム的なML修復プロジェクトのすべての段階において、学際的なコラボレーションを動機付けることができることを示唆している。
  論文  参考訳（メタデータ） (2020-06-22T16:17:48Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。