Teilāns, Artis

Thumbnail Image
Preferred name
Teilāns, Artis
Official Name
Teilans, Artis
Alternative Name
Teilands, Artis
Teilans, A
Artis Teilans
Main Affiliation
Web Site
Email
artis.teilans@rta.lv
ORCID
Scopus Author ID
24723234500
Researcher ID
AAJ-1139-2020

Research Output

Filters

1
111
1
Reset filters

Settings

Now showing 1 - 1 of 1
  • Publication
    Domain specific language for securities settlement systems
    (2012)
    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
    Scopus© Citations 2