Development Process
動的モデル・ハーネス — 業務の振る舞いを記述する
SimpleModelingの動的モデル・ハーネスは、モデル駆動開発の検査・実行基盤を使い、ソフトウェアの振る舞いとAIによる生成・変更を制約する枠組みです。処理の順序、状態遷移、失敗時の対応は、通常のプログラミングでも誤りが生じやすく、モデルで定義して動かすこと自体に価値があります。AI開発では、それに加えて、手続型コードに業務規則を埋め込む生成や、要求から外れた変更を抑えることが重要になります。本稿では、CML・Textusによるワークフローと状態機械の検査・直接実行、および要求モデルと実現モデルの接続を通じたハーネスを説明します。「モデル＝AI時代のプログラム」を、この枠組みによって実現します。 Read More
2026-10-12
Development Process
静的モデル・ハーネス — ドメインの構造を記述する
静的モデル・ハーネスは、ドメインの概念・関係・規則をモデルとして記述し、検査と実行へ接続する基盤です。本連載の第3回では、ソフトウェア工学で実用化された構成方法を活用し、AIによる生成・変更にも業務上の制約を働かせる仕組みを説明します。 Read More
2026-10-05
