実行制御

用語

実行制御

用語(英)

Execution Control

別名

-

識別情報

  • Term ID: src/main/doxsite/glossary/development-process/execution-control.dox

  • English label: Execution Control

  • Japanese label: 実行制御

  • Category: Development Process

  • Status: normative

  • Definition authority: SimpleModeling BoK

定義

実行制御とは、プログラムの開始、順序付け、並行実行、待機、再試行、中止、終了を調整するプラットフォーム機構です。

UML

UMLのActivity、StateMachine、Interactionは実行順序を表現できますが、実行制御というプラットフォーム機構そのものではありません。

CML

CMLはOperation、State、Constraint、Collaborationなどの意味を記述します。スレッド、ジョブ、再試行などの実行制御は、意味を保ったまま生成系と実行基盤へ分離します。

Scala

Scalaの関数、Future、Effect Systemなどは実行制御を実装できますが、特定のScala APIをこの概念と同一視しません。

simplemodeling-lib

simplemodeling-lib のProcess、Consequence、StateMachineなどは実行制御を支える契約に利用できます。実行基盤全体の制御方式はTextusなどの側が所有します。

公開成果物での用法

日本語の動画では初出を「実行制御(execution control)」とします。

境界

  • 実行制御はStateやStateMachineそのものではありません。

  • 実行制御はドメイン・モデルの意味を置き換えません。

関連語

  • プラットフォーム

  • 状態機械

  • 操作

  • Textus

参照

  • src/main/doxsite/glossary/development-process/platform.dox

  • /Users/asami/src/dev2025/simplemodeling-lib/src/main/scala/org/goldenport/statemachine/Model.scala

  • /Users/asami/src/dev2025/simplemodeling-lib/src/main/scala/org/goldenport/process/ShellCommandExecutor.scala

  • docs/spec/glossary-entry-format.md