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