一般に、タスクは、活動を決定する要素として活動のデジタルモデルに法的に重要な文書を含めることとして定式化できます。
問題を解決するとき、私たちはいくつかのエンティティを扱います
- 部分的に順序付けられた一連のアクションで構成されるアクティビティ
- 法的に行動を保証する一連の事実である文書、
- 権利を有し、文書に記載された事実に従って行動を起こす俳優、
- 活動のデジタルモデル、俳優の行動の処方と修正。
前述のように、問題は、文書で意味的に定義されている法的に重要な事実とデジタルモデルのアクションとの間に技術的なギャップがあり、その実行が論理的/因果的に事実と一致している必要があることです。アクティビティを実装するには、ブレークポイントに、一方ではドキュメントのセマンティクスを理解している、つまり、ドキュメントからアクションを法的に規定しているという事実を分離でき、他方ではこのアクションを実行する権限を持つアクターが必要です。現時点では、そのようなアクターとして行動できるのは人だけです-文書（契約書、証明書、卒業証書など）によってサポートされる適切な権限を持つ法律の主題。
ドキュメントファイル内のテキストの意味はデジタルモデルのアクティビティでは利用できないため、電子ドキュメントを使用しても問題は解決されません。つまり、まず、ドキュメントのセマンティクスのデジタルアクティビティモデルを「理解する」という問題を解決する必要があります。同時に、自然言語で書かれたテキストの内容の直接認識について（たとえば、MLテクノロジを使用して）話すべきではないことは明らかです。これは、そのような「理解」の結果を明確に認識できないためです。満足のいくものを検討することは困難で、ブロックチェーン業界で提案されているソリューションは、ドキュメント（契約）をプログラミング言語に完全に翻訳すること、つまり、いわゆる「スマートコントラクト」を使用することです。
技術的なギャップの問題に対する最も適切な解決策は、ドキュメントの記述とアクティビティのモデル化の両方に、セマンティックデータマークアップ言語を使用することです。そのようなイデオロギーでは、この言語のステートメントの形式でドキュメントに記録された事実は、この事実によって規定されたアクションを実行するコマンドとしてデジタルモデルで解釈されるべきです。このアプローチの理想的な実装では、実際には、各ドキュメントをアクティビティモデルのフラグメントとして解釈する必要があります。アクティビティとドキュメントのセマンティックな記述のための言語が普遍的である、つまり、主題領域とは無関係であるだけでなく、アクティビティの特定のデジタルモデルに対して人間が読めるようにすることが非常に重要です。そのような言語の基礎は、セマンティックWeb（RDF / OWLなど）でデータを表すための仕様のスタックである場合があります。
ただし、技術的な障壁に加えて、信頼の問題もあります。つまり、ドキュメントとアクターのアクションの両方の法的重要性の確認です。アクティビティのモデルでは、人間と同等の基準で、ソフトウェアエージェント（セマンティックマークアップ言語で記述されたコマンドを実行するコントローラー）も機能します。文書によると、信頼の問題は2つのタスクに分かれます。（1）文書の法的重要性（そのすべての事実）の確認、および（2）アクターによって実行されたアクションの改ざんの証明。
最初のタスクは、文書の準備および承認中に、文書のすべての不可分の事実の秘密鍵を使用して取引相手のアクターによって署名することによって解決されます。その結果、ドキュメントは有向非循環グラフである必要があり、そのノードはそのアトミックファクト（以前のファクトのハッシュを含む）に関するステートメントであり、エッジは論理条件付き関係です。一方では、このドキュメントはアクティビティモデルのフラグメントとして使用する必要があります。他方では、ドキュメントである規範的な辞書を使用して、そのコンテンツを（プログラムで、または直接目で）読み取ることができます。そしてもちろん、ドキュメント、またはドキュメント内の事実は、不変性と作成者をチェックできます。 （ドキュメントは編集されず、変更および追加はグラフの拡張として行われることに注意してください。以前の同様のステートメントをキャンセルします。つまり、変更履歴全体がドキュメント自体に保存されます）。
ドキュメントを含むモデルに従って実行されたアクションの結果の法的重要性を認識するタスクは、2つのサブタスクに削減されます：（1）アクター-人物またはソフトウェアエージェント-秘密キーで署名されたアクションを実行する権利のチェック（2）結果の偶発的または意図的な改ざんの排除行動。最初のタスクは、システム内の関連ドキュメントの署名の関連性を自動的にチェックすることです。現時点での結果の有効性の問題は、ピアツーピアネットワークのノードである、アクティビティモデルの多くの独立した実行者のコンセンサスに到達することによってのみ解決できます。
したがって、提案されたソリューションのイデオロギーの基礎は、アクティビティの1つのデジタルモデルに組み合わせる必要性のアイデアです：（1）アクションのアルゴリズム、（2）これらのアクションの法的条件を決定するドキュメント、（3）アクションのアクター、および（4）アクティビティ自体実際、完全にデジタル化されています。
ソリューションの技術的基盤は、今日の標準テクノロジーで構成されています。
- ドキュメントの暗号化と署名の暗号化方法、
- 鍵管理システム
- コンセンサストランザクション検証を備えたピアツーピアネットワーク
- セマンティックデータマークアップ言語。
解決する必要のある技術的問題には、データのセマンティック表現をアクティビティをモデル化するためのセマンティック言語にスタックする仕様の開発が含まれます（実際、私たちは時間のセマンティクスの紹介について話している）。セマンティクスとアクティビティ
も参照してください