2026年7月31日金曜日

Cozyモデル駆動開発/ユースケース/requires

›
本稿では、ユースケース間の関係の一つである requires（前提関係）を取り上げます。 requiresは、 あるユースケースを開始するために必要な状態を明示する その状態を成立させるユースケースを関連付ける ユースケース間の依存を契約として表現する ための関係です。 前回取り...
2026年6月30日火曜日

Cozyモデル駆動開発/ユースケース/triggers

›
本稿では、ユースケース間の関係の一つである triggers（トリガ関係）を取り上げます。 triggersは、 あるユースケースの実行や状態変化をきっかけにする 条件が成立した後に別のユースケースを起動する 同期的な手順ではなく、イベント駆動の連携として表現する ための関係です...
2026年5月31日日曜日

Cozyモデル駆動開発/ユースケース/precedes

›
本稿では、ユースケース間の関係の一つである precedes（先行関係）を取り上げます。 precedesは、 ユースケース同士を時間的に連結する シナリオを順序として構成する ための関係です。 precedes マージモード : Sequence マージ点 : After en...
2026年4月30日木曜日

Cozyモデル駆動開発/ユースケース/generalize-syntax

›
本稿では、ユースケース間のgeneralization関係を前提としたCMLの記述方法について整理します。 設計の前提 generalizationはユースケース間の関係を表すものです。 ここでは、 generalizationは「関係の宣言（マーク）」 として扱います。 一方で...
2026年3月31日火曜日

Cozyモデル駆動開発/ユースケース/generalize-realization

›
Pieris Books（ブックカフェ併設のセレクトショップ販売店）のシステム開発プロジェクトを進めています。 前回は、ユースケース間の generalize（汎化）を 契約（Pre/Post）の包含関係 状態遷移断片の精緻化 として定義しました。 本稿では、その general...
2026年2月28日土曜日

Cozyモデル駆動開発/ユースケース/generalize

›
Pieris Books（ブックカフェ併設のセレクトショップ販売店）のシステム開発プロジェクトを進めています。 要求モデルをCozyモデルとして定義する方法を検討しています。 現在はユースケース間の関係をCML（Cozy Modeling Language）でどのように記述するか...
2026年1月31日土曜日

Cozyモデル駆動開発/ユースケース/extend

›
Pieris Books(ブックカフェ併設のセレクトショップ販売店)のシステム開発のプロジェクトを進めています。 要求モデルをCozyモデルとして定義する方法について考えています。 ユースケース・モデルのユースケース・記述の基本情報と拡張情報の項目の洗い出しを行い、CML(Coz...