論文の概要: Cr\`eme de la Crem: Composable Representable Executable Machines
(Architectural Pearl)
- arxiv url: http://arxiv.org/abs/2307.09090v1
- Date: Tue, 18 Jul 2023 09:17:13 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 17:13:01.260077
- Title: Cr\`eme de la Crem: Composable Representable Executable Machines
(Architectural Pearl)
- Title(参考訳): cr\`eme de la crem:構成可能な表現可能な実行可能な機械(建築真珠)
- Authors: Marco Perone and Georgios Karachalias
- Abstract要約: ソフトウェアアーキテクチャをステートマシンの構成として構築する方法を説明する。
定義上、我々のアプローチはモジュラーであり、独立したサブコンポーネントを構成することでより大きなシステムを構築することができる。
私たちはCremライブラリを導入し、コンポジションと表現可能な具体的ステートマシンの実装を提供します。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper we describe how to build software architectures as a
composition of state machines, using ideas and principles from the field of
Domain-Driven Design. By definition, our approach is modular, allowing one to
compose independent subcomponents to create bigger systems, and representable,
allowing the implementation of a system to be kept in sync with its graphical
representation.
In addition to the design itself we introduce the Crem library, which
provides a concrete state machine implementation that is both compositional and
representable, Crem uses Haskell's advanced type-level features to allow users
to specify allowed and forbidden state transitions, and to encode complex state
machine -- and therefore domain-specific -- properties. Moreover, since Crem's
state machines are representable, Crem can automatically generate graphical
representations of systems from their domain implementations.
- Abstract(参考訳): 本稿では、ドメイン駆動設計の分野からのアイデアと原則を用いて、ステートマシンの構成としてソフトウェアアーキテクチャを構築する方法について述べる。
定義上,本手法はモジュール構造であり,独立したサブコンポーネントを構成することでより大きなシステムを構築することができ,システムの実装をグラフィカルな表現と同期させることができる。
コンポジションと表現可能な具体的なステートマシン実装を提供するcremライブラリも導入しています。cremはhaskellの高度な型レベル機能を使用して、ユーザが許容される状態遷移と禁止状態遷移を指定できるようにし、複雑なステートマシン -- とドメイン固有の -- プロパティをエンコードできるようにしています。
さらに、cremのステートマシンは表現可能であるため、cremはドメインの実装から自動的にシステムのグラフィカルな表現を生成することができる。
関連論文リスト
- Automated Configuration Synthesis for Machine Learning Models: A git-Based Requirement and Architecture Management System [5.095988654970361]
この作業では、ソフトウェアコードとともにgitリポジトリ(T-Reqs)にアーティファクトとして格納されたテキスト要求からランタイム設定を自動的に生成するツールを導入している。
このツールは、T-Reqsでモデル化されたアーキテクチャ記述を利用して、人工知能(AI)対応ソフトウェアシステムのデプロイに必要な構成特性を特定する。
論文 参考訳(メタデータ) (2024-04-26T08:35:02Z) - AdaContour: Adaptive Contour Descriptor with Hierarchical Representation [52.381359663689004]
既存の角度ベースの輪郭記述子は、星以外の形状の損失表現に悩まされる。
AdaConは、他のディスクリプタよりも正確に形を表現できる。
論文 参考訳(メタデータ) (2024-04-12T07:30:24Z) - Local Features: Enhancing Variability Modeling in Software Product Lines [39.58317527488534]
製品構成中にシステムの特定の部分に選択的に適用するローカル機能を導入する。
ケーススタディは、局所的な特徴の概念が複雑なシステムの変数を定義するのにどう役立つかを示します。
論文 参考訳(メタデータ) (2024-03-23T12:17:54Z) - Extension of the Blackboard Architecture with Common Properties and
Generic Rules [0.76146285961466]
Blackboard Architectureは、データ、意思決定、アクティベーションを具現化するメカニズムを提供する。
組織、空間、その他の関係を直接モデル化する能力がない。
本稿では,共通プロパティと汎用ルールという,ブラックボードアーキテクチャに追加する2つの概念を提示し,評価する。
論文 参考訳(メタデータ) (2023-06-07T09:40:13Z) - Composer: Creative and Controllable Image Synthesis with Composable
Conditions [57.78533372393828]
ビッグデータで学んだ最近の大規模な生成モデルは、驚くべき画像を合成できるが、制御性は限られている。
この研究は、合成品質とモデルの創造性を維持しつつ、空間配置やパレットのような出力画像の柔軟な制御を可能にする新しい世代パラダイムを提供する。
論文 参考訳(メタデータ) (2023-02-20T05:48:41Z) - A Compositional Approach to Verifying Modular Robotic Systems [1.385411134620987]
本稿では,ロボットオペレーティング・システム(ROS)を用いたロボットシステムにおけるノードの特定のための構成的アプローチについて述べる。
我々は,これらのノードレベルの契約の構成を容易にする推論ルールを導入し,システムレベルの特性を導出する。
また、ノードのFOL仕様をキャプチャし、この契約を実装にリンクする新しいDomain-Specific Language、ROS Contract Languageも提示します。
論文 参考訳(メタデータ) (2022-08-10T18:01:40Z) - Composition Machines: Programming Self-Organising Software Models for
the Emergence of Sequential Program Spaces [0.0]
本稿では,そのようなモデルの定義と実行を可能にする,合成機械と呼ばれる抽象機械を提案する。
一般的な抽象機械とは異なり、提案手法は個々のプログラムを計算せず、一度に複数のプログラムが出現することを可能にする。
論文 参考訳(メタデータ) (2021-08-11T18:39:47Z) - High-performance symbolic-numerics via multiple dispatch [52.77024349608834]
Symbolics.jlは拡張可能なシンボルシステムで、動的多重ディスパッチを使用してドメインのニーズに応じて振る舞いを変更する。
実装に依存しないアクションでジェネリックapiを形式化することで、システムに最適化されたデータ構造を遡及的に追加できることを示します。
従来の用語書き換えシンプリファイアと電子グラフベースの用語書き換えシンプリファイアをスワップする機能を実証する。
論文 参考訳(メタデータ) (2021-05-09T14:22:43Z) - TransVG: End-to-End Visual Grounding with Transformers [102.11922622103613]
本稿では,画像に対して言語クエリを接地するタスクに対処するためのトランスフォーマティブベースのフレームワークであるtransvgを提案する。
複雑な核融合モジュールは、高い性能でトランスフォーマーエンコーダ層を単純なスタックで置き換えることができることを示す。
論文 参考訳(メタデータ) (2021-04-17T13:35:24Z) - Diverse Branch Block: Building a Convolution as an Inception-like Unit [123.59890802196797]
畳み込みニューラルネットワーク(Convolutional Neural Network、ConvNet)のユニバーサルビルディングブロックを提案し、推論時間コストなしでパフォーマンスを向上させる。
Diverse Branch Block(DBB)は、異なるスケールと複雑さの多様なブランチを組み合わせることで、単一の畳み込みの表現能力を高めます。
トレーニング後、DBBを単一のConv層に等価に変換してデプロイすることができる。
論文 参考訳(メタデータ) (2021-03-24T18:12:00Z) - An Overview of Recommender Systems and Machine Learning in Feature
Modeling and Configuration [55.67505546330206]
レコメンダーシステムおよび機械学習技術の適用に関連する潜在的な新しい研究ラインの概要を説明します。
本論文では,レコメンダーシステムと機械学習の応用例を示し,今後の研究課題について考察する。
論文 参考訳(メタデータ) (2021-02-12T17:21:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。