Literate Model-Driven Cloud-Native Development with Object-Functional Paradigms for the AI Era
静的モデル・ハーネスは、ドメインの概念・関係・規則をモデルとして記述し、検査と実行へ接続する基盤です。本連載の第3回では、ソフトウェア工学で実用化された構成方法を活用し、AIによる生成・変更にも業務上の制約を働かせる仕組みを説明します。 Read More
2026-10-05
モデル・ハーネスは、ドメイン知識に近い表現でソフトウェアを記述し、処理系の検査と実行によって生成・変更を制約する基盤です。要求モデルとの対応を保持し、ソフトウェアが果たす目的も確認します。第3回では概念・関係・規則による静的な構造、第4回では状態機械を含む動的な振る舞いを具体化します。 Read More
2026-09-28
AI開発ハーネスは、AIによる解釈・探索・補完を、モデル、アーキテクチャ、実行、検証などソフトウェア工学の成果と結び付ける仕組みです。AIが補った判断を明示して確かめ、採用された意味をプログラムとランタイムで実行します。連載では異なるハーネスを組み合わせ、AIの新しい応用と開発の速さを業務アプリケーション級の開発へつなぐ方法を示します。
2026-09-21
ドメイン・モデルとアプリケーション・モデルは、同じ対象世界を異なる目的と関心から捉えます。対象世界の理解を蓄積するドメイン・モデルを、ニーズごとのアプリケーション・モデルから利用します。ユースケースシナリオを協調や相互作用によって具体化し、サービスやオペレーションへの対応を確認して、承認した実行可能モデルをCMLで記述します。
2026-09-14
第8回は、用語と概念を出発点に、コンテキスト、境界づけられたコンテキスト、ユビキタス言語を使って問題領域を分割し、オブジェクト・モデル、知識モデル、文芸モデルから一つのドメイン・モデルを組織する方法を扱います。SimpleModelingでは、生成AIがtextus-bokを通して文芸情報と知識モデルを参照し、オブジェクト・モデルを主として生成、更新します。開発者はtextus-cbd-supportが提供する可視化、差分、根拠、影響範囲、検証情報を使ってモデルをレビューし、フィードバックを生成AIへ返します。この反復的な開発ループによってモデルの妥当性を高めます。
2026-09-07