SEQUALフレームワークは、モデルの品質を評価するためのシステムモデリング参照モデルです。SEQUALフレームワークは「記号論的品質フレームワーク」の略で、1990年代からジョン・クロッグスティらが開発してきました。 [ 1 ]
SEQUALフレームワークは、チャールズ・W・モリスなどの記号論理論に基づいた、いわゆる「トップダウン品質フレームワーク」です。この理論に基づいて、「モデル、知識体系、ドメイン、モデリング言語、学習、行動、モデリングの活動間の関係に基づいて、いくつかの品質側面を定義します」[ 2 ] 。メンドリングら(2006)によると、その有用性はムーディーらによる2002年の実験で確認されました[ 3 ]。
SEQUALフレームワークの基本的な考え方は、「概念モデルは言語における一連の記述とみなすことができ、したがって記号論的/言語学的観点から評価できる」というものである。概念モデルを評価するための最初の記号論的フレームワークは、1994年の論文「概念モデリングにおける品質の理解」でLindlandらによって最初に提案された。[ 4 ]その初期バージョンでは、3つの品質レベルが考慮されていた。
このフレームワークは後に拡張され、1995年の論文「概念モデルの品質側面を定義する」[ 5 ]でKrogstieらによってSEQUALフレームワークと呼ばれた。2002年の論文「インタラクティブモデルの品質」 [ 6 ]では、KrogstieとJørgensenが最初のフレームワークを拡張し、Stamperの記号論的梯子のレベルをさらに追加した。[ 7 ]
モデリングは、工学、経済学、ソフトウェア工学など、多くの技術分野において不可欠な要素です。この文脈において、モデルとは、ビジネスモデルやUMLによるソフトウェアの形式的な記述など、組織システムの形式的な表現を指します。
ジョン・クロッグスティ(2006)[ 1 ]によれば、モデル活性化とは、モデルが現実世界に影響を与えるプロセスである。モデル活性化には、行為者がモデルを解釈し、それに応じてある程度行動を調整することが含まれる。このプロセスは次のようになる。
品質フレームワークは、以下の8つの項目で構成されています。
物理的品質の主な3つの側面は以下のとおりです。
外部化とは、モデラーの概念を何らかのモデル形式で提示し、他者がそれを理解できるようにすることです。他者はそれを見て議論することができます。他者がモデルをどのように認識するかは、内面化の問題です。モデルを各自の方法で認識した後、議論したり、それに応じて考えを変えたりすることができます。他者に理解してもらうためには、共通のモデル言語を持つことが望ましいです。物理的品質とは、利用可能であるべきモデル言語を使用してモデルを外部化できる可能性を指し、もちろん、聴衆が内面化できるように永続的な方法で行われる必要があります。
モデルはどの程度ユーザーにとって入手しやすいか?入手しやすさは配布のしやすさに左右され、特にユーザーが地理的に分散している場合はその傾向が顕著になります。電子的に配布可能な形式のモデルは、紙に印刷して普通郵便やファックスで送付する必要があるモデルよりも容易に配布できます。また、配布される内容自体も重要となる場合があります。例えば、編集可能な形式のモデルなのか、それとも出力形式のみなのかといった点です。
モデルの永続性、つまり紛失や破損に対する保護の程度はどうでしょうか?これには、関連する場合、モデルの以前のバージョンも含まれます。例えば、ディスク上のモデルの場合、バックアップコピーがあれば物理的な品質は向上し、さらに、そのバックアップが元のディスクとは独立した別のディスクに保存されていれば、品質はさらに向上します。同様に、紙のモデルの場合、バックアップコピーの量とセキュリティは不可欠です。
実証的妥当性を評価するためには、モデルが適切に外部化されている必要がある。主な側面は以下のとおりである。
基本的に、経験的品質とは「モデルは読みやすいか?」という問いに関するものです。経験的品質は、区別される要素の多様性、書き込みや読み取り時のエラー頻度、コーディング(ボックスの形状)、およびドキュメント作成ツールやモデリングツールにおけるコンピュータと人間のインタラクションのための人間工学に関係します。人間工学とは、職場設計とそれが労働者に及ぼす身体的および心理的影響を研究する学問です。この品質は、読みやすさとレイアウトに関連しています。サイズ、ソリッド度、前景/背景の違い、色(赤は他の色よりも目を引きます)、変化(点滅または動くシンボルは注意を引きます)、位置など、視覚的強調に重要な影響を与えるさまざまな要因があります。
グラフの美学に関しては、エッジ間の角度が小さすぎないこと、エッジに沿った曲がりの数を最小限に抑えること、エッジ間の交差の数を最小限に抑えること、次数が高いノードをグラフの中心に配置すること、階層内の子ノードの対称性を持つこと、グラフ内のノードの密度が均一であること、階層構造の垂直性を持つことなど、さまざまな考慮事項があるかもしれません(Battista、1994、Tamassia、1988)。
構文品質とは、モデルMと、そのモデルが記述されている言語の言語拡張Lとの間の対応関係のことである。ここでの3つの側面は以下のとおりである。
このモデルでは何が表現されているのか?このフレームワークの意味論的な目標は以下のとおりである。
知覚される意味的品質とは、行為者によるモデルの解釈と、行為者による当該領域に関する知識との関係のことである。
実用的品質とは、モデルとそれに対する人々の解釈との一致を指します。理解こそが、この枠組みにおける唯一の実用的目標です。モデルを読んだ人がそれを理解することは非常に重要です。誰も理解できない解決策は、良い解決策とは言えません。実用的品質は、モデルが参加者や世界に及ぼす影響に関係します。具体的には、以下の4つの側面が扱われます。
社会的品質の目標は合意です。知識、解釈、モデルに関する合意です。合意は、知覚された意味的品質と理解が達成された場合に成立します。合意には相対的合意と絶対的合意があります。合意の3つの部分(知識、解釈、モデル)について、以下のように定義できます。
既存の組織的現実の内面化の度合い。
改善のための活動:
質の高い言語を受け取るためには、以下の点が重要です。
言語の質が良ければ、参加者の解釈や他の技術関係者の解釈も向上します。詳細については、「モデリング言語の品質」を参照してください。
このモデルの組織的品質は、以下の点に関連しています。
代替の品質フレームワークとして、一般会計原則に基づくモデリングガイドライン(GoM)があります。このフレームワークは、「正確性、明瞭性、関連性、比較可能性、経済効率、体系的設計の6つの原則」を含んでいます。[ 2 ]イベント駆動型プロセスチェーン向けに運用化され、実験でもテストされました。[ 8 ]
SEQUAL をベースとした別の代替モデリングプロセス品質フレームワークとして、「モデリングの品質」フレームワーク (QoMo) があります。QoMo は依然として「知識状態遷移、そのような遷移を引き起こす活動のコスト、およびモデリング活動の目標構造に基づいた、予備的なモデリングプロセス指向」です。このような目標は、SEQUAL の概念に直接結びついています。[ 9 ]