Now showing 1 - 3 of 3
No Thumbnail Available
Publication

FUNCTIONAL MODELLING OF IT RISK ASSESSMENT SUPPORT SYSTEM

2011, Teilāns, Artis, Andrejs Romanovs, Yuri Merkuryev, Arnis Kleins, Pjotrs Dorogovs, Ojars Krasts

No Thumbnail Available
Publication

A Metamodel Based Approach for UML Notated Domain Specific Modelling Language

2011, Arnis Kleins, Teilāns, Artis, Yuri Merkuryev, Ojars Krasts

No Thumbnail Available
Publication

Domain specific language for securities settlement systems

2012-08-06, Ojars Krasts, Teilāns, Artis, Arnis Kleins

Actual problems during design, implementation and maintenance of securities settlement systems software are achieving complementarity of several different, connected, asynchronously communicating settlement systems and verification of this complementarity. The aim of this paper is to create domain specific language for modeling of settlement systems and their interactions. Then use models to calculate settlement systems behavior. Specific of settlement systems requires that they perform accordingly to business rules in any situation. This makes use of model checking a very desirable step in development process of settlement systems. Defining a domain specific language and creating editor supporting it is a first step to enable use of model checking techniques. Created models also can be used as input for other analysis methods and tools, for example, basis path testing, simulation and as base for deriving test cases