Deklaratyviai užrašytų taisyklių transformacija į formalias, naudojant formalius konceptus

Jurkevičius, Darius; Vasilecas, Olegas

Use this URL to cite this publication: https://hdl.handle.net/20.500.14911/119632

Deklaratyviai užrašytų taisyklių transformacija į formalias, naudojant formalius konceptus

Details

Publication Type (CRIS)

Straipsnis recenzuojamoje Lietuvos konferencijos medžiagoje / Article in peer-reviewed Lithuanian conference proceedings (P1f)

Publication Type (eLABa)

Straipsnis recenzuotame konferencijos darbų leidinyje / Article published in peer-reviewed conference proceedings (P1d)

Author(s)

Author	Affiliation
Jurkevičius, Darius	Informacinių sistemų katedra / Department of Information Systems (1046)
Vasilecas, Olegas	Taikomosios informatikos institutas / Institute of Applied Computer Science (1056)

Title

Deklaratyviai užrašytų taisyklių transformacija į formalias, naudojant formalius konceptus

[lt]

Darius Jurkevičius, Olegas Vasilecas

Title in other language

Transformation of declarative rules to formal rules using formal concepts

[en]

Is part of

Technologijos mokslo darbai Vakarų Lietuvoje. [D.] VI, 2008 m. kovo 28-29 d. : [mokslinė konferencija] / Klaipėdos universitetas

Published In

Year	Start Page	End Page
2008	11	16

Publisher

Klaipėda : Klaipėdos universiteto leidykla

Extent

p. 11-16

URI

URI
https://hdl.handle.net/20.500.14911/119632

Cited references

Science / Art Area

Technologijos mokslai / Technological sciences (T)

Field of Science / Art

Informatikos inžinerija / Informatics engineering (T007)

Keywords (lt)

Keywords (en)

Abstract (lt)

Šiuolaikinių informacinių sistemų dalis yra jose naudojamos taisyklės. Taisyklės, kurios apibrėžia ir apriboja tam tikrus dalykinės srities veiklos aspektus, dažnai užrašomos deklaratyvia forma. Straipsnyje siūlomas metodas, kuris leidžia deklaratyviai užrašytas taisykles transformuoti į formaliai užrašytas taisykles. Tam yra naudojami formalūs konceptai, kurie aprašo terminus, naudojamus užrašytose taisyklėse. Siūlomas metodas leidžia paprastai, neturint specialių įgūdžių, įvesti ir transformuoti taisyklę.

Abstract (en)

Rules are the part of modern informational systems. Rules that define or constraint some of aspects in the application domain, and usually written in declarative form, o for applying rules in information system need formal rules. In this article we propose the method that allows transforming declarative rules into formal rules. For transformation we used formal concepts that describe rules used in written rules. The suggested model allows input and transforming rule simply without having any specific skills.