論文の概要: ConStaBL -- A Fresh Look at Software Engineering with State Machines
- arxiv url: http://arxiv.org/abs/2307.03790v2
- Date: Tue, 11 Jul 2023 06:21:44 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 18:04:54.336792
- Title: ConStaBL -- A Fresh Look at Software Engineering with State Machines
- Title（参考訳）: ConStaBL - ステートマシンによるソフトウェアエンジニアリングの新たな展望
- Authors: Karthika Venkatesan, Sujit Kumar Chakrabarti
- Abstract要約: 本報告では,ステートチャートの操作的セマンティクスの更新について述べる。
我々のセマンティクスは、シミュレーションにおける遷移競合を許さず、ステートチャートの他のほとんどのセマンティクスよりも厳格である。
Statechartモデルのファジテストを行うための予備的なセットアップを提案する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Statechart is a visual modelling language for systems. In this paper, we
extend our earlier work on modular statecharts with local variables and present
an updated operational semantics for statecharts with concurrency. Our variant
of the statechart has local variables, which interact significantly with the
remainder of the language semantics. Our semantics does not allow transition
conflicts in simulations and is stricter than most other available semantics of
statecharts in that sense. It allows arbitrary interleaving of concurrently
executing action code, which allows more precise modelling of systems and
upstream analysis of the same. We present the operational semantics in the form
of the simulation algorithm. We also establish the criteria based on our
semantics for defining conflicting transitions and valid simulations. Our
semantics is executable and can be used to simulate statechart models and
verify their correctness. We present a preliminary setup to carry out fuzz
testing of Statechart models, an idea that does not seem to have a precedent in
literature. We have used our simulator in conjunction with a well-known fuzzer
to do fuzz testing of statechart models of non-trivial sizes and have found
issues in them that would have been hard to find through inspection.
- Abstract（参考訳）: Statechartはシステムのためのビジュアルモデリング言語である。
本稿では,モジュール型状態チャートをローカル変数で拡張し,並行性を持つ状態チャートの操作セマンティクスの更新を行う。
私たちのstatechartの変種はローカル変数を持ち、言語セマンティクスの残りの部分と非常に相互作用します。
私たちのセマンティクスは、シミュレーションにおける遷移競合を許さず、その意味で利用可能なステートチャートの他のほとんどのセマンティクスよりも厳格です。
これにより、同時実行されるアクションコードの任意のインターリーブが可能になり、システムのより正確なモデリングと上流解析が可能になる。
本稿では,シミュレーションアルゴリズムの形式で操作意味論を示す。
また、矛盾する遷移と有効なシミュレーションを定義するためのセマンティクスに基づいた基準を確立する。
私たちのセマンティクスは実行可能で、ステートチャートモデルをシミュレートし、その正確性を検証するために使用できます。
本稿では,前例のない状態チャートモデルのファズテストを行うための予備的な設定を提案する。
私たちはシミュレーターを有名なfuzzerと組み合わせて、非自明なサイズのstatechartモデルのファズテストを行い、検査によって見つけるのが難しい問題を見つけました。
関連論文リスト
- NAVSIM: Data-Driven Non-Reactive Autonomous Vehicle Simulation and Benchmarking [65.24988062003096]
我々は,視覚に基づく運転ポリシーをベンチマークするフレームワークであるNAVSIMを提案する。
我々のシミュレーションは非反応性であり、評価された政策と環境は互いに影響を与えない。
NAVSIMはCVPR 2024で開催され、143チームが433のエントリーを提出し、いくつかの新たな洞察を得た。
論文 参考訳（メタデータ） (2024-06-21T17:59:02Z) - Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI [65.04274914674771]
アメリカ心理学会(APA)によると、現在のLarge Language Models(LLM)は「フィーリング」ができない。
我々の分析は、モデルがユーザに見えない非自明な計算を実行できるようにする可能性のある設計に光を当てている。
論文 参考訳（メタデータ） (2024-05-22T23:18:58Z) - Context-Aware Meta-Learning [52.09326317432577]
本研究では,大規模言語モデルのエミュレートを行うメタ学習アルゴリズムを提案する。
我々のアプローチは、11のメタラーニングベンチマークのうち8つで最先端のアルゴリズムであるP>M>Fを上回り、一致します。
論文 参考訳（メタデータ） (2023-10-17T03:35:27Z) - Learning Hybrid Dynamics Models With Simulator-Informed Latent States [7.801959219897031]
そこで我々は,シミュレーションを用いて学習モデルの潜伏状態を通知するハイブリッドモデリング手法を提案する。
これにより、シミュレータを介して予測を制御することで、エラーの蓄積を防ぐことができる。
学習に基づく設定では、シミュレータを通して潜在状態を推測するダイナミクスとオブザーバを共同で学習する。
論文 参考訳（メタデータ） (2023-09-06T09:57:58Z) - Infusing Commonsense World Models with Graph Knowledge [89.27044249858332]
オープンワールドテキストアドベンチャーゲームにおける物語生成の設定について検討する。
基礎となるゲーム状態のグラフ表現は、接地グラフ表現と自然言語記述とアクションの両方を消費し出力するモデルを訓練するために使用することができる。
論文 参考訳（メタデータ） (2023-01-13T19:58:27Z) - Distributed Bayesian Learning of Dynamic States [65.7870637855531]
提案アルゴリズムは有限状態隠れマルコフモデルに対する分散ベイズフィルタタスクである。
逐次状態推定や、動的環境下でのソーシャルネットワーク上での意見形成のモデル化に使用できる。
論文 参考訳（メタデータ） (2022-12-05T19:40:17Z) - TokenFlow: Rethinking Fine-grained Cross-modal Alignment in
Vision-Language Retrieval [30.429340065755436]
我々は, 細粒度クロスモーダルアライメントのためのモデルに依存しない新しい定式化を考案した。
最適輸送理論に着想を得て,提案手法のインスタンス化であるemphTokenFlowを紹介した。
論文 参考訳（メタデータ） (2022-09-28T04:11:05Z) - A model-based framework for learning transparent swarm behaviors [6.310689648471231]
本稿では,ロボット群に対する理解可能かつ検証可能な行動を設計するためのモデルベースフレームワークを提案する。
このフレームワークは4つのケーススタディでテストされ、アグリゲーションとフォージングタスクが特徴だ。
論文 参考訳（メタデータ） (2021-03-09T10:45:57Z) - Task-Oriented Dialogue as Dataflow Synthesis [158.77123205487334]
本稿では,対話状態がデータフローグラフとして表現されるタスク指向対話へのアプローチについて述べる。
対話エージェントは、各ユーザの発話を、このグラフを拡張するプログラムにマッピングする。
我々は、イベント、天気、場所、人々に関する複雑な対話を特徴とする、新しいデータセットであるSMCalFlowを紹介した。
論文 参考訳（メタデータ） (2020-09-24T00:35:26Z) - Learning Discrete State Abstractions With Deep Variational Inference [7.273663549650618]
状態抽象化の一種である近似バイシミュレーションを学習する手法を提案する。
我々はディープ・ニューラルエンコーダを使って状態を連続的な埋め込みにマッピングする。
我々はこれらの埋め込みを、アクション条件付き隠れマルコフモデルを用いて離散表現にマッピングする。
論文 参考訳（メタデータ） (2020-03-09T17:58:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。