日本財団 図書館


7.2.109.4. Voyage_schedule

Voyage_scheduleは船が航海している間の予想または実績をあらわすTime_schedule(7.2.102参照)について記述している。Voyage_scheduleは詳細の航路を定義する必要はない。

 

7.3. Application Assertions (MES)

本節では船の機械装置システムアプリケーションプロトコルに関するアプリケーションアサーションを記述する。アプリケーションアサーションはアプリケーションオブジェクト間の関係、関係の基本、及びアプリケーションオブジェクトと機能単位の完全性、正当性に要求される規則について記述する。アプリケーションアサーションとその定義を以下に示す。

 

7.3.1 Approval_event to Approval_history

各々のApprpval_eventはただ一つのApproval_historyに関するapproval_referenceを定義する。

各々のApproval_historyは一つ以上のApproval_eventオブジェクトの連続したリストによって定義されたapprovalsを持つ。

 

7.3.2 Approval_history to Approval_event

各々のApproval_historyは一つ以上のApproval_eventオブジェクトの連続したリストによって定義されたapprovalsを持つ。各々のApproval_eventはただ一つのApproval_historyに関するapproval_referenceを定義する。

 

7.3.3 Approval_history to Definition

各々のApproval_historyはただ一つのDefinitionによって定義されたsubjectを持つ。各々のDefinitionはゼロもしくは一つ以上のApproval_historyオブジェクトに関するsubjectを定義する。

 

7.3.4 Class_BSU to Supplier_BSU

各々のClass_BSUはただ一つのSupplier_BSUを参照する。Supplier_BSUはClass_BSUに関するdelivered_byを定義する。

 

7.3.5 Definable_object to Definition

各々のDefinable_objectはゼロもしくは一つ以上のDefinitionオブジェクトによって定義されたdeffinitionsを持つ。各々のDefinitionはゼロもしくは一つ以上のDefinable_objectオブジェクトに関するdefinitionsを定義する。

 

7.3.6 Definable_object to Global_id

各々のDefinable_objectはただ一つのGlobal_idによって定義されたidを持つ。各々のGlobal_idはゼロもしくは一つ以上のDefinable_objectオブジェクトに関するidを定義する。

 

7.3.7 Definition to Definable_object

各々のDefinitionは一つ以上のDefinable_objectオブジェクトによって定義されたdefined_forを持つ。各々のDefinable_objectは一つ以上のDefinitionオブジェクトに関するdefinitionsを定義する。

 

 

 

前ページ   目次へ   次ページ

 






日本財団図書館は、日本財団が運営しています。

  • 日本財団 THE NIPPON FOUNDATION