Automātiska pirmkoda ģenerācija uz likumiem balstītām sistēmām

Abstract

Maģistra darbā ir apskatīta iespēja formāli pierakstīt programmatūras specifikāciju uz likumiem balstītām sistēmām, lai varētu automātiski ģenerētu pirmkodu. Apskatāmās metodes pielietošanas apgabals darbā tiek ierobežots ar pirmkoda ģenerēšanu biznesa loģikai. Darbā ir aplūkota pašveidota domēna specifiska valoda, ar kuras palīdzību formāli deklaratīvā stilā tiek definētas prasības biznesa likumu veidā. Šādi pierakstīta specifikācija tiek translēta uz atbilstošu pirmkodu mērķa programmēšanas valodā Java. Pieeja tiek demonstrēta ar neliela piemēra palīdzību. Izveidotajai tehnoloģijai un rīkiem ir veikta daudzpusīga analīze – ātrdarbības novērtējums, testēšanas iespējas, izmantošanas vadlīnijas, priekšrocības un trūkumi, salīdzinot ar citām analoģiskām pieejām.

The Master’s work presents an approach to formalize software requirements specification for rule-based system that will be used for automatic source code generation. The covered area is limited by business-logics’ source code generation. A self-designed domain specific language that is suited for formal business-rules definition was introduced. The rules are specified in declarative style. The specification created using this approach can be translated to target programming language Java. This process is demonstrated using a simple case study. Also the designed solution and corresponding tools were elaborated using the following techniques – performance analysis, source code testing and usage guidelines. The advantages and disadvantages to the similar approaches were discovered and analyzed.