【手続補正書】
【提出日】令和2年2月26日(2020.2.26)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
モデル要素と前記モデル要素間のリンクとを含むモデルについて、
前記モデル要素及び前記リンクの少なくとも一部が、宣言型言語によって定義され、かつ前記モデルの実行可能エンティティを形成しており、
前記モデル要素及び前記リンクの前記少なくとも一部の挙動が、前記宣言型言語によって暗黙的に定義された計算上の実施形態を含み、
前記モデルが、第１のグラフィカル表示形式である場合に、
（ａ）１以上のプロセッサにより、前記モデル及び前記計算上の実施形態を分析し、
（ｂ）前記１以上のプロセッサにより、前記分析に基づいて、前記計算上の実施形態の構造を変更することなく調節可能な前記モデルの前記実行可能エンティティの調節可能な属性を自動的に決定し、前記調節可能な属性が所定の特徴を有し、当該所定の特徴に基づいて、前記モデルの前記実行可能エンティティが実行され、
（ｃ）前記第１のグラフィカル表示形式とは異なる前記モデルの第２のグラフィカル表示形式で前記モデルと共に表示するために、前記１以上のプロセッサにより、前記調節可能な属性のうちの少なくとも１つを抽出し、前記調節可能な属性のうちの前記少なくとも１つが、
（ｉ）前記モデルの所与の実行可能エンティティの実行を呼び出すためのエントリポイント、（ｉｉ）前記モデルの前記所与の実行可能エンティティの実行速度、及び（ｉｉｉ）前記モデルの前記所与の実行可能エンティティによって使用されるサービスのタイプのうちの少なくとも１つを含み、かつ
対応する所定の特徴を有し、
（ｄ）インターフェースを生成し、
（ｅ）前記調節可能な属性のうちの前記少なくとも１つを前記インターフェースに明示的に表示することにより、前記調節可能な属性のうちの前記少なくとも１つを、前記対応する所定の特徴とは異なる特徴を有するように調節することを可能にすること
を含む、方法。
【請求項２】
前記所与の実行可能エンティティは、前記モデル要素又はリンクのうちの１以上を含む、請求項１に記載の方法。
【請求項３】
前記モデル及び前記計算上の実施形態を分析することは、前記モデルを分割することにより、前記モデルに含まれる複数の前記実行可能エンティティを決定することを含む、請求項１又は請求項２に記載の方法。
【請求項４】
前記インターフェースは、１以上の明示的イベント又は１以上の暗黙的イベントによってトリガー駆動されるように調節される、請求項１〜３の何れか一項に記載の方法。
【請求項５】
前記１以上の明示的イベントは、ファンクションコール又はメッセージであり、前記１以上の暗黙的イベントは、トリガ信号又は周期的タイマーである、請求項４に記載の方法。
【請求項６】
第１の実行可能エンティティは、前記モデル内の第１の階層レベルにあり、第２の実行可能エンティティは、前記モデル内の前記第１の階層レベルとは異なる第２の階層レベルにあり、
前記第１の実行可能エンティティの第１のインターフェース及び前記第２の実行可能エンティティの第２のインターフェースは、同じメカニズム又は異なるメカニズムによってトリガー駆動されるように調節される、請求項１〜５の何れか一項に記載の方法。
【請求項７】
前記モデル内の前記調節可能な属性のうちの前記少なくとも１つを前記第２のグラフィカル表現形式で表示することを含む、請求項１〜６の何れか一項に記載の方法。
【請求項８】
前記モデルは、前記第１のグラフィカル表現形式及び前記第２のグラフィカル表現形式で実行可能である、請求項１〜７の何れか一項に記載の方法。
【請求項９】
前記モデルのためのコードを生成することをさらに含み、前記コードは、前記調節可能な属性のうちの前記抽出された少なくとも１つに対応する部分を含む、請求項１〜８の何れか一項に記載の方法。
【請求項１０】
複数の実行可能エンティティを含むグラフィカルモデルコンポーネントについて、
（ａ）前記グラフィカルモデルコンポーネントを前記複数の実行可能エンティティに分割し、
（ｂ）前記実行可能エンティティのうちの少なくとも１つの実行可能エンティティの１以上の調節可能な属性を識別し、前記１以上の調節可能な属性が、（ｉ）前記少なくとも１つの実行可能エンティティの実行を呼び出すためのエントリポイント、（ｉｉ）前記少なくとも１つの実行可能エンティティの実行速度、及び（ｉｉｉ）前記少なくとも１つの実行可能エンティティによって使用されるサービスのタイプのうちの少なくとも１つを含み、
（ｃ）１以上のプロセッサにより、前記グラフィカルモデルコンポーネントのためのアダプテーション層を確立し、前記アダプテーション層が、前記少なくとも１つの実行可能エンティティの前記１以上の調節可能な属性に対応する１以上のアクセスポイントを含み、
（ｄ）前記アダプテーション層に含まれる前記１以上のアクセスポイントを、１以上のグラフィカルアフォーダンスを通して公開し
（ｅ）前記１以上のプロセッサにより、前記グラフィカルモデルコンポーネントに含まれかつ前記１以上のグラフィカルアフォーダンスにリンクされたロジックを、前記少なくとも１つの実行可能エンティティの前記１以上の調節可能な属性にバインドすること、並びに
（ｆ）次の（ｆ１）及び（ｆ２）：
（ｆ１）前記１以上のグラフィカルアフォーダンスにリンクされた前記ロジックを使用して、前記グラフィカルモデルコンポーネントの実行中に、（ｉ）前記エントリポイントを通して前記少なくとも１つの実行可能エンティティの実行を呼び出すこと、（ｉｉ）前記少なくとも１つの実行可能エンティティの前記実行速度を決定すること、及び（ｉｉｉ）前記少なくとも１つの実行可能エンティティによって使用される前記サービスのタイプを提供することのうちの少なくとも１つを実施することのうちの少なくとも１つを実施すること、及び
（ｆ２）前記グラフィカルモデルコンポーネントのためのコードを生成し、前記生成されたコードが、前記１以上のグラフィカルアフォーダンスにリンクされた前記ロジックを実施することにより、（ｉ）前記エントリポイントを通して前記少なくとも１つの実行可能エンティティの実行を呼び出すこと、（ｉｉ）前記少なくとも１つの実行可能エンティティの前記実行速度に従うこと、及び（ｉｉｉ）前記少なくとも１つの実行可能エンティティによって使用される前記サービスのタイプを提供することのうちの少なくとも１つを実施すること
のうちの少なくとも一方
を含む、方法。
【請求項１１】
モデル要素と前記モデル要素間のリンクとを含むモデルについて、
前記モデル要素及びリンクの少なくとも一部が、宣言型言語によって定義され、かつ前記モデルの実行可能エンティティを形成しており、
前記モデル要素及び前記リンクの前記少なくとも一部の挙動が、前記宣言型言語によって暗黙的に定義された計算上の実施形態を含む場合に、
（ａ）１以上のプロセッサにより、前記計算上の実施形態の構造を変更することなく調節可能な前記モデルの前記実行可能エンティティの調節可能な属性を識別し、前記調節可能な属性が所定の特徴を有し、当該所定の特徴に基づいて、前記モデルの前記可能エンティティが実行され、
前記調節可能な属性は、（ｉ）前記実行可能エンティティの実行を呼び出すためのエントリポイント、（ｉｉ）前記実行可能エンティティの実行速度、及び（ｉｉｉ）前記実行可能エンティティによって使用されるサービスのタイプのうちの少なくとも１つを含み、
前記調節可能な属性のうちの少なくとも１つが、対応する所定の特徴を有し、前記対応する所定の特徴とは異なる特徴を有するように調節され、
（ｂ）前記１以上のプロセッサにより、前記モデルのためのコードを生成し、前記コードが、前記調節可能な属性に対応する１以上の第１のコード部分と、前記計算上の実施形態に対応する１以上の第２のコード部分とを含み、前記調節可能な属性のうちの前記少なくとも１つの調節によって、前記１以上の第２のコード部分に影響を及ぼすことなく、前記１以上の第１のコード部分の調節がもたらされる、方法。
【請求項１２】
複数の実行可能エンティティを含むグラフィカルモデルコンポーネントについて、
（ａ）前記グラフィカルモデルコンポーネントの前記複数の実行可能エンティティの調節可能な属性を識別し、
前記調節可能な属性が、（ｉ）前記複数の実行可能エンティティの実行を呼び出すためのエントリポイント、（ｉｉ）前記複数の実行可能エンティティの実行速度、及び（ｉｉｉ）前記複数の実行可能エンティティによって使用されるサービスのタイプのうちの少なくとも１つを含み、
前記グラフィカルモデルコンポーネントのためのアダプテーション層が、前記複数の実行可能エンティティの前記調節可能な属性のためのアクセスポイントを含み、
（ｂ）少なくとも１つのプロセッサにより、前記グラフィカルモデルコンポーネントのためのコードを生成し、前記コードが、前記複数の実行可能エンティティの前記調節可能な属性のための前記アクセスポイントにリンクされた選択可能なロジックを実施する１以上のコード部分を含み、前記選択可能なロジックが、（ｉ）前記グラフィカルモデルコンポーネントの前記複数の実行可能エンティティのうちの少なくとも１つの実行を呼び出すこと、（ｉｉ）前記複数の実行可能エンティティのうちの前記少なくとも１つの前記実行速度に従うこと、及び（ｉｉｉ）前記複数の実行可能エンティティのうちの前記少なくとも１つによって使用される前記サービスのタイプを提供することのうちの少なくとも１つのためのアクセスメソッドを実施すること
を含む、方法。