Šiandienos įmonės susiduria su labai greitai besikeičiančia aplinka ir negali laikytis numatyto ilgalaikio veiklos modelio. Įmonės veikla ir jos veiklos modelis turi būti dinamiški. Viena didžiausių problemų verslo taisyklių panaudojimui yra jų kiekis ir sunkiai nuspėjama tarpusavio sąveika. Taisyklėms veikiant kartu atsiranda įvairūs konfliktai. Taisyklių konfliktų aptikimui ir logiškumui bei nuoseklumui patikrinti galima naudoti logika pagrįstus mechanizmus tokius kaip išvedimas. Darbe atlikta dalykinės srities literatūros apžvalga, suformuluotas metodas, leidžiantis XML atvaizduotas verslo taisykles transformuoti į predikatus bei komponuoti į verslo taisyklių rinkinius siekiant tuos rinkinius panaudoti duomenų analizei programų sistemoje. Verslo taisykli�� rinkinys turi būti išsamus ir neprieštaraujantis. Tam naudojama išvedimo mašina. / One of the greatest problems using business rules are their quantity and difficulty in foreseeing of their interplay. Conflicts become apparent when rules are used in conjunction. A logic based derivation mechanism can be used for detection of rule incongruence and to analyze their logical and chronological sequence. This paper presents a review of related works and method for transformation of the business rules represented in XML into predicate set for use in inference engine and business rules driven rule set consistency check and use of such a complete rule set in data analysis system.

Didėjantis duomenų kiekis šiuolaikinėse informacinėse sistemose verčia ieškoti geresnių ir patogesnių priemonių ir metodų šių duomenų analizei. Esant dideliam duomenų kiekiui žmogus nebegali aprėpti informacijos įvairovės, atrasti logines sąsajas tampa sudėtinga, todėl reikalingos priemonės, kurios palengvintų, automatizuotų ir intelektualizuotų duomenų analizę. Šiame darbe nagrinėjamas verslo taisyklių pritaikymas intelektualizuotai duomenų analizei. Darbe pasiūlomas metodas leidžiantis verslo taisykles, užrašytas XML kalba, transformuoti iki daugiamatės duomenų analizės instrukcijų programų sistemoje. Pasiūlytas metodas grindžiamas metamodelių transformacijomis. Darbe siūlomas metodas patikrintas eksperimentu, be to jis realizuotas programų sistemos prototipe. / Rising amount of data in information system require to search better and usable tools and methods for this data analysis. When is large data amount, then people can’t see diverseness of information, there is complicated to find logical links, therefore required tools, which can make data analysis usual, automation and intelligent. The paper describes business rule using for intelligent data analysis and offers a method for transformation of a business rule, described in XML language, into the multidimensional data analysis rules in the program system. The method based on metamodel transformations. There is offered method, which is validated by experiment and implemented in prototype of software system.

Pagrindinis darbo tikslas – sukurti struktūrizuotų ribojimų įvedimo į informacinių sistemų modelius įskiepį. Išbandyti struktūrizuotus ribojimus buvo pasirinkta MagicDraw UML sistema, kuriai sukurtas veiklos taisyklių įvedimo įskiepis. Įskiepis remiasi pagrindiniais šablonizuoto įvedimo principais ir dalinai užtikrina įvedamų duomenų teisingumą, kadangi aprašant ribojimus galima pasirinkti modelio elementus pagal jų navigavimo ryšius. Pasiūlytas prototipas skirtas sistemų analitikui, kuris aprašo sistemos reikalavimus. Sukurtas prototipas pasiekia užsibrėžtus darbo tikslus ir gali būti tobulinamas ateityje. Ribotos natūraliai kalbai artimos kalbos šablonai gali būti kuriami panaudojant TBEProfile modulį. Įskiepio pagalba sukurtos veiklos taisyklės yra struktūrizuotos ir nesunkiai suprantamos. Tai padidina projekto kūrimo automatizavimo lygį. Vartotojas naudojantis prototipu gali specifikuoti veiklos taisykles UML klasių, protokolų būsenų, būsenų mašinų, sekų ir veiklos diagramose. Įskiepis buvo sukurtas JAVA programavimo kalba ir naudojantis „MagicDraw UML“ OpenApi dokumentacija. / The main goal of this project was to develop template based business rules plug-in for CASE tool. We have chosen to create plug-in for CASE tool “Magic Draw UML”. This plug-in extends “Magic Draw UML” abilities of constraints creation, because system partially ensures the correctness of constraint elements. Plug-in was developed for system analysts, who precisely specify requirements for systems. The prototype we made successfully embodies main goals of project and can be improved in the future. Limited natural language templates can be specified using TBEProfile module. Business rules created with plug-in are formatted and clear to understand. It helps to improve project engineering level of automation. User using prototype is able to specify business rules in UML class, state protocol, state machine, sequence and activity diagrams. System was created using JAVA programming language and “Magic Draw UML OpenAPI”.

Šiame darbe aptariama statinė ir dinaminė kodo analizė, jų privalumai ir trūkumai, analizės įrankių tipai bei jų paskirtis. Analizuojami „Gendarme“, „Cppcheck“ ir „FindBugs“ statinės kodo analizės įrankiai. Plačiau analizuojamas laisvai platinamas statinės kodo analizės įrankis „Gendarme“. Pateikiamos spragos, rastos esamose „Gendarme“ taisyklėse bei siūlomi jų patobulinimai, kurie turėtų padėti aptikti daugiau klaidų ir padidinti programų spartą, stabilumą, saugumą ir kodo skaitomumą. Taip pat pateikiamos naujos sukurtos taisyklės, kurios turėtų padėti aptikti daugiau perteklinio, nelogiško kodo, kurio kompiliatorius neaptinka. Naujos taisyklės turėtų padėti supaprastinti programos kodą ir taip pagerinti jo skaitomumą bei aptikti daugiau spragų, kuriomis pasinaudojus galima įtakoti programų veikimą. Atliktas eksperimentinis tyrimas, kurio metu buvo išanalizuotos programos su patobulintu ir nepatobulintu „Gendarme“ statinės kodo analizės įrankiu. Pateikiami eksperimento rezultatai ir išvados. / This paper discusses the static and dynamic code analysis, their advantages and disadvantages, types of analysis tools and their purpose. Analyzes the "Gendarme", "Cppcheck" and "FindBugs" static code analysis tools. Wider analyzes the freely distributed static source code analysis tool "Gendarme". Presented gaps which were found in existing "Gendarme" rules and the proposed modifications, which should help to detect more errors and improve program performance, stability, security and code readability. It also introduces new rules, which should help to detect more excessive, illogical code, which are not detected by the compiler. As well as simplify the code and thus to improve its readability and detect more vulnerabilities, which may be used to affect the functioning of applications. Experimental research was carried out in which some programs were analyzed with improved and not improved static code analysis tool "Gendarme". Experimental results and conclusions are presented.

Today’s business’s more and more depend on information systems to give them edge on competition and keep double digit growth rates needed to satisfy shareholders. And information systems, serving their needs, have to keep up with changing business requirements. Business Rules Approach [10] seems to be the answer to their demands, but not many service and solution providers can satisfy their needs, because there is no standard based software engineering process to efficiently provide solution to customers. This works provides methodology of integrating business rules approach into existing and time proven software development process as well as providing needed infrastructure to creating solution specification and integrating externalized business rules with created system specification. This work concentrates on tasks: 1. Creating business rules management model; 2. Selecting software development process, adaptable to business rules approach; 3. Integrating business rules management model into selected software development process; 4. Relating externalized business rules with specification entities; 5. Providing comparison of unmodified software process with provided proposal.

Šio darbo tikslas – ištirti verslo sprendimo vertinimo taisyklės galimybes Lietuvos teisinėje sistemoje. Šiam tikslui pasiekti pasitelkiami ryškiausi bendrosios ir kontinentinės teisės sistemų atskirų valstybių verslo sprendimo vertinimo taisyklės taikymo pavyzdžiai. Darbe analizuojama šios taisyklės samprata pasirinktose valstybėse bei Lietuvos teisinėje sistemoje. Taip pat darbe keliamas klausimas ar Lietuvos teisinėje sistemoje apskritai egzistuoja verslo sprendimo vertinimo taisyklė. Pažymima, jog šiuo metu Lietuvoje egzistuoja nuomonių dėl verslo sprendimo vertinimo taisyklės egzistavimo dualumas tarp Lietuvos mokslininkų. Analizuojant verslo sprendimo sampratą, pastebimas ir užsienio valstybių mokslininkų nuomonių dėl verslo sprendimo vertinimo taisyklės taikymo daugiareikšmiškumas. Ši taisyklė gali būti suprantama kaip atsakomybės standartas, numatanti kaip įmonės valdymo organų nariai turi vykdyti jiems nustatytas pareigas, kaip teisminio susilaikymo doktrina, užkertanti kelią teismams vertinti priimamų verslo sprendimų esmę bei ją keisti, bei netgi kaip neliečiamybės doktrina. Taip pat verslo sprendimo vertinimo taisyklė turi procesinę bei materialią dalis. Pažymima, jog pagal tai, kaip konkrečios valstybės teisinėje sistemoje ši taisyklė įtvirtinama, skiriami skirtingi jos taikymo modeliai. Toks verslo sprendimo vertinimo taisyklės daugiareikšmiškumas sąlygoja šios taisyklės taikymo galimybių ribas, kurios darbe vertinamos Lietuvos teisinės sistemos atžvilgiu. ... [toliau žr. visą tekstą] / The aim of this paper is to examine the possibilities of application of the business judgement rule in Lithuanian legal system. In order to achieve this aim, the most prominent cases of application of the business judgement rule in different common and continental law countries are analysed. The paper also compares the conception of this rule in selected countries and in Lithuanian legal system. The analysis of the descriptions, although short, of the business judgement rule found in the works of Lithuanian scholars, has shown a dual approach to the application of the business judgement rule. The paper also raises the question of the existence of this rule in Lithuanian legal system. The analysis of the conception of business judgement rule has also demonstrated various attitudes to the application of this rule among foreign scholars. This rule can be regarded as standard of liability, indicating the way in which the members of the company’s management bodies have to perform their duties; as judicial abstention doctrine, preventing courts from evaluating and changing the essence of business decisions; even as doctrine of immunity. In addition, the business judgement rule consists of two components, including procedural and material ones. It is noted that the rule has different models of application depending on the way it is established in the legal system of a country. Such variation of attitudes to the business judgement rule determines the boundaries of its application... [to full text]

Magistro darbo objektas – elektroninis parašas. Darbo tikslas – nustatyti priežastis, kodėl elektroninio parašo technologija taip sunkiai diegiama Lietuvoje, ir pasiūlyti būdus, kaip diegimą galima būtų palengvinti. Darbo uždaviniai: 1. Išsiaiškinti elektroninio parašo veikimo principus. 2. Išnagrinėti ir pateikti el. parašo pritaikymo galimybes ir sritis. 3. Išanalizuoti ir pateikti, kur ir kaip asmenys turėtų įsigyti el. parašo naudojimui būtinus dokumentus ir įrangą. 4. Atlikti el.parašo įdiegimo lygio analizę kitose šalyse. 5. Suformuluoti galimas diegimo problemos priežastis. 6. Išanalizuoti ir palyginti Lietuvoje veikiančių sertifikavimo centrų veiklos nuostatus ir parašo taisykles, išskirti informacijos trūkumus. 7. Pateikti pasiūlymus, kaip palengvinti el. parašo technologijos diegimą Lietuvoje. Remiantis egzistuojančiais el. parašo apibūdinimais, galima teigti: el. parašas – tai skaitmeninė technologija, leidžianti ne tik pasirašyti dokumentą el. būdu, bet ir identifikuoti pasirašiusįjį asmenį, užtikrinant dokumento originalumą. Išanalizuoti viešojo rakto infrastruktūrai skirti standartai bei teisiniai dokumentai. Nustatyta, kad didžiausia problema kuriant ir vystant el. parašo infrastruktūrą – jai keliami aukšti reikalavimai. Reikalavimų privalu laikytis, norint sukurti patikimą ir kvalifikuotą el. parašo infrastruktūrą. Palyginus Lietuvoje esamą situaciją su kitomis pasaulio šalimis, matyti, jog svetur ši technologija pažengusi gerokai toliau ir plačiau. Nors... [toliau žr. visą tekstą] / Karolis Rubinas, Public Key Infrastructure implementation problems. The main object is a digital signature. The aim of this work is to find out the difficulties, witch prevents Public Key Infrastructure implementation. Goals was to: clear up the definition of a digital signature, find out how digital signature works and what is it for; analyze the structure and introduce it to the reader; compare the existing PKI situation in Lithuania with other countries; identify possible problems implementing a digital signature; compare Lithuanian qualified CA’s CP and CPS. Taking digital signature definitions into generalization, it is possible to conclude, that this is a digital technology, witch enables the user not only to sign the digital document and identify the person who signed, but also keeps the document from distortion and makes it unique. After analyzing the standards and legal documents I may say that the biggest problem implementing and developing PKI is REQUIREMENTS. In every step there are requirements witch you have to fulfill if you want to create a trustworthy and qualified PKI. Comparing the existing situation in Lithuania Digital signature in other countries is way more used and spread even though juridical base was completed by Lithuanians earlier than other countries, with more CAs. In addition it was revealed that there are five CAs in Lithuania, but only three of them produce qualified certificates. These are: UAB „Skaitmeninio sertifikavimo centras“, VĮ... [to full text]

In this paper the problems of finding error estimates of quadrature formulas are discussed. A method proposed by K.Plukas was tested. One of the most important tests was the one determining the error estimates that are too optimistic. The results have shown that there are 1/8 of such error estimates and that there is no visible pattern when they occur. The second very important test was the one that shows how many iterations are needed to get the estimate of integral. After comparing the results to the ones produced by method of T.O.Espelid it was obvious that method of K.Plukas produced results even when method of T.O.Espelid was not able to. Comparison of these results have also shown that method of K.Plukas is not always as effective as method of T.O.Coteda, i.e. in many cases method of K.Plukas produced the result after more iterations than method of T.O.Coteda.

Lietuvos visuomenė prieš daugiau nei dvidešimt metų visuotiniame referendume priėmė aukščiausios teisinės galios aktą Lietuvoje - LR Konstituciją, kurios preambulėje įtvirtinta, kad Lietuva sieks tapti atvira, teisinga, darnia pilietine visuomene ir teisine valstybe. Tačiau beveik du dešimtmečius nepriklausomoje valstybėje besiformuojančios teisinė, socialinė, ekonominė ir politinė sistemos liudija, kad mūsų visuomenėje įsigalėjo tokia vertybių sistema, kurioje tokia vertybė kaip teisė yra ignoruojama ir atmetama, t.y. stipriai paplito teisinio nihilizmo reiškinys. Šiame darbe analizuojami teisinio nihilizmo kaip socialinio reiškinio ypatumai, jo priežastys bei įveikimo galimybės bendrojo lavinimo mokykloje. Tyrime dalyvavo Radviliškio X pagrindinės mokyklos mokiniai: iš viso 98 mokiniai besimokantys 7-8 klasėse bei 82 jų tėvai. Darbe atlikta statistinė duomenų analizė apdoroti apklausos rezultatams. Svarbiausios empirinio tyrimo išvados: darbe keliama hipotezė – neištyrę teisinio nihilizmo atsiradimo priežasčių bendrojo lavinimo mokykloje ir identifikavę šio reiškinio pasekmių negalima suvokti jo destruktyvaus pobūdžio ir imtis efektyvių priemonių jam mažinti, pirmiausia bendrojo lavinimo mokykloje, o paskui ir visuomenėje. Juk kaip bus suformuojama vaikų teisinė sąmonė ir kultūra mokykloje tokia bus ir visuomenė. Sąvokos teisinio nihilizmo bei taisyklių ir kitų elgesio normų nesilaikymo išreikštumas tėvų tarpe, turinčių aukštesnįjį ir aukštąjį išsilavinimą, nėra... [toliau žr. visą tekstą] / 20 years ago Lithuanian society adopted in the national referendum the Constitution of the Republic of Lithuania in which preamble is stated that Lithuania seeks to become an open, fair, harmonious society and a constitutional state. But nearly two decades in the independent state developing legal, social security, economic and political systems testify that in our society has set in a value-system when such a value as the law is ignored and eliminated, i.e. the phenomenon of legal nihilism has spread. In this work the peculiarities of legal nihilism, also its causes and ways of overcoming in the comprehensive schools are analyzed. 98 students from the 7-8th forms of the Radviliškis X lower secondary school and 82 parents took part in the research. In the work the statistical data analysis was done in order to summarize the questionnaire. The most important findings of the empirical research: hypothesis of the work – not having investigated the causes of legal nihilism in comprehensive school and identified its results, we are not able to understand its destructive nature and to take effective means for its reduction, first in the comprehensive schools, and later in society. The concept legal nihilism and the departure from the rules and the proprieties among the parents with further education and university education isn’t significant statistically. The concept legal nihilism among girls and boys isn’t meaningful statistically. The departure from the rules and the... [to full text]

Šiuo metu vis daugiau įmonių nori apibrėžti organizacijose vykstančius veiklos procesus (toliau VP) atvaizduojant juos grafiškai, tačiau VP modeliuojantis analitikas ne visuomet nustato visus procese esančius apribojimus. Kadangi šių apribojimų jis negali peržiūrėti ir jų patvirtinti sumodeliuotame VP modelyje, padidėja rizika atsirasti neatitikimams ir klaidoms. Tai gali sutrikdyti organizacijos veiklą. Vadovaudamasis pateiktais VP modeliais kiekvienas dalyvis žino, kokia yra jo pozicija organizacijoje bei kokios jam deleguotos atsakomybės. Todėl ir yra svarbu, kad nubraižyti VP modeliai atitiktų realius organizacijos procesus. Taip pat svarbu išlaikyti informacijos vieningumą, modeliuojant kitus veiklos aspektus bei aiškumą bendradarbiaujant organizacijoje. Dėl šių priežasčių reikalingas veiklos žodynas (toliau VŽ), apibrėžiantis organizacijoje naudojamus pagrindinius terminus, faktus ir sinonimus, bei veiklos taisyklės (toliau VT), apibrėžiančios visus apribojimus organizacijoje. Dėl VP pokyčių ir didelės apimties, VŽ ir VT sudarymui turi būti naudojamas automatinis VŽ formavimo ir VT sudarymo metodas, kurio pagalba verslo atstovas sutaupo laiko ir užtikrina jo atitikimą realiai vykstantiems VP. Metodo realizacijai analizuojami VP modeliavimo (BPMN2, UML, Workflow) ir VŽ bei VT (SBVR, SRML ir PRR) formavimo standartai, įvertinant suprantamumą vartotojams, informacijos pateikimą, bei kitas funkcijas (pavyzdžiui, modelių transformavimas į vykdomąjį kodą, XML failo... [toliau žr. visą tekstą] / There are many organizations that want to represent their business processes (BP) using modeling notations, such as BPMN, UML and Workflow but usually the analyst cannot identify all necessary constraints of BP. Therefore responsibilities for the representatives of the organization cannot be correctly specified which leads to poor quality of work. In order to avoid such problems business process diagrams (BPD) must meet the real world processes. The research area of thesis covers various BP and business rules (BR) modeling notations, the intersection of BP and BR (the relevance and formation of BP and BR, applicability and integration of BR, the extraction of BR and business vocabulary (BV) from BPD). The main issue is the automated extraction of BV and BR from BPD which is used not only to compare business model to real organization processes but also it is useful to have BV in organization for more effective collaboration. The main tasks to solve the identified issue are the analysis of BP with their constraints, analysis of the structures of BR and their applicability in BP, the analysis of structures of BR in BP and finally the formation of the algorithm for the automated result’s extraction, creation and evaluation of prototype. The analysis of existing methods revealed that there is no such method that allows user to form BP and BR effectively integrating all necessary aspects. BPMN and SBVR standards are chosen as main knowledge resources because of their ability to... [to full text]