論文の概要: 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モデルのファズテストを行い、検査によって見つけるのが難しい問題を見つけました。
関連論文リスト
- Meaning Representations from Trajectories in Autoregressive Models [106.63181745054571]
入力テキストを拡張可能なすべてのトラジェクトリの分布を考慮し,自己回帰言語モデルから意味表現を抽出する。
この戦略はプロンプトフリーであり、微調整は必要とせず、事前訓練された自己回帰モデルにも適用できる。
我々は,大規模なモデルから得られた表現が人間のアノテーションとよく一致し,意味的類似性タスクにおける他のゼロショットおよびプロンプトフリーメソッドよりも優れており,標準埋め込みが扱えないより複雑なエンタテインメントや包含タスクの解決に使用できることを実証的に示す。
論文 参考訳(メタデータ) (2023-10-23T04:35: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) - Evidence of Meaning in Language Models Trained on Programs [5.892876463573452]
我々は,テキスト上で次のトークン予測を行うためにのみ訓練された言語モデルが意味を学習できることを示す。
まず、プログラムのコーパス上でTransformerモデルをトレーニングし、指定したプログラムを完了すると、トレーニングされたモデルの隠れた状態を探索する。
プローブの精度と、仕様を実装するプログラムを生成するモデルの能力との間には、強く統計的に有意な相関関係がある。
論文 参考訳(メタデータ) (2023-05-18T17:58:08Z) - 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) - Likelihood-Free Inference in State-Space Models with Unknown Dynamics [71.94716503075645]
本研究では、状態空間モデルにおいて、観測をシミュレートすることしかできず、遷移ダイナミクスが不明な潜在状態の推測と予測を行う手法を提案する。
本研究では,限られた数のシミュレーションで状態予測と状態予測を行う手法を提案する。
論文 参考訳(メタデータ) (2021-11-02T12:33:42Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。