論文の概要: 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はドメインの実装から自動的にシステムのグラフィカルな表現を生成することができる。

関連論文リスト

• Designing and Implementing a Generator Framework for a SIMD Abstraction Library [53.84310825081338]
  SIMD抽象化ライブラリを生成するための新しいエンドツーエンドフレームワークであるTSLGenを提案する。 私たちのフレームワークは既存のライブラリに匹敵するもので、同じパフォーマンスを実現しています。
  論文  参考訳（メタデータ） (2024-07-26T13:25:38Z)
• Towards Living Software Architecture Diagrams [0.0]
  本稿では,ソフトウェアアーチファクトを解析し,それらを包括的システム表現に統一することにより,ソフトウェアシステムのアーキテクチャ図を生成するツールを提案する。 この表現は、更新時にダイアグラムに再統合されることを保証しながら、手動で修正することができる。
  論文  参考訳（メタデータ） (2024-07-25T12:31:52Z)
• Container Morphisms for Composable Interactive Systems [0.0]
  私は依存型を使ってリクエスト/レスポンスが一致することを保証し、このアイデアがコンテナのより広いコンテキストとそれらの射にどのように適合するかを示しています。 コンテナのカテゴリとそのモノノイド製品を使って、関数型プログラミングを模倣するコンテナ上のモナドを定義し、Kleeneスターを使って、同じシステムでステートフルなプロトコルを記述します。
  論文  参考訳（メタデータ） (2024-07-22T23:42:43Z)
• 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)
• Machine Learning-Enabled Software and System Architecture Frameworks [48.87872564630711]
  データサイエンスと機械学習に関連する関心事、例えばデータサイエンティストやデータエンジニアの利害関係者は、まだ既存のアーキテクチャフレームワークには含まれていない。 10か国25以上の組織から61名の被験者を対象に調査を行った。
  論文  参考訳（メタデータ） (2023-08-09T21:54:34Z)
• 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)
• An Overview of Recommender Systems and Machine Learning in Feature Modeling and Configuration [55.67505546330206]
  レコメンダーシステムおよび機械学習技術の適用に関連する潜在的な新しい研究ラインの概要を説明します。 本論文では,レコメンダーシステムと機械学習の応用例を示し,今後の研究課題について考察する。
  論文  参考訳（メタデータ） (2021-02-12T17:21:36Z)

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

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