En général, la tâche peut être formulée comme l'inclusion de documents juridiquement significatifs dans le modèle numérique d'activité en tant qu'éléments qui déterminent l'activité.
Lors de la résolution d'un problème, nous avons affaire à plusieurs entités
- une activité consistant en une séquence d'actions partiellement ordonnée,
- un document qui est un ensemble de faits garantissant légalement une action,
- un acteur qui a le droit et accomplit des actions conformément aux faits énoncés dans le document,
- un modèle numérique d'activité qui prescrit et fixe les actions de l'acteur.
Comme indiqué, le problème est qu'il existe un écart technologique entre un fait juridiquement significatif, défini sémantiquement dans un document, et une action dans un modèle numérique, dont l'exécution doit être logiquement / causalement cohérente avec le fait. Pour mettre en œuvre l'activité, il doit y avoir un acteur au point de rupture qui, d'une part, comprend la sémantique du document, c'est-à-dire est capable d'isoler du document un fait qui stipule légalement l'action, et, d'autre part, a le droit de réaliser cette action. Pour le moment, seule une personne peut agir en tant que tel acteur - un sujet de droit doté de pouvoirs appropriés, étayé par des documents (contrats, certificats, diplômes, etc.).
Le problème n'est pas résolu par l'utilisation de documents électroniques, car la signification du texte dans le fichier de document n'est pas disponible pour le modèle numérique d'activité. C'est-à-dire tout d'abord que le problème de la «compréhension» du modèle d'activité numérique de la sémantique du document doit être résolu. Dans le même temps, il est évident que nous ne devrions pas parler de reconnaissance directe du contenu d'un texte écrit dans un langage naturel (par exemple, avec l'implication des technologies ML), car le résultat d'une telle «compréhension» ne peut être reconnu comme sans ambiguïté. Il est difficile de juger satisfaisante et la solution proposée dans l'industrie de la blockchain, qui consiste en la traduction complète de documents (contrats) dans un langage de programmation, c'est-à-dire l'utilisation de «contrats intelligents».
La solution la plus appropriée au problème d'une lacune technologique peut être considérée comme l'utilisation d'un seul, à la fois pour la description des documents et pour les activités de modélisation, un langage de balisage sémantique de données. Dans une telle idéologie, un fait consigné dans un document sous la forme d'un énoncé dans cette langue doit être interprété dans une maquette numérique comme une commande pour exécuter l'action prescrite par ce fait. Dans une mise en œuvre idéale de cette approche, chaque document doit en fait être interprété comme un fragment d'un modèle d'activité. Il est extrêmement important que le langage pour la description sémantique des activités et des documents soit universel, c'est-à-dire indépendant du domaine, ainsi que lisible par l'homme à l'extérieur et avant des modèles numériques spécifiques d'activité. La base d'un tel langage peut être une pile de spécifications pour représenter des données sur le Web sémantique (RDF / OWL, etc.).
Cependant, en plus de la barrière technologique, il y a aussi le problème de la confiance, c'est-à-dire la confirmation de la signification juridique à la fois du document et des actions de l'acteur, en qualité de laquelle dans le modèle d'activité, sur un pied d'égalité avec une personne, un agent logiciel (un contrôleur exécutant des commandes écrites en langage de balisage sémantique) peut également agir. Le problème de la confiance se décompose en deux tâches: (1) la confirmation de la signification juridique du document (tous ses faits) et (2) la preuve de la non-falsification de l'action réalisée par l'acteur, selon le document.
La première tâche est résolue en signant par les acteurs de la contrepartie avec leurs clés privées tous les faits atomiques du document lors de sa préparation et de son approbation. En conséquence, le document doit être un graphe acyclique dirigé, dont les nœuds sont des déclarations sur ses faits atomiques (y compris les hachages des faits précédents), et les arêtes sont des relations de conditionnement logiques. D'une part, ce document doit être utilisé comme fragment d'un modèle d'activité, d'autre part, son contenu peut être «lu» (par programmation ou directement avec les yeux) à l'aide de dictionnaires normatifs, qui sont également des documents. Et bien sûr, le document, ou plutôt n'importe quel fait dans le document, peut être vérifié pour son invariabilité et sa paternité. (Il est à noter que le document n'est pas édité, les modifications et ajouts sont effectués sous forme d'extensions de graphes,annulation des déclarations similaires précédentes, c'est-à-dire que tout l'historique des modifications est enregistré dans le document lui-même).
La tâche de reconnaissance de la signification juridique du résultat d'une action réalisée selon un modèle qui inclut un document se réduit à deux sous-tâches: (1) vérifier le droit d'un acteur - une personne ou un agent logiciel - d'exécuter une action signée par sa clé privée, (2) à l'exclusion de la falsification accidentelle ou délibérée du résultat Actions. La première tâche consiste à vérifier automatiquement la pertinence des signatures des documents pertinents dans le système. Le problème de la validité du résultat pour le moment ne peut être résolu qu'en atteignant un consensus de nombreux exécutants indépendants du modèle d'activité, qui sont des nœuds d'un réseau peer-to-peer.
Ainsi, la base idéologique de la solution proposée est l'idée de la nécessité de combiner en un seul modèle numérique d'activité: (1) un algorithme d'actions, (2) un document qui détermine la conditionnalité juridique de ces actions, (3) un acteur d'actions, et (4) l'activité elle-même, qui, selon en fait, passe complètement au numérique.
La base technologique de la solution est constituée des technologies standards d'aujourd'hui:
- méthodes cryptographiques de cryptage et de signature de documents,
- les systèmes de gestion de clés,
- réseaux peer-to-peer avec validation de transaction par consensus,
- langages de balisage de données sémantiques.
Les problèmes technologiques à résoudre incluent le développement d'un empilement de spécifications pour la représentation sémantique des données vers un langage sémantique pour l'activité de modélisation (en fait, il s'agit d'une introduction à la sémantique du temps).
Voir aussi Sémantique et activité