Secara umum, tugas tersebut dapat dirumuskan sebagai penyertaan dokumen penting secara hukum dalam model aktivitas digital sebagai elemen yang menentukan aktivitas.
Saat memecahkan masalah, kami berhadapan dengan beberapa entitas
- suatu kegiatan yang terdiri dari urutan tindakan yang dipesan sebagian,
- sebuah dokumen yang merupakan serangkaian fakta yang secara hukum memastikan tindakan,
- seorang aktor yang memiliki hak dan melakukan tindakan sesuai dengan fakta yang dinyatakan dalam dokumen,
- model aktivitas digital yang mengatur dan memperbaiki tindakan aktor.
Sebagaimana dicatat, masalahnya adalah bahwa ada kesenjangan teknologi antara fakta signifikan secara hukum, didefinisikan secara semantik dalam dokumen, dan tindakan dalam model digital, yang pelaksanaannya harus konsisten secara logis / kausal dengan fakta. Untuk melaksanakan kegiatan, harus ada aktor di break point yang, di satu sisi, memahami semantik dokumen, yaitu, mampu mengisolasi dari dokumen fakta yang secara hukum menentukan tindakan, dan, di sisi lain, memiliki hak untuk melakukan tindakan ini. Saat ini, hanya seseorang yang dapat bertindak sebagai aktor - subjek hukum dengan kekuasaan yang sesuai, didukung oleh dokumen (kontrak, sertifikat, diploma, dll.).
Masalahnya tidak diselesaikan dengan menggunakan dokumen elektronik, karena makna teks dalam file dokumen tidak tersedia untuk model aktivitas digital. Artinya, pertama-tama, masalah "pemahaman" model aktivitas digital semantik dokumen harus dipecahkan. Pada saat yang sama, jelas bahwa kita tidak boleh berbicara tentang pengakuan langsung terhadap konten teks yang ditulis dalam bahasa alami (katakanlah, dengan keterlibatan teknologi ML), karena hasil dari "pemahaman" seperti itu tidak dapat diakui sebagai tidak ambigu. Sulit untuk mempertimbangkan memuaskan dan solusi yang diusulkan dalam industri blockchain, yang terdiri dari terjemahan lengkap dokumen (kontrak) ke dalam bahasa pemrograman, yaitu, penggunaan apa yang disebut "kontrak pintar".
Solusi yang paling tepat untuk masalah kesenjangan teknologi dapat dianggap sebagai penggunaan tunggal, baik untuk menggambarkan dokumen dan untuk kegiatan pemodelan, bahasa markup data semantik. Dalam ideologi semacam itu, fakta yang direkam dalam dokumen dalam bentuk pernyataan dalam bahasa ini harus ditafsirkan dalam model digital sebagai perintah untuk melakukan tindakan yang ditentukan oleh fakta ini. Dalam implementasi yang ideal dari pendekatan ini, setiap dokumen, pada kenyataannya, harus ditafsirkan sebagai bagian dari model kegiatan. Sangat penting bahwa bahasa untuk deskripsi kegiatan dan dokumen semantik bersifat universal, yaitu, tidak tergantung pada bidang subjek, serta luar yang dapat dibaca manusia dan untuk model aktivitas digital tertentu. Dasar dari bahasa tersebut dapat berupa setumpuk spesifikasi untuk mewakili data di Web Semantik (RDF / OWL, dll.).
Namun, selain hambatan teknologi, ada juga masalah kepercayaan, yaitu, konfirmasi signifikansi hukum dari dokumen dan tindakan aktor, dalam kapasitas yang dalam model kegiatan, atas dasar kesetaraan dengan seseorang, agen perangkat lunak (pengontrol yang menjalankan perintah yang ditulis dalam bahasa markup semantik) juga dapat bertindak. Masalah kepercayaan terbagi menjadi dua tugas: (1) konfirmasi signifikansi hukum dari dokumen (semua fakta) dan (2) bukti non-pemalsuan tindakan yang dilakukan oleh aktor, menurut dokumen.
Tugas pertama diselesaikan dengan menandatangani oleh aktor rekanan dengan kunci pribadi mereka dari semua fakta atom dokumen selama persiapan dan persetujuannya. Akibatnya, dokumen tersebut harus berupa grafik asiklik terarah, simpul-simpulnya adalah pernyataan tentang fakta atomnya (termasuk hash dari fakta sebelumnya), ujung-ujungnya adalah hubungan pengondisian logis. Di satu sisi, dokumen ini harus digunakan sebagai bagian dari model kegiatan, di sisi lain, isinya dapat "dibaca" (terprogram atau langsung dengan mata) menggunakan kamus normatif, yang juga merupakan dokumen. Dan tentu saja, dokumen itu, atau lebih tepatnya fakta apa pun dalam dokumen itu, dapat diperiksa untuk tidak berubah-ubah dan kepengarangannya. (Perlu dicatat bahwa dokumen tidak diedit, perubahan dan penambahan dibuat sebagai ekstensi grafik,membatalkan pernyataan serupa sebelumnya, yaitu, seluruh riwayat perubahan disimpan dalam dokumen itu sendiri).
Tugas mengenali signifikansi hukum dari hasil tindakan yang dilakukan sesuai dengan model yang mencakup dokumen dikurangi menjadi dua subtugas: (1) memverifikasi hak aktor - seseorang atau agen perangkat lunak - untuk melakukan tindakan yang ditandatangani oleh kunci pribadinya, (2) tidak termasuk pemalsuan disengaja atau tidak disengaja atas hasil. tindakan. Tugas pertama adalah secara otomatis memeriksa relevansi tanda tangan dokumen yang relevan dalam sistem. Masalah validitas hasil saat ini hanya dapat diselesaikan dengan mencapai konsensus dari banyak pelaku independen dari model aktivitas, yang merupakan node dari jaringan peer-to-peer.
Jadi, dasar ideologis dari solusi yang diusulkan adalah ide tentang perlunya menggabungkan dalam satu model aktivitas digital: (1) algoritma tindakan, (2) dokumen yang menentukan persyaratan hukum dari tindakan-tindakan ini, (3) aktor tindakan, dan (4) aktivitas itu sendiri, yang menurut pada kenyataannya, sepenuhnya menjadi digital.
Basis teknologi dari solusi ini terdiri dari teknologi standar saat ini:
- metode kriptografi enkripsi dan penandatanganan dokumen,
- sistem manajemen kunci,
- jaringan peer-to-peer dengan validasi transaksi konsensus,
- bahasa markup data semantik.
Masalah teknologi yang perlu dipecahkan termasuk pengembangan setumpuk spesifikasi untuk representasi semantik data ke bahasa semantik untuk aktivitas pemodelan (pada kenyataannya, kita berbicara tentang pengantar semantik waktu).
Lihat juga Semantik dan Aktivitas