Return to search

Verslo sistemų modelio analizė, panaudojant agregatinę schemą ir loginį programavimą / Analysis of business systems REA model using aggregate schema and logic programming

This work presents business process analysis methodology which consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. The aggregate specification is analyzing using first order predicate logic while checking correctness by resolution method using logic programming based language Prolog. The work is concluded with concrete example of analysis of Resource Event Agent model based business process using the aggregate approach.

The novelty of this work
PLA (Piece-Linear Aggregate) model and the software tools, created on the ground of PLA (Piece-Linear Aggregate), are used the first time for business processes analysis that is defined using REA formalism. The use of such integrated models allows performing the automated analysis of general and individual properties (completeness, deadlock freeness, termination or cyclic behavior, boundedness) of defined business processes.

The main results are achieved:
• The methodology, that consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach.
• Verification and validation of general and individual properties by using PLA and PROLOG language approach designed system that executes the analysis of aggregate specification.
• Implementing internal accounting controls as constraints in relational algebra, SQL and PROLOG language.
• Concrete... [to full text]

Identiferoai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2006~D_20060606_154445-58707
Date06 June 2006
CreatorsJanušauskaitė, Živilė
ContributorsBarauskas, Rimantas, Plėštys, Rimantas, Pranevičius, Henrikas, Jasinevičius, Raimundas, Mockus, Jonas, Telksnys, Laimutis, Butleris, Rimantas, Maciulevičius, Stasys, Misevičienė, Regina, Kaunas University of Technology
PublisherLithuanian Academic Libraries Network (LABT), Kaunas University of Technology
Source SetsLithuanian ETD submission system
LanguageLithuanian
Detected LanguageEnglish
TypeMaster thesis
Formatapplication/pdf
Sourcehttp://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060606_154445-58707
RightsUnrestricted

Page generated in 0.0022 seconds