SimpleModeling

SimpleModelingの動的モデル・ハーネスは、モデル駆動開発の検査・実行基盤を使い、ソフトウェアの振る舞いとAIによる生成・変更を制約する枠組みです。処理の順序、状態遷移、失敗時の対応は、通常のプログラミングでも誤りが生じやすく、モデルで定義して動かすこと自体に価値があります。AI開発では、それに加えて、手続型コードに業務規則を埋め込む生成や、要求から外れた変更を抑えることが重要になります。本稿では、CML・Textusによるワークフローと状態機械の検査・直接実行、および要求モデルと実現モデルの接続を通じたハーネスを説明します。「モデル＝AI時代のプログラム」を、この枠組みによって実現します。

2026-10-12

静的モデル・ハーネスは、ドメインの概念・関係・規則をモデルとして記述し、検査と実行へ接続する基盤です。本連載の第3回では、ソフトウェア工学で実用化された構成方法を活用し、AIによる生成・変更にも業務上の制約を働かせる仕組みを説明します。

2026-10-05

モデル・ハーネスは、ドメイン知識に近い表現でソフトウェアを記述し、処理系の検査と実行によって生成・変更を制約する基盤です。要求モデルとの対応を保持し、ソフトウェアが果たす目的も確認します。第3回では概念・関係・規則による静的な構造、第4回では状態機械を含む動的な振る舞いを具体化します。

2026-09-28