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]
Identifer | oai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2006~D_20060606_154445-58707 |
Date | 06 June 2006 |
Creators | Janušauskaitė, Živilė |
Contributors | Barauskas, 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 |
Publisher | Lithuanian Academic Libraries Network (LABT), Kaunas University of Technology |
Source Sets | Lithuanian ETD submission system |
Language | Lithuanian |
Detected Language | English |
Type | Master thesis |
Format | application/pdf |
Source | http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060606_154445-58707 |
Rights | Unrestricted |
Page generated in 0.0023 seconds