The publication describes the main principles of operation of a commercial software framework that is used for developing financial applications represented with ontologies. It is shown that the ontology structure can be extended and modified, without disturbing the working process of the application. The framework generates dynamic user interface used to define class instances. It effectively hides the theoretical background of the product and allows the end user to work with terms familiar to him.

No abstract

The paper considers some performance issues for a software application, which performs identification of duplicated records in a customer information database. The selected approaches, logic and algorithms are discussed. Some of the essential papers in the area are overviewed. The problems and the expected performance gain are debated.

The article describes a framework for modelling and verification of constraint rules on operations with financial instruments. These constraints are applied on certain attributes of domains of financial objects. A methodology and implementation of automatic constraint analysis in two steps is presented. The first step involves preparation of constraints on specified domains and creation of formulas defining them. The other step consists in waiting for real time transactions and responding to them by alerting the user on newly occurred constraint violations. Computation reduction method is proposed. A satisfaction coefficient is calculated that aids the end user in taking consecutive actions on their portfolio. INTRODUCTIONModern financial markets are characterized by a rich variety of offered financial instruments and include many participants with competitive goals, which are achieved in highly dynamic market conditions. The financial instruments are often pooled in hierarchical structures (classification groups) like portfolios, sub-portfolios by country, currency, instrument type. The market participants must conform to regulatory rules specifying the distribution of the assets under their control in the separate classification groups. In many cases, the rules for asset allocation in the groups are alternative to each other and require decision making. Due to the high complexity of the regulatory rules, the market participants often make mistakes while operating on the highly dynamic markets and violate the rules about the distribution of the limited financial resources. Thus they impose high risk on the organizations or people whose money they are dealing with. This makes automatization of financial operation analysis in real time a priority. The market participant must make a decision about buying or selling of a certain position before the market trend changes. The dealer has to quickly simulate an operation on a position and make sure all the constraint rules are satisfied before executing the deal on the market. To ensure better experience for market participants and quickly identify constraint violations, formal specification of regulatory rules is required. These regulatory rules are different for each country and are based on local laws.The problems reviewed in the article are related to constraint programming [1]. The authors formally specify constraints using expressions and use constraint logic programming over finite domains. The expressions are processed by a production system program containing facts and rules. The proposed approach allows "What if..." simulations and flexibility in taking alternative decisions. This guarantees continuity and validity of market participants' actions. The analysis is performed in two steps. During the initial check of the constraints, facts representing domains are asserted and synthetic rules are generated from constraint specification by a special parsing rule. After firing, the new rules yield the required result. The described step in a real-life system involv...

Teleconnections refer to links between regions that are distant to each other, but nevertheless exhibit some relation. The study of such teleconnections is a well-known task in climate research. Climate simulation shall model known teleconnections. Detecting teleconnections in climate simulations is a crucial aspect in judging the quality of the simulation output. It is common practice to run scripts to execute a sequence of analysis steps on the climate simulations to search for teleconnections. Such a scripting approach is not flexible and targeted towards one specific goal. It is desirable to have one tool that allows for a flexible analysis of all teleconnection patterns with a dataset. We present such a tool, where the extracted information is provided in an intuitive visual form to users, who then can interactively explore the data. We developed an analysis workflow that is modeled around four views showing different facets of the data with coordinated interaction. We present a teleconnection study with simulation ensembles and reanalysis data obtained by data assimilation to observe how well the teleconnectivity patterns match and to demonstrate the effectiveness of our tool.