TRIEL: නිරාපේක්ෂ නියමයන් සක්‍රිය කරවන නව විශේෂණාත්මක භාෂාව

සොෆ්ට්වෙයා ලේඛන සහ ඒවායේ ක්‍රියාත්මක කේතය අතර ඇති වෙන්වීම, වසර ගණනාවකින් පසු බොහෝ වෙලාවට වැරදි, අනුකූලතා ගැටළු සහ පරීක්ෂණ වාර්තා වලට හේතුවක් වේ. මේ ගැටලුවට නව විසඳුමක් ලෙස පසුගිය කාලයේ TRIEL නමැති විවෘත විශේෂණාත්මක භාෂාව හඳුන්වා දී ඇත.

TRIEL හි මූලික සංරචක වන්නේ subjects (ආබාධක), obligations (MUST / MAY / MUST_NOT), factors (දත්ත ක්ෂේත්‍ර) සහ invariants (ආරක්ෂණ/ජීවන නියම). ඒවා සියල්ල LTL/CTL කාලීන තර්කය මත පදනම් වූවා නිසා, ආරක්ෂක නියමයන් (ALWAYS) සහ ජීවන නියමයන් (EVENTUALLY) දෙකම නිශ්චිතව නිරූපණය කළ හැක. විශේෂයෙන්, TRIEL හි zero‑knowledge ප්‍රෙඩික්ට්ස් අන්තර්ගත වේ, එනම් වයස 18 කට වැඩි බව පරීක්ෂා කිරීමේදී සත්‍ය අගය හෙළි නොකිරීමේ හැකියාව.

උදාහරණයක් ලෙස, EU‑අධිකාරියේ EUDI Wallet රියදුරු බලපත්‍ර නියමයක් TRIEL වලින් ලියූ විට, "age" ක්ෂේත්‍රය ZK ලෙස නිර්වචනය කර, "self >= 18" නියමය සත්‍යාපනය කළ හැකි වන අතර, රියදුරු ලයිසන් වල වයස, නිරීක්ෂණ අවශ්‍යතාව, ලයිසන් වර්ගය, වලංගුත්වය වැනි තොරතුරු සියල්ල එකම විශේෂණය තුළ සම්පූර්ණව ගොඩනැගිය හැක.

OPA/Rego වැනි පර්යේෂණ මෙවලම් තොරතුරු ප්‍රශ්න පරීක්ෂා කිරීමට පරිසර සීමා තුළ ක්‍රියා කරන නමුත්, ඒවා ක්‍රිප්ටෝග්‍රාෆික් ක්‍රියාකාරකම් වලට ඇතුළත් නොවේ. TRIEL නියමයන් දත්ත‑ක්ෂේත්‍ර මට්ටමේ සංකලනය කර, එම නියමයන්ම ක‍්‍රිප්ටෝග්‍රාෆික් කලාපයන් ලෙස පරිවර්තනය කරන නිසා, සම්පූර්ණ පද්ධතියේ අනුකූලතාවය එකම තැනින් සනාථ වේ. එමෙන්ම, Wysteria/Wys* වැනි ක්‍රිප්ටෝග්‍රාෆික් භාෂා වලට වඩා, TRIEL ක්‍රිප්ටෝග්‍රාෆික් පසුබැසීම පරිශීලක‑මිතුරන්ට (අනුකූලතා නිලධාරීන්, විශ්ලේෂකයින්) පහසු කරයි.

දැනට TRIEL හි ව්‍යාකරණය v2.4 වන අතර, REPLACES, REQUIRES වැනි නව කොටස් එකතු කර ඇත. එම නව සංස්කරණය පසුගිය සංස්කරණ සමඟ පසුපස නොහොත් අනුකූලතාවය රැකගෙන, වැඩි ස flexibilty එකක් ලබා දෙයි.

ශ්‍රී ලංකාවට ඇති වැදගත්කම

ශ්‍රී ලංකාවේ තාක්ෂණ උපාධි සිසුන්ට, TRIAL භාවිතය මගින් විශේෂණ‑කේත අන්තර්ගතයේ ගැලපීමේ අභ්‍යන්තර ගැටළු තවත් අඩුවෙයි. එමඟින් විශ්ලේෂණය, පරීක්ෂා කිරීම හා පාලන කාර්යයන් එකම භාෂාවෙන් ලියන්න පුළුවන්.

• ඩෙවලපර්න්ට – නියමයන් කේතයට පරිවර්තනය කිරීමේදී අතිරේක පරීක්ෂණ කාර්යයන් අවශ්‍ය නොවීම, වේගවත් නිෂ්පාදනයක් ලබා දෙයි.
• ව්‍යාපාර – අනුකූලතා පරීක්ෂණ වාර්තා, පරීක්ෂකයන්ගේ ගාස්තු අඩු කිරීම, සහ ආරක්ෂක නියමයන් සෘජුවම ක්‍රිප්ටෝග්‍රාෆික් කලාපයන් ලෙස නිකුත් කිරීමෙන් නීතිමය අවදානම අඩු වේ.
• අධ්‍යාපන ආයතන – TRIEL ආකෘතිය පාඨමාලා පද්ධතිවලට එක් කර, සිසුන්ට නියම‑කේත සම්මුඛ සාක්ෂරතාවය ඉගැන්වීමට නව මාර්ගයක් සපයයි.

මෙම නව භාෂාව, ශ්‍රී ලංකාවේ තොරතුරු තාක්ෂණය, නීති, සහ ව්‍යාපාරික පරිසරය අතර සම්බන්ධතාවය ශක්තිමත් කර, අනාගතයේ අනුකූලතා‑පදනම් සොෆ්ට්වෙයා නිර්මාණයට මාර්ගයක් සැලසීමට උපකාරී වේ.

TRIEL නව විශේෂණාත්මක භාෂාවක් ලෙස, නීතිමය නියමයන් හා ක්‍රිප්ටෝග්‍රාෆික් ක්‍රියාකාරකම් අතර ඇති පාලනයේ ගැටළුව ඉවත් කරමින්, ශ්‍රී ලංකාවේ තාක්ෂණික නවෝත්පාදනවලට නව පියවරක් ගෙන එයි.