トランザクション :: SimpleModeling.org

識別情報

トランザクションとは、複数の状態変更を一つの実行境界として扱い、完了時には変更を確定し、失敗時には整合した状態へ戻せるようにするプラットフォーム機構です。

Not applicable。トランザクションはUMLのClassやObjectの分類を定義する概念ではありません。

CMLは操作の事前条件、事後条件、不変条件や状態変更を記述できます。具体的なトランザクション境界は、ドメイン上の意味とプラットフォーム上の実現を区別して設計します。

Scalaはトランザクション制御を実装できますが、言語の関数呼び出しや例外境界が自動的にトランザクション境界になるわけではありません。

simplemodeling-lib は状態、制約、結果を表す契約を提供しますが、単一の汎用トランザクション基盤をこの用語の正規定義とはしません。

日本語の動画では初出を「トランザクション(transaction)」とします。