知財求人 - 知財ポータルサイト「IP Force」
特許7396314コンテントの出力制御装置、出力制御方法及び出力制御プログラム
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】特許公報(B2)
(11)【特許番号】
(24)【登録日】2023-12-04
(45)【発行日】2023-12-12
(54)【発明の名称】コンテントの出力制御装置、出力制御方法及び出力制御プログラム
(51)【国際特許分類】
G06F 3/04842 20220101AFI20231205BHJP
G09G 5/00 20060101ALI20231205BHJP
B60R 16/02 20060101ALN20231205BHJP
【ＦＩ】
G06F3/04842
G09G5/00 555M
G09G5/00 555P
G09G5/00 550X
B60R16/02 640K
【請求項の数】
6
(21)【出願番号】P 2021028655
(22)【出願日】2021-02-25
(65)【公開番号】P2022129819
(43)【公開日】2022-09-06
【審査請求日】2023-02-01
(73)【特許権者】
【識別番号】000004260
【氏名又は名称】株式会社デンソー
(74)【代理人】
【識別番号】110000567
【氏名又は名称】弁理士法人サトー
(72)【発明者】
【氏名】角田 悠花里
(72)【発明者】
【氏名】手嶋 健太郎
(72)【発明者】
【氏名】川嶋 大義
(72)【発明者】
【氏名】近藤 卓哉
【審査官】佐賀野 秀一
(56)【参考文献】
【文献】特開２０２０－１０６９９２（ＪＰ，Ａ）
【文献】特開２００９－２２９１７２（ＪＰ，Ａ）
【文献】特開２０００－０５６８２６（ＪＰ，Ａ）
(58)【調査した分野】(Int.Cl.，ＤＢ名)
Ｇ０６Ｆ ３／０４８４２
Ｇ０９Ｇ ５／００
Ｂ６０Ｒ １６／０２
(57)【特許請求の範囲】
【請求項1】
エリア又はゾーンにコンテントを割り当てる場合の基本的な調停を定義した調停ポリシーと、制約式とを含むルール定義を記憶する記憶部（１２）と、アプリケーションからの出力要求を受け付けると、前記ルール定義にしたがってルールベース調停を満たすようにコンテントの調停を行う調停部（１３）と、
前記調停部によりコンテントの調停が行われたことで前記エリア又は前記ゾーンに割り当てられたコンテントの出力を制御する出力制御部（１４）と、を備え、
前記調停部は、エリア又はゾーンの再調停を行った場合に、その再調停を行ったことによって影響を与えた影響エリアとして特定したエリア又は影響ゾーンとして特定したゾーンの再調停を行うコンテントの出力制御装置。
【請求項2】
前記調停部は、制約式を評価した評価結果を解析し、前記影響エリア又は前記影響ゾーンを特定する請求項１に記載したコンテントの出力制御装置。
【請求項3】
前記調停部は、アプリケーションからの出力要求を受け付ける前に、制約式を評価した評価結果を解析し、前記影響エリア又は前記影響ゾーンを特定しておく請求項２に記載したコンテントの出力制御装置。
【請求項4】
前記調停部は、前記影響エリアとして特定したエリア又は前記影響ゾーンとして特定したゾーンの再調停を１回のみ行う請求項１から３の何れか一項に記載したコンテントの出力制御装置。
【請求項5】
エリア又はゾーンにコンテントを割り当てる場合の基本的な調停を定義した調停ポリシーと、制約式とを含むルール定義を記憶する記憶部（１２）を備えるコンテントの出力制御装置（１０）において、アプリケーションからの出力要求を受け付けると、前記ルール定義にしたがってルールベース調停を満たすようにコンテントの調停を行う調停手順と、
前記調停手順によりコンテントの調停が行われたことで前記エリア又は前記ゾーンに割り当てられたコンテントの出力を制御する出力制御手順と、
エリア又はゾーンの再調停を行った場合に、その再調停を行ったことによって影響を与えた影響エリアとして特定したエリア又は影響ゾーンとして特定したゾーンの再調停を行う再調停手順と、を行うコンテントの出力制御方法。
【請求項6】
エリア又はゾーンにコンテントを割り当てる場合の基本的な調停を定義した調停ポリシーと、制約式とを含むルール定義を記憶する記憶部（１２）を備えるコンテントの出力制御装置（１０）に、アプリケーションからの出力要求を受け付けると、前記ルール定義にしたがってルールベース調停を満たすようにコンテントの調停を行う調停手順と、
前記調停手順によりコンテントの調停が行われたことで前記エリア又は前記ゾーンに割り当てられたコンテントの出力を制御する出力制御手順と、
エリア又はゾーンの再調停を行った場合に、その再調停を行ったことによって影響を与えた影響エリアとして特定したエリア又は影響ゾーンとして特定したゾーンの再調停を行う再調停手順と、を実行させるコンテントの出力制御プログラム。
【発明の詳細な説明】
【技術分野】
【0001】
本発明は、コンテントの出力制御装置、出力制御方法及び出力制御プログラムに関する。
【背景技術】
【0002】
ルールベース調停（参考文献：調停ロジック仕様書、ルールベース構文定義書）では、ワンパスロジックによりエリア又はゾーンの価値の高い順に調停対象とし、エリア毎又はゾーン毎にコンテントを割り当てていく。コンテントを割り当てた後に制約式を評価し、全ての制約式が真となれば、コンテントの割り当てが成功となり、何れかの制約式が偽であれば、次のコンテントを割り当てて制約式を評価し直す。エリア又はゾーンでコンテントが割り当たる、又は割り当てられるコンテントがなかった場合は、次のエリア又はゾーンに移る。これでは右辺と左辺に重みがなく、「左辺が成立した後で、右辺を成立させたい」という仕様開発者の意図通りの結果を得られない場合がある。一方、特許文献１では、制約式の左辺が成立しており、右辺が決定済みの場合に、右辺のエリア又はゾーンの再調停を行うロジックを用いている。
【先行技術文献】
【特許文献】
【0003】
【文献】特開２０２０－３６４９号公報
【発明の概要】
【発明が解決しようとする課題】
【0004】
しかしながら、特許文献１に開示されている調停ロジックでは、依然として仕様開発者の意図通りの結果を得られない場合がある。なぜならば、再調停を行ったことによってエリア又はゾーンの状態が変化した時に、その再調停を行ったエリア又はゾーンの再調停前の状態によって制約を受けていたエリア又はゾーンは制約が解消されることになるが、その解消された制約を加味した結果を得ることができないからである。このような事情から、再調停を行ったことによってエリア又はゾーンの状態が変化した時に、その再調停を行ったエリア又はゾーンの再調停前の状態によって制約を受けていたエリア又はゾーンを再調停する仕組みが必要である。
【0005】
本発明は、上記した事情に鑑みてなされたもので、その目的は、再調停を行ったことによってエリア又はゾーンの状態が変化した時に、仕様開発者の意図通りの結果を適切に得ることができるコンテントの出力制御装置、出力制御方法及び出力制御プログラムを提供することにある。
【課題を解決するための手段】
【0006】
請求項１に記載した発明によれば、記憶部（１２）は、エリア又はゾーンにコンテントを割り当てる場合の基本的な調停を定義した調停ポリシーと、制約式とを含むルール定義を記憶する。調停部（１３）は、アプリケーションからの出力要求を受け付けると、ルール定義にしたがってルールベース調停を満たすように調停を行う。出力制御部（１４）は、調停部により調停が行われたことでエリア又はゾーンに割り当てられたコンテントの出力を制御する。調停部は、エリア又はゾーンの再調停を行った場合に、その影響エリアとして特定したエリア又は影響ゾーンとして特定したゾーンの再調停を行う。
【0007】
エリア又はゾーンの再調停を行うと、その再調停を行ったことによって影響を与えた影響エリアとして特定したエリア又は影響ゾーンとして特定したゾーンの再調停を行うことで、再調停前の状態によって制約を受けていたエリア又はゾーンは制約が解消され、更に解消された制約を加味した結果を得ることができる。これにより、再調停を行ったことによってエリア又はゾーンの状態が変化した時に、仕様開発者の意図通りの結果を適切に得ることができる。
【図面の簡単な説明】
【0008】
【図1】一実施形態における表示制御装置の構成を示す機能ブロック図
【図2】車室内を示す斜視図
【図3】優先度調停を示す図
【図4】後勝ち調停を示す図
【図5】エリアのＺオーダーと優先度との関係を示す図
【図6】コンテントと状態とエリアの関係性を示す図
【図7】真理値の定義を示す図
【図8】制約式オブジェクトのデータ構造を示す図
【図9】制約式の左辺が偽の場合に評価結果が真となる真理値を示す図
【図10】エリアの優先度と制約式との関係を示す図
【図11】制約式が仕様開発者の意図と異なる例を示す図
【図12】調停ロジック全体の振る舞いを示すフローチャート
【図13】調停処理を示すフローチャート
【図14】ＡＰＰ要求の概念を示す図
【図15】一のエリアにコンテントを割り当てる場合を説明する図
【図16】複数のエリアにコンテントを割り当てる場合を説明する図
【図17】エリアとコンテントと制約式の定義を示す図
【図18】調停結果を示す図
【図19】ツリー構造を示す図
【図20】最調停を行う流れを示す図
【図21】調停結果及び影響エリアのリストを示す図
【図22】調停中エリア登録処理を示すフローチャート（その１）
【図23】調停中エリア登録処理を示すフローチャート（その２）
【図24】調停結果及び影響エリアのリストを示す図
【図25】再調停を行う流れを示す図
【図26】調停結果及び影響エリアのリストを示す図
【発明を実施するための形態】
【0009】
以下、一実施形態について図面を参照して説明する。本実施形態では、コンテントをエリアに表示する態様について説明するが、コンテントをゾーンに音声出力する態様についても適用することができる。即ち、コンテントの出力とは、コンテントの表示と音声出力との両方の概念を含み、出力されるコンテントは、表示されるコンテントと音声出力されるコンテントとの両方の概念を含む。図２に示すように、車両の車室１内には運転席２と助手席３とが配置されており、それらの前方にインストルメントパネル４が配置されている。インストルメントパネル４の前端にはフロントガラス５が立ち上がるように実装されている。インストルメントパネル４には第１表示装置６及び第２表示装置７が配置され、フロントガラス５には第３表示装置８が配置されている。
【0010】
第１表示装置６は、例えばフルカラーの液晶表示装置から構成されるセンターディスプレイであり、基本的に車両走行制御に関係しない非走行系のコンテントを表示する表示部として機能する。非走行系のコンテントは、例えばナビゲーション用の地図情報、オーディオ情報、電話情報等である。又、第１表示装置６は、車両の後進時にリアカメラにより撮像された車両後方の映像を表示する表示部としても機能する。
【0011】
第２表示装置７は、例えばフルカラーの液晶表示装置から構成されるメータディスプレイであり、基本的に車両走行制御に関係する走行系のコンテントを表示する表示部として機能する。走行系のコンテントは、例えば車速、エンジン回転数、シフトポジション、燃料の残量等である。
【0012】
第３表示装置８は、インストルメントパネル４に配置されている表示ユニット９からフロントガラス５に映像が投影されるヘッドアップディスプレイであり、第２表示装置７と同様に、基本的に走行系のコンテントを表示する表示部として機能する。各表示装置６～８にはコンテントを表示するエリアが１つ又は複数設定されている。このような構成では、各表示装置６～８にコンテントが表示されることで、走行系のコンテントや非走行系のコンテントから構成される各種情報が乗員に提供される。
【0013】
図１に示すように、表示制御装置１０は、制御部１１を有し、各表示装置６～８に設定されたエリアにコンテントを表示する。制御部１１は、ＣＰＵ（Central Processing Unit）、ＲＯＭ（Read Only Memory）、ＲＡＭ（Random Access Memory）、Ｉ／Ｏ（Input／Output）等を含むマイクロコンピュータを有しており、非遷移的実体的記憶媒体に格納されている表示制御プログラムを実行する。表示制御装置１０は、コンテントの出力制御装置に相当する。
【0014】
表示制御装置１０には複数のアプリケーションＡ～Ｃが予め記憶されている。各アプリケーションＡ～Ｃは、一つ又は複数の表示装置６～８の所定のエリアに対するコンテントの表示要求が発生すると、表示対象の表示装置、エリア及びコンテントを示すＡＰＰ（application）要求を制御部１１に割り込み出力する。
【0015】
制御部１１は、記憶部１２と、調停部１３と、表示制御部１４とを備える。表示制御部１４は、出力制御部に相当する。制御部１１は、出力制御プログラムを実行することにより、表示制御装置１０の動作を制御する。記憶部１２は、ルール定義を記憶している。ルール定義は、エリアにコンテントに割り当てる場合の基本的な調停を定義した調停ポリシーと、例外的に満たすべき性質を記述した制約式とを含む。
【0016】
調停ポリシーは、後述するように優先度調停／後勝ち調停／価値ベース調停の何れかで必ず設定される。制約式は、１つに限定されることはなく、仕様開発者の意図に応じて設けられない場合もあるし複数設けられる場合もある。
【0017】
調停部１３は、アプリケーションからの表示要求を受け付けると、ルール定義にしたがってルールベース調停を満たすようにコンテントの調停を行う。表示制御部１４は、入出力Ｉ／Ｆ１５を介して各種ＥＣＵ１６、各種センサ１７、各種スイッチ１８、自動運転装置１９等と例えばＣＡＮ（Controller Area Network）等の車載ネットワーク２０により接続されている。表示制御部１４は、調停部１３により所定のエリアに割り当てられたコンテントの表示を制御する。調停ロジックはライブラリとして作成することができ、ルール定義をライブラリに登録又は変更することによりルールベース調停を任意に設定することができる。
【0018】
エリアにコンテントを割り当てる場合、異なるアプリケーションが同時にＡＰＰ要求を出力する場合があり、このような場合に調停が必要となる。尚、「同時」とは時間的に同時という意味ではなく、アプリケーションからＡＰＰ要求が出力された場合に、他のアプリケーションのコンテントが既に表示されている状態、即ち、２つのアプリケーションからのＡＰＰ要求が同時にオンとなった状態を意味する。
【0019】
ＡＰＰ要求が同時にオンとなった場合には、エリアに表示するコンテントを調停する必要がある。何れのコンテントを何れのエリアに表示するのかという全ての振る舞いを定義する構成では、コンテントの数が多くなると、振る舞いの全てを定義することが困難となる。このような事情から、本実施形態では、何れのコンテントを何れのエリアに表示するかを抽象化して表したルールベース調停を採用している。以下、ルールベース調停について説明する。
【0020】
１．ルールベース調停
（１）ルール定義
ルールベース調停は、与えられた一定のルールに基づいてコンテントを調停して任意のエリアに割り当てる調停方法を記述している。ルールベース調停におけるルールの定義としては、エリア定義、コンテント定義、制約式が必要である。
（１）ルール定義
ルールベース調停は、与えられた一定のルールに基づいてコンテントを調停して任意のエリアに割り当てる調停方法を記述している。ルールベース調停におけるルールの定義としては、エリア定義、コンテント定義、制約式が必要である。
【0021】
（１－１）エリア定義
エリア定義では、表示場所、表示場所の価値、調停ポリシーが定義される。調停はエリア毎に行われるので、エリア毎に調停ポリシーを定義する。
エリアでは表示装置６～８の表示画面にコンテントを表示させる枠を定義する。１つのエリアには高々１つのコンテントのみが割り当てられる。
エリアは以下の定義とする。
（ａ）エリアは、割り当てられたコンテントを表示する。
（ｂ）エリアは、調停ポリシーを持つ。
（ｃ）エリアは、表示させることが可能なコンテントを参照する。
（ｄ）エリアは、１つ以上のサイズを持つ。
各エリアはプロパティを有している。プロパティとして、優先度、Ｚオーダー、調停ポリシー、サイズが設定されている。
（ａ）優先度
優先度は、エリア自体の価値を示す値（０～１００％）である。この値が大きいエリアから順に調停を行う。
（ｂ）Ｚオーダー
Ｚオーダーは、高さに関する座標である。この値が高いほど前面に表示される。優先度が同じエリアがある場合、この値が高い順に調停を行う。
エリア定義では、表示場所、表示場所の価値、調停ポリシーが定義される。調停はエリア毎に行われるので、エリア毎に調停ポリシーを定義する。
エリアでは表示装置６～８の表示画面にコンテントを表示させる枠を定義する。１つのエリアには高々１つのコンテントのみが割り当てられる。
エリアは以下の定義とする。
（ａ）エリアは、割り当てられたコンテントを表示する。
（ｂ）エリアは、調停ポリシーを持つ。
（ｃ）エリアは、表示させることが可能なコンテントを参照する。
（ｄ）エリアは、１つ以上のサイズを持つ。
各エリアはプロパティを有している。プロパティとして、優先度、Ｚオーダー、調停ポリシー、サイズが設定されている。
（ａ）優先度
優先度は、エリア自体の価値を示す値（０～１００％）である。この値が大きいエリアから順に調停を行う。
（ｂ）Ｚオーダー
Ｚオーダーは、高さに関する座標である。この値が高いほど前面に表示される。優先度が同じエリアがある場合、この値が高い順に調停を行う。
【0022】
（ｃ）調停ポリシー
調停ポリシーは、優先度調停／後勝ち調停／価値ベース調停の何れかである。
（ｃ－１）優先度調停
優先度調停は、エリア単位の調停ポリシーであり、図３に示すように、エリアに表示可能なコンテントの中で最も優先度の高いコンテントを表示する調停である。
（ｃ－２）後勝ち調停
後勝ち調停は、エリア単位の調停ポリシーであり、図４に示すように、エリアで最後に要求が発生したコンテントを表示し、そのコンテントの表示が終了した場合は残っている中で最後に要求が発生したコンテントを表示する調停である。
（ｃ－３）価値ベース調停
価値ベース調停は、エリア全体での調停ポリシーであり、コンテントの価値を数値化した数値とエリアの価値を数値化した数値とを乗じた演算値が最大となるコンテントを表示する調停である。
（ｄ）サイズ
サイズは、エリアのサイズで縦×横となる。複数定義されていた場合、コンテントのサイズに応じて決定される。エリアのＺオーダーと優先度との関係は図５に示す通りになる。
調停ポリシーは、優先度調停／後勝ち調停／価値ベース調停の何れかである。
（ｃ－１）優先度調停
優先度調停は、エリア単位の調停ポリシーであり、図３に示すように、エリアに表示可能なコンテントの中で最も優先度の高いコンテントを表示する調停である。
（ｃ－２）後勝ち調停
後勝ち調停は、エリア単位の調停ポリシーであり、図４に示すように、エリアで最後に要求が発生したコンテントを表示し、そのコンテントの表示が終了した場合は残っている中で最後に要求が発生したコンテントを表示する調停である。
（ｃ－３）価値ベース調停
価値ベース調停は、エリア全体での調停ポリシーであり、コンテントの価値を数値化した数値とエリアの価値を数値化した数値とを乗じた演算値が最大となるコンテントを表示する調停である。
（ｄ）サイズ
サイズは、エリアのサイズで縦×横となる。複数定義されていた場合、コンテントのサイズに応じて決定される。エリアのＺオーダーと優先度との関係は図５に示す通りになる。
【0023】
（１－２）コンテント定義
コンテント定義では表示可能エリア、コンテントの状態、コンテントの状態の価値が定義される。コンテントは状態を複数持つことが可能であり、コンテントがエリアに割り当てられ、コンテントの状態が表示される。コンテントは自分が表示可能なエリアを定義して参照する。
コンテントでは表示装置６～８の表示画面に定義されたエリアに表示するコンテントを定義する。１つのエリアには１つのコンテントのみが割り当てられる。
コンテントは以下の定義とする。
（ａ）コンテントは、エリアに対して割り当てられる。
（ｂ）コンテントは、自らが表示可能なエリアを１つ以上参照する。
（ｃ）コンテントは、必ず１つ以上の状態を持つ。
（ｄ）コンテントは、１つ以上のサイズを持つ。
コンテント定義では表示可能エリア、コンテントの状態、コンテントの状態の価値が定義される。コンテントは状態を複数持つことが可能であり、コンテントがエリアに割り当てられ、コンテントの状態が表示される。コンテントは自分が表示可能なエリアを定義して参照する。
コンテントでは表示装置６～８の表示画面に定義されたエリアに表示するコンテントを定義する。１つのエリアには１つのコンテントのみが割り当てられる。
コンテントは以下の定義とする。
（ａ）コンテントは、エリアに対して割り当てられる。
（ｂ）コンテントは、自らが表示可能なエリアを１つ以上参照する。
（ｃ）コンテントは、必ず１つ以上の状態を持つ。
（ｄ）コンテントは、１つ以上のサイズを持つ。
【0024】
表示可能なエリアが複数ある場合、どちらも表示可能であることを示し、１つのコンテントを複数エリアに同時に表示することもできる。１つのコンテントに複数の状態を持つことができ、複数持っている場合、それぞれの状態は排他的であり必ず１つの状態でしか一度に表示することができない。コンテントはサイズを複数持つことができ、複数ある場合、表示先のエリアのサイズに応じて最も近いサイズを表示させる。
コンテントと状態とエリアの関係性は図６に示すように紐づけられる。
コンテントと状態とエリアの関係性は図６に示すように紐づけられる。
【0025】
コンテントはプロパティを有しており、プロパティとして、優先度、サイズ調停負けした場合、ＡＰＰ要求を取り下げるか否か（goodloser）が設定されている。
（ａ）優先度
優先度とはエリアの調停ポリシーが「優先度調停」の場合に使われる値であり、優先度の高いコンテントが先にエリアに割り当てられる。
（ｂ）サイズ
サイズとは、コンテントの表示のサイズで縦×横となる。複数定義されていた場合は、エリアのサイズに応じて決定される。
（ａ）優先度
優先度とはエリアの調停ポリシーが「優先度調停」の場合に使われる値であり、優先度の高いコンテントが先にエリアに割り当てられる。
（ｂ）サイズ
サイズとは、コンテントの表示のサイズで縦×横となる。複数定義されていた場合は、エリアのサイズに応じて決定される。
【0026】
（１－３）制約式
制約式は、調停中又は調停後において、例外的に満たすべき性質を記述したルールである。調停の状態を制約式で抑制することで、そのままの調停ポリシーでは表現しきれない状態を表したり、調停後の調停結果の判定に用いたりすることができる。即ち、例えば車両の走行状態等の状況に応じては、調停ポリシーにて割り当てられたコンテントであっても表示しない方が良い場合があるからである。制約式では、調停結果が満たすべき条件であるコンテント抑制やエリア抑制の条件が定義される。
制約式は、調停中又は調停後において、例外的に満たすべき性質を記述したルールである。調停の状態を制約式で抑制することで、そのままの調停ポリシーでは表現しきれない状態を表したり、調停後の調停結果の判定に用いたりすることができる。即ち、例えば車両の走行状態等の状況に応じては、調停ポリシーにて割り当てられたコンテントであっても表示しない方が良い場合があるからである。制約式では、調停結果が満たすべき条件であるコンテント抑制やエリア抑制の条件が定義される。
【0027】
制約式で扱える論理式は、コンテントの状態、エリアの状態、エリアに表示中のコンテント、エリアとコンテントの集合、シーンの状態、論理演算、量化記号である。シーンとは、例えば手動運転シーン又は自動運転装置１９による自動運転シーンであり、自動運転シーンでは手動運転用コンテントグループのコンテントは表示しないという出力制御が可能となる。
（ａ）コンテントの状態は、アクティブ／非アクティブ、表示中／非表示中の何れかである。
（ｂ）エリアの状態は、表示中／非表示中の何れかである。
（ｃ）論理演算は、ＮＯＴ（！）、ＡＮＤ、ＯＲ、含意（－＞）、等号（＝）である。
量化記号は、∀（Ｆｏｒ Ａｌｌ：集合の要素全てに対して条件が成立する）、∃（Ｅｘｉｓｔｓ：集合に条件を満たす要素が少なくとも一つ存在する）である。
（ｄ）制約式
制約式は、調停ロジックの結果に影響を及ぼし、調停ロジックは全ての制約を満たすように振る舞う。
（ｅ）後処理
後処理は、特定のコンテントにおいて、調停後にＡＰＰ要求の待機を規定するプロパティ(goodloser)である。調停後のコンテントの待機状態のみ変化するので、調停ロジックの結果には影響しない。
（ａ）コンテントの状態は、アクティブ／非アクティブ、表示中／非表示中の何れかである。
（ｂ）エリアの状態は、表示中／非表示中の何れかである。
（ｃ）論理演算は、ＮＯＴ（！）、ＡＮＤ、ＯＲ、含意（－＞）、等号（＝）である。
量化記号は、∀（Ｆｏｒ Ａｌｌ：集合の要素全てに対して条件が成立する）、∃（Ｅｘｉｓｔｓ：集合に条件を満たす要素が少なくとも一つ存在する）である。
（ｄ）制約式
制約式は、調停ロジックの結果に影響を及ぼし、調停ロジックは全ての制約を満たすように振る舞う。
（ｅ）後処理
後処理は、特定のコンテントにおいて、調停後にＡＰＰ要求の待機を規定するプロパティ(goodloser)である。調停後のコンテントの待機状態のみ変化するので、調停ロジックの結果には影響しない。
【0028】
（１－４）コンテント抑制
例えばコンテントｃ１の表示中はコンテントｃ２を表示しないという制約式として、「中心エリア.displaying Content()=c1 -> !c2.is Visible()」を例示する。この制約式は、中心エリアにコンテントｃ１を表示していれば、コンテントｃ２を表示しないという抑制を記述している。
例えばコンテントｃ１の表示中はコンテントｃ２を表示しないという制約式として、「中心エリア.displaying Content()=c1 -> !c2.is Visible()」を例示する。この制約式は、中心エリアにコンテントｃ１を表示していれば、コンテントｃ２を表示しないという抑制を記述している。
【0029】
（１－５）優先度調停と後勝ち調停
優先度調停と後勝ち調停とが混在する場合は、エリアの調停ポリシーを後勝ちにしておき、優先度が関わるコンテント間の関係のみを制約式で記述することで対応可能である。
このような制約式として、「TEL.is Active() -> For All MM系割り込み（TEL以外）{x|!x.is Visible()}」を例示する。調停ポリシーが後勝ち調停のエリアであるが、この制約式を加えることでＴＥＬという優先度の高いコンテントがアクティブであれば、全てのＭＭ系割り込み（ＴＥＬ以外）を表示しないという抑制を記述している。
優先度調停と後勝ち調停とが混在する場合は、エリアの調停ポリシーを後勝ちにしておき、優先度が関わるコンテント間の関係のみを制約式で記述することで対応可能である。
このような制約式として、「TEL.is Active() -> For All MM系割り込み（TEL以外）{x|!x.is Visible()}」を例示する。調停ポリシーが後勝ち調停のエリアであるが、この制約式を加えることでＴＥＬという優先度の高いコンテントがアクティブであれば、全てのＭＭ系割り込み（ＴＥＬ以外）を表示しないという抑制を記述している。
【0030】
２．調停ロジック
調停ロジックは、与えられたルールに基づき、エリアの調停ポリシーに基づいた形で制約式を満たすようにコンテントを割り当てる方法を定義したアルゴリズムである。基本的にはエリア毎に優先度順に調停していくが、演算子が含意で定義された制約式で仕様開発者の意図と異なったと判定した場合、以前のエリアに戻り再調停を行う。
調停ロジックには、エリア内の調停とエリア全体の調停とがある。
調停ロジックは、与えられたルールに基づき、エリアの調停ポリシーに基づいた形で制約式を満たすようにコンテントを割り当てる方法を定義したアルゴリズムである。基本的にはエリア毎に優先度順に調停していくが、演算子が含意で定義された制約式で仕様開発者の意図と異なったと判定した場合、以前のエリアに戻り再調停を行う。
調停ロジックには、エリア内の調停とエリア全体の調停とがある。
【0031】
（２－１）エリア内の調停
（ａ）エリア内の調停は、優先度調停及び後勝ち調停のエリアを優先度の高い順に調停する。
（ｂ）各エリアについて以下を評価する。
最も優先されるコンテントを仮に割り当て、制約式の評価結果が真であれば、仮に割り当てたコンテントを確定する。制約式の評価結果が偽であれば、次に優先されるコンテントを再評価する。制約式を満たすコンテントが無ければ、そのエリアにはコンテントを表示しない。
（ａ）エリア内の調停は、優先度調停及び後勝ち調停のエリアを優先度の高い順に調停する。
（ｂ）各エリアについて以下を評価する。
最も優先されるコンテントを仮に割り当て、制約式の評価結果が真であれば、仮に割り当てたコンテントを確定する。制約式の評価結果が偽であれば、次に優先されるコンテントを再評価する。制約式を満たすコンテントが無ければ、そのエリアにはコンテントを表示しない。
【0032】
（２－２）エリア全体の調停
エリア全体の調停（価値ベース調停）は、ベストフィットロジック及びワンパスロジックがある。
（ａ）ベストフィットロジックは、制約式を満たすコンテントとエリアとの全ての組み合わせの中から価値の総和が最も高いものを選択する。
（ｂ）ワンパスロジックは、優先度の高いエリアから順に優先度の高いコンテントをエリアに割り当て、既に他のエリアに割り当てられたコンテントは対象外にする。本実施形態ではワンパスロジックを採用するが、ベストフィットロジックを採用しても良い。
エリア全体の調停（価値ベース調停）は、ベストフィットロジック及びワンパスロジックがある。
（ａ）ベストフィットロジックは、制約式を満たすコンテントとエリアとの全ての組み合わせの中から価値の総和が最も高いものを選択する。
（ｂ）ワンパスロジックは、優先度の高いエリアから順に優先度の高いコンテントをエリアに割り当て、既に他のエリアに割り当てられたコンテントは対象外にする。本実施形態ではワンパスロジックを採用するが、ベストフィットロジックを採用しても良い。
【0033】
（２－３）制約式における含意
調停ロジックにおいて制約式における「含意」は再調停の条件としての意味を持つので、以下に含意について説明する。
命題論理における含意はＰ→Ｑと記述することができ、左辺を前提部とすると共に右辺を結論部とし「前提が成立しているならば結論が成立している」となる。真理値の定義（真理値表）は図７に示す通りである。
尚、命題論理における公理系ではＰ→Ｑ≡￢Ｐ∨Ｑとなる。
又、制約式オブジェクトのデータ構造は、図８に示すように、構文木（シンタックスツリー）となっているので、含意の左辺及び右辺の判定が可能である。
調停ロジックにおいて制約式における「含意」は再調停の条件としての意味を持つので、以下に含意について説明する。
命題論理における含意はＰ→Ｑと記述することができ、左辺を前提部とすると共に右辺を結論部とし「前提が成立しているならば結論が成立している」となる。真理値の定義（真理値表）は図７に示す通りである。
尚、命題論理における公理系ではＰ→Ｑ≡￢Ｐ∨Ｑとなる。
又、制約式オブジェクトのデータ構造は、図８に示すように、構文木（シンタックスツリー）となっているので、含意の左辺及び右辺の判定が可能である。
【0034】
（２－４）含意の意図と論理値での差異
Ｐ→Ｑが真となるのは、ＰもＱも真のときである。換言すれば、Ｑに関わらずＰが偽であれば制約式は真となる。
制約式で含意を用いた場合、仕様開発者は「左辺が成り立った後で、右辺を判定した場合」と意図していることが多い。即ち、暗黙の意図としては、順番が存在し、左辺が成立してから右辺を成立させたいということである。しかしながら、論理的には含意は右辺の真偽を決めた後に、その真偽に関係なく左辺を偽にすれば結果として真であり、これは論理学的、即ち含意の意味論上は何も問題はない。このことは、調停ロジックで制約式を満たすためならば、図９に示すように、含意の左辺を全て強制的に偽とすれば制約式を満たせることを意味する。ワンパスロジックではエリアの優先度順にしたがってエリアに割り当てるコンテントを確定していく。即ち、含意の左辺及び右辺は関係ない。それに対し、含意の制約式の意図は「左辺が成り立った後で、右辺を判定した場合」であり、含意の左辺及び右辺が関係する。この問題を解決しようというのが、再調停の狙いである。
Ｐ→Ｑが真となるのは、ＰもＱも真のときである。換言すれば、Ｑに関わらずＰが偽であれば制約式は真となる。
制約式で含意を用いた場合、仕様開発者は「左辺が成り立った後で、右辺を判定した場合」と意図していることが多い。即ち、暗黙の意図としては、順番が存在し、左辺が成立してから右辺を成立させたいということである。しかしながら、論理的には含意は右辺の真偽を決めた後に、その真偽に関係なく左辺を偽にすれば結果として真であり、これは論理学的、即ち含意の意味論上は何も問題はない。このことは、調停ロジックで制約式を満たすためならば、図９に示すように、含意の左辺を全て強制的に偽とすれば制約式を満たせることを意味する。ワンパスロジックではエリアの優先度順にしたがってエリアに割り当てるコンテントを確定していく。即ち、含意の左辺及び右辺は関係ない。それに対し、含意の制約式の意図は「左辺が成り立った後で、右辺を判定した場合」であり、含意の左辺及び右辺が関係する。この問題を解決しようというのが、再調停の狙いである。
【0035】
次に、含意の制約式の再調停について説明する。
制約式Ｐ→Ｑがあり、図１０に示すように、Ｐに関係するエリアｐ、Ｑに関係するエリアｑがあるとする。尚、エリアの優先度はｐ＜ｑとする。
制約式の具体例は「ｐ.is Display() -> q.is Hidden()」であり、意味は「ｐ表示中はｑを表示しない」である。
エリアｐに関係するコンテントＣｐ、エリアｑに関係するコンテントＣｑがあり、ＡＰＰ要求が同時に発生した場合の調停ロジックを説明する。
（１）ワンパスロジックにより、最初にエリアｑのコンテントを決める。その結果、エリアｑにコンテントＣｑが割り当てられる。この場合、制約式の評価は、左辺に未割り当てエリアがあるので、エリアｐをスキップする。
（２）ワンパスロジックにより、次のエリアであるエリアｐのコンテントを次のように決める。エリアｐにＣｐを仮割り当てしてから、制約式「ｐ.is Display()->q.is Hidden()」を評価する。この場合、真→偽となるので、制約式の評価結果は偽となる。含意の右辺（エリアｑ）が調停済みであるので、エリアｑを再調停する。具体的には、コンテントＣｐ割り当てを是とし、エリアｑでコンテントの割り当てをやり直す。
（３）再調停を行ったことによって次のエリアであるエリアｑのコンテントを次のように決める。エリアｑにコンテントＣｑを仮割り当てすると、真→偽となり、制約式の評価結果は偽となることから、コンテントＣｑの仮割り当てを解除し、エリアｑの割り当てコンテントは無しで終了する。
以上の動作の結果、エリアＰにコンテントＣｐが表示中、エリアｑのコンテント割り当てがなくなり、制約式の意図通りの結果となる。
制約式Ｐ→Ｑがあり、図１０に示すように、Ｐに関係するエリアｐ、Ｑに関係するエリアｑがあるとする。尚、エリアの優先度はｐ＜ｑとする。
制約式の具体例は「ｐ.is Display() -> q.is Hidden()」であり、意味は「ｐ表示中はｑを表示しない」である。
エリアｐに関係するコンテントＣｐ、エリアｑに関係するコンテントＣｑがあり、ＡＰＰ要求が同時に発生した場合の調停ロジックを説明する。
（１）ワンパスロジックにより、最初にエリアｑのコンテントを決める。その結果、エリアｑにコンテントＣｑが割り当てられる。この場合、制約式の評価は、左辺に未割り当てエリアがあるので、エリアｐをスキップする。
（２）ワンパスロジックにより、次のエリアであるエリアｐのコンテントを次のように決める。エリアｐにＣｐを仮割り当てしてから、制約式「ｐ.is Display()->q.is Hidden()」を評価する。この場合、真→偽となるので、制約式の評価結果は偽となる。含意の右辺（エリアｑ）が調停済みであるので、エリアｑを再調停する。具体的には、コンテントＣｐ割り当てを是とし、エリアｑでコンテントの割り当てをやり直す。
（３）再調停を行ったことによって次のエリアであるエリアｑのコンテントを次のように決める。エリアｑにコンテントＣｑを仮割り当てすると、真→偽となり、制約式の評価結果は偽となることから、コンテントＣｑの仮割り当てを解除し、エリアｑの割り当てコンテントは無しで終了する。
以上の動作の結果、エリアＰにコンテントＣｐが表示中、エリアｑのコンテント割り当てがなくなり、制約式の意図通りの結果となる。
【0036】
調停ロジックは、優先度の高いエリアから順番に調停して制約式を評価していくので、制約式の含意の記述の仕方とエリアの優先度の高さにより、含意の右辺（結論部）が先に決定し、その後に含意の左辺（前提部）が決定する場合がある。このような場合に左辺を全て偽にすれば、論理的には正しいが、前述の「左辺が成り立った後で」という仕様開発者の意図とのギャップが発生してしまう。このような例として、図１１に示すように、エリアＡはコンテントａ１を表示可能で後勝ち、エリアＢはコンテントｂ１を表示可能で後勝ち、エリア同士の優先度の関係はエリアＡ＞エリアＢ、制約式はｂ１.is Visible() -> !ａ１.is Visibleを例示する。ＡＰＰ要求がコンテントａ１、コンテントｂ１の順にオンすると、後勝ちの調停ポリシーによりエリアＡにコンテントａ１を表示してからエリアＢにコンテントｂ１を表示することになる。この場合、優先度の高いエリアＡのコンテントａ１を先に判定することから、制約式の右辺を先に判定することになり、制約式の右辺が先に偽となる。この場合、制約式の左辺を強制的に偽とすれば制約式の評価結果は真となるので、論理的にそのまま解釈すると、コンテントａ１は表示判定、コンテントｂ１は非表示判定となる。
【0037】
しかしながら、仕様開発者の意図は、コンテントｂ１が表示判定となった後にコンテントａ１を非表示判定することであるので、仕様開発者の意図を反映していないことになる。即ち、調停ロジックとしては、限りなく仕様開発者の意図と調停振る舞いとのギャップを排除すべきである。その結果、一方通行で優先度の高いエリアから順に調停を適用していくのではなく、制約式が前述したような意図しない状態になった場合に、調停を再びやり直す再帰的な調停ロジックが必要となる。このような事情から、本実施形態では再帰的な調停ロジックを採用している。
【0038】
（２－５）振る舞い
再帰的な調停ロジックには、エリアにコンテントを割り当てる調停処理と、調停処理の後に要求の状態を変化させる後処理がある。又、調停処理に成功したかを確認するために全制約式の評価も行う。
再帰的な調停ロジックには、エリアにコンテントを割り当てる調停処理と、調停処理の後に要求の状態を変化させる後処理がある。又、調停処理に成功したかを確認するために全制約式の評価も行う。
【0039】
（ａ）調停ロジック全体の振る舞い
図１２に示すように、表示制御装置１０は、調停処理を行い、エリアにコンテントを割り当て（Ｓ１）、全制約式を評価し、調停処理に成功したかチェックする（Ｓ２）。表示制御装置１０は、全制約式を満たしたと判定し、調停処理に成功したと判定すると（Ｓ３：ＹＥＳ）、結果に調停成功を設定し、割り当てを確定する（Ｓ４）。表示制御装置１０は、何れか１つでも制約式を満たしていないと判定し、調停処理に失敗したと判定すると（Ｓ３：ＮＯ）、結果に調停失敗を設定する（Ｓ５）。表示制御装置１０は、後処理を行い、要求の状態を変化させる（Ｓ６）。
図１２に示すように、表示制御装置１０は、調停処理を行い、エリアにコンテントを割り当て（Ｓ１）、全制約式を評価し、調停処理に成功したかチェックする（Ｓ２）。表示制御装置１０は、全制約式を満たしたと判定し、調停処理に成功したと判定すると（Ｓ３：ＹＥＳ）、結果に調停成功を設定し、割り当てを確定する（Ｓ４）。表示制御装置１０は、何れか１つでも制約式を満たしていないと判定し、調停処理に失敗したと判定すると（Ｓ３：ＮＯ）、結果に調停失敗を設定する（Ｓ５）。表示制御装置１０は、後処理を行い、要求の状態を変化させる（Ｓ６）。
【0040】
（ｂ）調停処理の動作
図１３に示すように、表示制御装置１０は、優先度の高い順に調停対象エリアとし（Ｓ１１）、調停対象エリアがある場合は（Ｓ１２）、エリアの調停に移行する。表示制御装置１０は、エリアの調停では、調停ポリシーに基づきエリア内の調停対象のコンテントの順序を決める（Ｓ１３）。尚、調停対象エリアがない場合は、ループ終了となる。表示制御装置１０は、エリア内に調停対象のコンテントがある場合は（Ｓ１４）、エリアにコンテントを割り当てる（Ｓ１５）。尚、調停対象エリアがない場合は、ループ終了となる。
図１３に示すように、表示制御装置１０は、優先度の高い順に調停対象エリアとし（Ｓ１１）、調停対象エリアがある場合は（Ｓ１２）、エリアの調停に移行する。表示制御装置１０は、エリアの調停では、調停ポリシーに基づきエリア内の調停対象のコンテントの順序を決める（Ｓ１３）。尚、調停対象エリアがない場合は、ループ終了となる。表示制御装置１０は、エリア内に調停対象のコンテントがある場合は（Ｓ１４）、エリアにコンテントを割り当てる（Ｓ１５）。尚、調停対象エリアがない場合は、ループ終了となる。
【0041】
表示制御装置１０は、制約式を評価し（Ｓ１６）、制約式を満たしたか否かを判定し（Ｓ１７）、制約式を満たしたと判定すると（Ｓ１７：ＹＥＳ）、エリアの調停から抜け出る。表示制御装置１０は、制約式を満たさなかったと判定すると（Ｓ１７：ＮＯ）、含意の右辺が既に決定していて次に左辺を決定するケースがあったか否かを判定する（Ｓ１８）。表示制御装置１０は、ケースがあったと判定すると（Ｓ１８：ＹＥＳ）、含意の右辺に関わるエリアが既に再調停済みであるか否かを判定する（Ｓ１９）。
【0042】
表示制御装置１０は、ケースがなかったと判定すると（Ｓ１８：ＮＯ）、又はケースがあったが、含意の右辺に関わるエリアが既に再調停済みであると判定すると（Ｓ１９：ＹＥＳ）、コンテントの割り当てを解除し（Ｓ２１）、次のエリア内の調停対象のコンテントへ移行し（Ｓ２２）、エリアの調停から抜け出る。
【0043】
一方、表示制御装置１０は、含意の右辺に関わるエリアが未だ再調停済みでないと判定すると（Ｓ１９：ＮＯ）、含意の右辺に関わるエリアを調停対象エリアの次の順に追加する（Ｓ２０）。表示制御装置１０は、次の調停対象エリアに移行するループが全て終わり、調停対象エリアがなくなったと判定すると（Ｓ２３）、最後に全部のエリアを再調停せず１回のみ調停する（Ｓ２４）。
【0044】
３．ＡＰＰ要求
ＡＰＰ要求は、図１４に示すように、アプリケーションからの要求として、コンテント×状態の値を調停ロジックに渡す。要求は同時には発生することは無く必ず順番を伴う。又、調停後に要求の状態を変化させる後処理の影響を受ける。調停ロジックでは、ＡＰＰ要求が発生したコンテント（及び状態）に対して調停を行う。したがって、表示されたコンテントは少なくともＡＰＰ要求を出力していなければならない。
ＡＰＰ要求は、図１４に示すように、アプリケーションからの要求として、コンテント×状態の値を調停ロジックに渡す。要求は同時には発生することは無く必ず順番を伴う。又、調停後に要求の状態を変化させる後処理の影響を受ける。調停ロジックでは、ＡＰＰ要求が発生したコンテント（及び状態）に対して調停を行う。したがって、表示されたコンテントは少なくともＡＰＰ要求を出力していなければならない。
【0045】
ＡＰＰ要求はコンテントに対するＡＰＰ要求であり、ＡＰＰ要求が発生すると、対応するコンテントが調停され、制約式を満たした上でエリアに表示される。具体的には、ＡＰＰ要求が行われ、エリアの優先度が高い順に調停するエリアを選択する。次に、各エリアの調停ポリシーにしたがって調停を行う。即ち、コンテントリストは調停ポリシーにしたがってソートされ、優先度調停なら優先度順、後勝ちなら後勝ち順にソートされる。
【0046】
次に、コンテントリストのコンテントと制約式とを比較し、表示可能なコンテントであるか否かを判定する。表示否のコンテントはリストから除去する。即ち、コンテントを割り当てて制約式を評価する。この場合、制約式は比較ではなく評価であるので、全て真であればコンテントの割り当てはＯＫとなる。再調停は、制約式評価が偽になりコンテントの割り当てが認められなかったために意図通りでなかった可能性があるときに行う。次に、ソートされたコンテントリスト順に、表示エリアを割り当て、調停するエリアがなくなるまで上記した処理を繰り返す。
【0047】
コンテントリストをソートするタイミングは各エリアに割り当てる前に行う。コンテントリストは各エリア割り当てに先立って作成する。ここで、エリア内毎に表示可能なコンテントは決まっている。そのため、コンテントリストは毎回、エリア割り当てに先立って、ソート及び制約式によるフィルタをかける。即ち、そのエリアに割り当て可能か否かを判定する。
【0048】
次に、一のエリアに割り当てられたコンテントを調停する場合について説明する。図１５に示すように、マルチメディア（ＭＭ）系の割り込みとスイッチ（ＳＷ）操作系のＡＰＰ要求の割り込みを想定する。後勝ち調停と優先度調停が混在する場合では、基本的に後勝ち調停を優先するが、ＭＭ系割り込みの中ではＴＥＬを優先する。
【0049】
制約式は、「TEL.isActive() -> For All MM系割り込み（TEL以外）{x|!x.isVisible()}」を例示する。これは、ＴＥＬがアクティブであれば、全てのＭＭ系割り込み（ＴＥＬ以外）を表示しないという制約である。ＴＥＬコンテントは「発信中」「着信表示」「ＴＥＬリスト」の３つの状態を持つことができ、それぞれの状態で優先度を変更しておく。優先度の低いコンテントの優先度は、コンテントＡ＞コンテントＢ＞コンテントＣとする。
【0050】
コンテント抑制は、コンテントＣの通常表示中は割り込み通知しないである。制約式は、「中心.displayingContent()=Ｃ.->!Ｃ通知.isVisible()」を例示する。これは、中心表示エリアにコンテントＣを表示していれば、コンテントＣ通知を表示しないという制約である。以上のようにして、一のエリアに対して仕様開発者が意図するコンテントを表示することが可能となる。
【0051】
次に、複数のエリアに割り当てられたコンテントを調停する場合について説明する。
図１６に示すように、エリアＡはコンテントａ１、エリアＢはコンテントｂ１、エリアＣはコンテントｃ１、エリアＤはコンテントｄ１を表示可能であり、全て後勝ちの調停ポリシーである。エリア同士の優先度はエリアＡ＞エリアＢ＞エリアＣ＞エリアＤとする。
図１６に示すように、エリアＡはコンテントａ１、エリアＢはコンテントｂ１、エリアＣはコンテントｃ１、エリアＤはコンテントｄ１を表示可能であり、全て後勝ちの調停ポリシーである。エリア同士の優先度はエリアＡ＞エリアＢ＞エリアＣ＞エリアＤとする。
【0052】
エリアとコンテントと制約式の定義について説明する。図１７に示すように、エリア毎に名前、調停ポリシー、優先度が設定されている。又、コンテント毎に名前、表示可能エリアが設定されている。制約式は、c1.is Visible()->!a1.is Visible() AND D.is Hidden()を例示する。Is Hidden()はエリアに割り当て可能なコンテントがあってもエリアを表示していない状態を意味している。この制約式は、コンテントｃ１（即ちエリアＣ）が表示中は、コンテントａ１を表示しない、且つ（エリアＣと干渉する）エリアＤは隠蔽されている抑制を記述している。
【0053】
ＡＰＰ要求がコンテントａ１、コンテントｂ１、コンテントｃ１、コンテントｄ１の順にオンすると、エリアＡから順に調停する。調停ポリシーによりエリアＡにコンテントａ１を割り当てるが、制約式を判定不能であるので、仮割り当てとする。同様に、エリアＢにコンテントｂ１を仮割り当てする。
【0054】
エリアＣにおける調停では、調停ポリシーによりエリアＣにコンテントｃ１が割り当てられるが、制約式における含意の右辺が先に偽の判定となる。即ち、ＡＮＤ演算子は一方が偽ならば何をもっても偽となるためである。
【0055】
そこで、エリアＣにコンテントｃ１を仮割り当てた状態で再調停を行い、エリアＡで制約式の評価結果が真となるように再調停する。制約式の評価結果が真となる結果パターンは２つある。結果パターン１は、コンテントｃ１を表示した場合は、コンテントａ１を表示せず、かつエリアＤを隠すとなる。結果パターン２は、コンテントｃ１が非表示であれば制約式の評価結果は真となる。結果パターン１は仕様開発者の意図通りとなるが、結果パターン２の場合は仕様開発者の意図を反映していない可能性が高い。
【0056】
この場合、含意の右辺が先に決まっており、左辺を決定する場合であるので、再調停する。エリアＣにコンテントｃ１を割り当てるのを是とし、右辺のエリアにて再調停する。再調停後、元の調停の順に戻り未調停のエリアＤを調停する。この場合、制約式の右辺が真となるにはエリアＤが非表示（未割り当て）とする必要がある。その後、最後に１回のみ再調停せずに調停を行う。これは主に未割り当てのエリアに対して行う調停である。以上のようにして、複数のエリアに対して仕様開発者が意図するコンテントを表示することが可能となる。
【0057】
ところで、再調停を行ったことによってエリアの状態が変化した時に、その再調停を行ったエリアの再調停前の状態によって制約を受けていたエリアは制約が解消されることになるが、その解消された制約を加味した結果を得ることができず、仕様開発者の意図通りの結果を得られない場合がある。このような事情から、本実施形態では、再調停を行ったことによってエリアの状態が変化した時に、その再調停を行ったエリアの再調停前の状態によって制約を受けていたエリアを調停する仕組みを採用している。
【0058】
調停部１３は、アプリケーションからの表示要求を受け付けると、ルール定義にしたがってルールベース調停を満たすようにコンテントの調停を行う（調停手順に相当する）。表示制御部１４は、調停部１３によりコンテントの調停が行われたことでエリアに割り当てられたコンテントの表示を制御する（出力制御手順に相当する）。調停部１３は、エリアの再調停を行った場合に、その再調停を行ったことによって影響を与えた影響エリアとして特定したエリアの再調停を行う（再調停手順に相当する）。以下、調停ロジックフローについて例示する。
【0059】
（１）調停ロジックフローの例１
定義、エリア同士の視認性の関係、制約式、要求発生順序を以下に示す条件とした場合を例示する。
定義：
エリアＡはコンテントａを表示可能、
エリアＢはコンテントｂを表示可能、
エリアＣはコンテントｃを表示可能
エリア同士の視認性の関係：
エリアＡ＞エリアＢ＞エリアＣ
制約式：
１．A.isDisplayed() -> B.isHidden()「Aを表示中はBを表示しない」
２．C.isDisplayed() -> A.isHidden()「Cを表示中はAを表示しない」
要求発生順序：
コンテントａ、コンテントｂ、コンテントｃの表示要求が同時に発生
定義、エリア同士の視認性の関係、制約式、要求発生順序を以下に示す条件とした場合を例示する。
定義：
エリアＡはコンテントａを表示可能、
エリアＢはコンテントｂを表示可能、
エリアＣはコンテントｃを表示可能
エリア同士の視認性の関係：
エリアＡ＞エリアＢ＞エリアＣ
制約式：
１．A.isDisplayed() -> B.isHidden()「Aを表示中はBを表示しない」
２．C.isDisplayed() -> A.isHidden()「Cを表示中はAを表示しない」
要求発生順序：
コンテントａ、コンテントｂ、コンテントｃの表示要求が同時に発生
【0060】
この場合、図１８に示すように、エリアＣの調停を行った後、制約式２が偽となる。制約式２の右辺（エリアＡ）が決定済みなので、エリアＡの再調停を行う。エリアＡの再調停を行うと、エリアＡは隠蔽されるので、制約式１でエリアＡにより制約を受けていたエリアＢは制約が解消され、エリアＢにコンテントｂが割り当たるのが期待値である。しかしながら、その後にエリアＢの調停が行われないので、エリアＢは隠蔽されたままである。このような事情から、エリアの状態が変化した後に、再調停したエリアの再調停前の状態によって制約を受けていたエリアを特定し、調停する仕組みが必要であり、本実施形態では、以下の調停ロジックを行う。
１．影響を与えたエリアを特定するために評価結果を保存する。
２．評価結果を解析し、影響エリアを特定する。
３．エリアは自身の影響エリアのリストを保存する。
４．再調停を行ったことによって調停された後に、影響エリアを再調停する。
１．影響を与えたエリアを特定するために評価結果を保存する。
２．評価結果を解析し、影響エリアを特定する。
３．エリアは自身の影響エリアのリストを保存する。
４．再調停を行ったことによって調停された後に、影響エリアを再調停する。
【0061】
影響エリアを以下のように定義する。影響エリアとは、あるエリアが状態に影響を与えたエリア、又はあるエリアの状態が影響を受けたエリアである。例えば
A.isDisplayed() -> !B.isHidden()
の制約式では、エリアＡがエリアＢの表示を抑制した場合、エリアＡは影響を与えたエリアであり、エリアＢは影響を受けたエリアである。即ち、「コンテントＡオン要求、且つコンテントＢオン要求」があるときは、影響エリアはエリアＡとエリアＢとなり、逆に、「コンテントＡオン要求、且つコンテントＢオン要求」でないときは、影響エリアは存在しない。
A.isDisplayed() -> !B.isHidden()
の制約式では、エリアＡがエリアＢの表示を抑制した場合、エリアＡは影響を与えたエリアであり、エリアＢは影響を受けたエリアである。即ち、「コンテントＡオン要求、且つコンテントＢオン要求」があるときは、影響エリアはエリアＡとエリアＢとなり、逆に、「コンテントＡオン要求、且つコンテントＢオン要求」でないときは、影響エリアは存在しない。
【0062】
影響エリアを以下のように特定する。例えば
A.isDisplayed() AND !B.isDisplayed() -> !C.isDisplayed()
の制約式では、図１９に示すツリー構造となり、エリアＣの調停時にコンテント１を割り当て、制約式を評価したとき、制約式の評価結果がfalseとなり、影響エリアの特定を行う。
手順１：->の左辺をtrueにしたエリア（評価結果がtrueの構文の対象エリア）を走査する。
手順２：エリアＡを抽出する。
手順３：否定により走査対象を反転させ、評価結果がfalseの構文の対象エリアを走査する。
手順４：エリアＢを抽出する。
A.isDisplayed() AND !B.isDisplayed() -> !C.isDisplayed()
の制約式では、図１９に示すツリー構造となり、エリアＣの調停時にコンテント１を割り当て、制約式を評価したとき、制約式の評価結果がfalseとなり、影響エリアの特定を行う。
手順１：->の左辺をtrueにしたエリア（評価結果がtrueの構文の対象エリア）を走査する。
手順２：エリアＡを抽出する。
手順３：否定により走査対象を反転させ、評価結果がfalseの構文の対象エリアを走査する。
手順４：エリアＢを抽出する。
【0063】
図１８に例示したモデルでは、以下に示す影響エリアの再調停を行う。
手順１：ワンパスロジックにより、最初のエリアであるエリアＡのコンテントを決める。その結果、エリアＡにコンテントａが割り当てられる。制約式の評価は右辺に未割当エリアがあるので、スキップする。
手順１：ワンパスロジックにより、最初のエリアであるエリアＡのコンテントを決める。その結果、エリアＡにコンテントａが割り当てられる。制約式の評価は右辺に未割当エリアがあるので、スキップする。
【0064】
手順２：ワンパスロジックにより、次のエリアであるエリアＢのコンテントを決める。
２－１．エリアＢにコンテントｂを仮割り当てる。
２－２．制約式１「A.isDisplayed() -> !B.isDisplayed()」を評価する。
２－３．制約式は真→偽となり、制約式の評価結果は偽となる。
２－４．制約式の評価結果が偽となったので、影響を与えたエリアＡに調停中のエリアＢを登録する。
２－５．コンテントＣの割り当てを解除し、エリアＢの割り当てコンテントは無しで終了する。
２－１．エリアＢにコンテントｂを仮割り当てる。
２－２．制約式１「A.isDisplayed() -> !B.isDisplayed()」を評価する。
２－３．制約式は真→偽となり、制約式の評価結果は偽となる。
２－４．制約式の評価結果が偽となったので、影響を与えたエリアＡに調停中のエリアＢを登録する。
２－５．コンテントＣの割り当てを解除し、エリアＢの割り当てコンテントは無しで終了する。
【0065】
手順３：ワンパスロジックにより、次のエリアであるエリアＣのコンテントを決める。
３－１．エリアＣにコンテントＣを仮割り当てる。
３－２．制約式２「C.isDisplayed() -> !A.isDisplayed()」を評価する。
３－３．制約式は真→偽となり、制約式の評価結果は偽となる。
３－４．含意の右辺（エリアＡ）が調停済みだったので、エリアＡを再調停する。具体的には、コンテントＣの割り当てを是とし、エリアＡでコンテントの割り当てをやり直す。
３－１．エリアＣにコンテントＣを仮割り当てる。
３－２．制約式２「C.isDisplayed() -> !A.isDisplayed()」を評価する。
３－３．制約式は真→偽となり、制約式の評価結果は偽となる。
３－４．含意の右辺（エリアＡ）が調停済みだったので、エリアＡを再調停する。具体的には、コンテントＣの割り当てを是とし、エリアＡでコンテントの割り当てをやり直す。
【0066】
手順４：次のエリアであるエリアＡのコンテントを決める（再調停）。
４－１．エリアＡにコンテントａを仮割り当てる。
４－２．制約式は真→偽となり、制約式の評価結果は偽となる。
４－３．制約式の評価結果が偽になったので、影響を与えたエリアＣに調停中のエリアＡを登録する。
４－４．コンテントａの仮割り当てを解除し、エリアＡの割り当てコンテントは無しで終了する。この段階で、エリアＡ、エリアＢはコンテント未割当、エリアＣはコンテントｃが割り当たっている。エリアＡを再調停したので、エリアＡの影響を受けているエリアＢの再調停を行う。具体的には、エリアＡのコンテントの未割り当てを是とし、エリアＢでコンテントの割り当てをやり直す。
４－１．エリアＡにコンテントａを仮割り当てる。
４－２．制約式は真→偽となり、制約式の評価結果は偽となる。
４－３．制約式の評価結果が偽になったので、影響を与えたエリアＣに調停中のエリアＡを登録する。
４－４．コンテントａの仮割り当てを解除し、エリアＡの割り当てコンテントは無しで終了する。この段階で、エリアＡ、エリアＢはコンテント未割当、エリアＣはコンテントｃが割り当たっている。エリアＡを再調停したので、エリアＡの影響を受けているエリアＢの再調停を行う。具体的には、エリアＡのコンテントの未割り当てを是とし、エリアＢでコンテントの割り当てをやり直す。
【0067】
手順５：次のエリアであるエリアＢのコンテントを決める（影響エリアの再調停）。
５－１．エリアＢにコンテントｂを仮割り当てる。
５－２．制約式は偽→偽となり、制約式の評価結果は真となる。
５－３．結果、エリアＢにコンテントｂが割り当たる
５－１．エリアＢにコンテントｂを仮割り当てる。
５－２．制約式は偽→偽となり、制約式の評価結果は真となる。
５－３．結果、エリアＢにコンテントｂが割り当たる
【0068】
以上に説明したように、図２０に示すように、エリアＡの調停、エリアＢの調停、エリアＣの調停、エリアＡの再調停、影響エリアであるエリアＢの再調停を順次行う。その結果、図２１に示すように、エリアＣにコンテントｃが表示中にエリアＡのコンテントの割り当てはなくなり、エリアＡの制約がなくなったことで、エリアＢにコンテントｂが割り当たり、仕様開発者の意図通りの結果を得ることができる。
【0069】
表示制御装置１０は、図２２及び図２３に示す調停中エリア登録処理を行い、影響エリアを調停中エリアに登録する。表示制御装置１０は、調停中エリア登録処理を開始すると、調停対象エリアの調停済みフラグをクリアする（Ｓ３１）。表示制御装置１０は、調停済みフラグが未調停のエリアであるか否かを判定し（Ｓ３２）、調停済みフラグが未調停のエリアでないと判定すると（Ｓ３２：ＮＯ）、調停中エリア登録処理を終了する。
【0070】
一方、表示制御装置１０は、調停済みフラグが未調停のエリアであると判定すると（Ｓ３２：ＹＥＳ）、エリアにコンテントを割り当て（Ｓ３３）、コンテント割り当てに関する制約式のリストにしたがって制約式を評価する制約式評価処理に移行する。（Ｓ３４）。
【0071】
表示制御装置１０は、制約式評価処理を開始すると、制約式を評価し（Ｓ４１）、制約式の評価結果がtrueであるか否かを判定する（Ｓ４２）。表示制御装置１０は、制約式の評価結果がtrueであると判定すると（Ｓ４２：ＹＥＳ）、影響エリアを特定し（Ｓ４３）、影響エリアに調停中エリアを登録し（Ｓ４４）、制約式評価処理を終了する。
【0072】
表示制御装置１０は、制約式評価処理を終了すると、制約式の評価結果がtrueであるか否かを判定する（Ｓ３５）。表示制御装置１０は、制約式の評価結果がtrueでなく、falseであると判定すると（Ｓ３５：ＮＯ）、ステップＳ３３に戻り、ステップＳ３３以降を繰り返す。表示制御装置１０は、制約式の評価結果がtrueであると判定すると（Ｓ３５：ＹＥＳ）、調停中エリアの隠蔽状態を更新し（Ｓ３６）、隠蔽状態に関する制約式のリストにしたがって制約式を評価する制約式評価処理に移行する（Ｓ３７）。
【0073】
表示制御装置１０は、制約式評価処理を開始すると、制約式を評価し（Ｓ４１）、制約式の評価結果がtrueであるか否かを判定する（Ｓ４２）。表示制御装置１０は、制約式の評価結果がtrueであると判定すると（Ｓ４２：ＹＥＳ）、影響エリアを特定し（Ｓ４３）、影響エリアに調停中エリアを登録し（Ｓ４４）、制約式評価処理を終了する。
【0074】
表示制御装置１０は、制約式評価処理を終了すると、制約式の評価結果がtrueであるか否かを判定する（Ｓ３８）。表示制御装置１０は、制約式の評価結果がtrueでなく、falseであると判定すると（Ｓ３８：ＮＯ）、ステップＳ３６に戻り、ステップＳ３６以降を繰り返す。表示制御装置１０は、制約式の評価結果がtrueであると判定すると（Ｓ３８：ＹＥＳ）、調停により調停中のエリアが変化したか否かを判定する（Ｓ３９）。
【0075】
表示制御装置１０は、調停により調停中のエリアが変化しなかったと判定すると（Ｓ３９：ＮＯ）、ステップＳ３６に戻り、ステップＳ３６以降を繰り返す。表示制御装置１０は、調停により調停中のエリアが変化したと判定すると（Ｓ３９：ＹＥＳ）、影響エリアを更新し（Ｓ４０）、ステップＳ３２に戻り、ステップＳ３２以降を繰り返す。尚、上記した調停中エリア登録処理において、アプリケーションからの表示要求を受け付ける前に、制約式を評価した評価結果を解析し、影響エリアを特定しておいても良い。
【0076】
（２）調停ロジックフローの例２
定義、エリア同士の視認性の関係、制約式、要求発生順序を以下に示す条件とした場合を例示する。
定義：
エリアＡはコンテントａ１を表示可能、
エリアＢはコンテントｂ１を表示可能、
エリアＣはコンテントｃ１，ｃ２を表示可能、
エリアＤはコンテントｄ１を表示可能
エリア同士の視認性の関係：
エリアＡ＞エリアＢ＞エリアＣ＞エリアＤ
制約式
１．A.isDisplayed() -> !c2.isVisible()「Aを表示中はc2を表示しない」
２．c1.isVisible() -> B.isHidden()「c1を表示中はBを表示しない」
３．D.isDisplayed() -> A.isHidden()「Dを表示中はAを表示しない」
要求発生順序：
コンテントａ１、コンテントｂ１、コンテントｃ１、コンテントｃ２、コンテントｄ１の順序で表示要求が発生
定義、エリア同士の視認性の関係、制約式、要求発生順序を以下に示す条件とした場合を例示する。
定義：
エリアＡはコンテントａ１を表示可能、
エリアＢはコンテントｂ１を表示可能、
エリアＣはコンテントｃ１，ｃ２を表示可能、
エリアＤはコンテントｄ１を表示可能
エリア同士の視認性の関係：
エリアＡ＞エリアＢ＞エリアＣ＞エリアＤ
制約式
１．A.isDisplayed() -> !c2.isVisible()「Aを表示中はc2を表示しない」
２．c1.isVisible() -> B.isHidden()「c1を表示中はBを表示しない」
３．D.isDisplayed() -> A.isHidden()「Dを表示中はAを表示しない」
要求発生順序：
コンテントａ１、コンテントｂ１、コンテントｃ１、コンテントｃ２、コンテントｄ１の順序で表示要求が発生
【0077】
この場合は、図２４に示すように、エリアＡの調停、エリアＢの調停、エリアＣの調停、エリアＢの再調停、エリアＤの調停、エリアＡの再調停、影響エリアであるエリアＣの再調停、影響エリアであるエリアＢの再調停を順次行う。
【0078】
図２５及び図２６に示すように、無限ループを発生させないために再調停中において同一エリアは一度しか再調停を行わない。
定義、エリア同士の視認性の関係、制約式、要求発生順序を以下に示す条件とした場合を例示する。
定義：
エリアＡはコンテントａを表示可能、
エリアＢはコンテントｂを表示可能、
エリアＣはコンテントｃを表示可能、
エリア同士の視認性の関係：
エリアＡ＞エリアＢ＞エリアＣ
制約式
１．A.isDisplayed() -> B.isHidden()「Aを表示中はBを表示しない」
２．B.isDisplayed() -> C.isHidden()「Bを表示中はCを表示しない」
３．C.isDisplayed() -> A.isHidden()「Cを表示中はAを表示しない」
要求発生順序：
コンテントａ、コンテントｂ、コンテントｃの順序で表示要求が発生
再調停元のエリアであるエリアＡが、調停中のエリアであるエリアＣに影響を受けたエリアとなった場合は、そのエリアＡを再調停の対象から除外して影響エリアの再調停を行う。即ち、影響エリアとして特定したエリアの再調停を１回のみ行う。
定義、エリア同士の視認性の関係、制約式、要求発生順序を以下に示す条件とした場合を例示する。
定義：
エリアＡはコンテントａを表示可能、
エリアＢはコンテントｂを表示可能、
エリアＣはコンテントｃを表示可能、
エリア同士の視認性の関係：
エリアＡ＞エリアＢ＞エリアＣ
制約式
１．A.isDisplayed() -> B.isHidden()「Aを表示中はBを表示しない」
２．B.isDisplayed() -> C.isHidden()「Bを表示中はCを表示しない」
３．C.isDisplayed() -> A.isHidden()「Cを表示中はAを表示しない」
要求発生順序：
コンテントａ、コンテントｂ、コンテントｃの順序で表示要求が発生
再調停元のエリアであるエリアＡが、調停中のエリアであるエリアＣに影響を受けたエリアとなった場合は、そのエリアＡを再調停の対象から除外して影響エリアの再調停を行う。即ち、影響エリアとして特定したエリアの再調停を１回のみ行う。
【0079】
本実施形態によれば、以下に示す作用効果を得ることができる。表示制御装置１０において、エリアの再調停を行うと、その再調停を行ったことによって影響を与えた影響エリアとして特定したエリアの再調停を行うようにした。再調停前の状態によって制約を受けていたエリアは制約が解消され、更に解消された制約を加味した結果を得ることができる。これにより、再調停を行ったことによってエリアの状態が変化した時に、仕様開発者の意図通りの結果を適切に得ることができる。
【0080】
アプリケーションからの表示要求を受け付ける前に、制約式を評価した評価結果を解析し、影響エリアを特定すれば、アプリケーションからの表示要求を受け付けてからの処理時間を短縮することができる。
影響エリアとして特定したエリアの再調停を１回のみ行うようにした。再調停が終わらない状況を回避することができ、無限ループの発生を回避することができる。
影響エリアとして特定したエリアの再調停を１回のみ行うようにした。再調停が終わらない状況を回避することができ、無限ループの発生を回避することができる。
【0081】
本開示は、実施形態に準拠して記述されたが、当該実施形態や構造に限定されるものではないと理解される。本開示は、様々な変形例や均等範囲内の変形をも包含する。加えて、様々な組み合わせや形態、更には、それらに一要素のみ、それ以上、或いはそれ以下を含む他の組み合わせや形態をも、本開示の範疇や思想範囲に入るものである。
車両用に限らず、車両用以外の用途のコンテントの表示制御装置に適用しても良い。
本開示に記載の制御部及びその手法は、コンピュータプログラムにより具体化された一つ乃至は複数の機能を実行するようにプログラムされたプロセッサ及びメモリを構成することにより提供された専用コンピュータにより実現されても良い。或いは、本開示に記載の制御部及びその手法は、一つ以上の専用ハードウェア論理回路によりプロセッサを構成することにより提供された専用コンピュータにより実現されても良い。若しくは、本開示に記載の制御部及びその手法は、一つ乃至は複数の機能を実行するようにプログラムされたプロセッサ及びメモリと一つ以上のハードウェア論理回路により構成されたプロセッサとの組み合わせにより構成された一つ以上の専用コンピュータにより実現されても良い。又、コンピュータプログラムは、コンピュータにより実行されるインストラクションとして、コンピュータ読み取り可能な非遷移有形記録媒体に記憶されていても良い。
車両用に限らず、車両用以外の用途のコンテントの表示制御装置に適用しても良い。
本開示に記載の制御部及びその手法は、コンピュータプログラムにより具体化された一つ乃至は複数の機能を実行するようにプログラムされたプロセッサ及びメモリを構成することにより提供された専用コンピュータにより実現されても良い。或いは、本開示に記載の制御部及びその手法は、一つ以上の専用ハードウェア論理回路によりプロセッサを構成することにより提供された専用コンピュータにより実現されても良い。若しくは、本開示に記載の制御部及びその手法は、一つ乃至は複数の機能を実行するようにプログラムされたプロセッサ及びメモリと一つ以上のハードウェア論理回路により構成されたプロセッサとの組み合わせにより構成された一つ以上の専用コンピュータにより実現されても良い。又、コンピュータプログラムは、コンピュータにより実行されるインストラクションとして、コンピュータ読み取り可能な非遷移有形記録媒体に記憶されていても良い。
【符号の説明】
【0082】
図面中、１０はコンテントの表示制御装置（出力制御装置）、１２は記憶部、１３は調停部、１４は表示制御部（出力制御部）である。
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】
【図18】
【図19】
【図20】
【図21】
【図22】
【図23】
【図24】
【図25】
【図26】