<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Knowledge Based Modeling of Financial Decision Support Systems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Marius Liutvinavičius</string-name>
          <email>marius.liutvinavicius@khf.vu.lt</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Audrius Lopata</string-name>
          <email>audrius.lopata@khf.vu.lt</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Vilnius University, Kaunas Faculty of Humanities</institution>
        </aff>
      </contrib-group>
      <abstract>
        <p>Financial markets are perceived as dynamic systems of interacting agents whose modeling and prediction are based on computer technology. Decision support systems analyze the state parameters of controlled systems and external factors in order to make the appropriate decisions. The aim of this paper is to analyze the techniques for system dynamics and decision-making process modeling. The simulation of controlled systems' models, modeling the decision-making processes and goals modeling are connected in a whole. All different types of models are analyzed in one process area. Also the conceptual example of controlled financial process is presented.</p>
      </abstract>
      <kwd-group>
        <kwd>decision support</kwd>
        <kwd>system dynamics</kwd>
        <kwd>knowledge base</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1 Introduction</title>
      <p>The research area of computational economics combines economics and computer
science. Financial market is perceived as a dynamic system of interacting agents
whose modeling and prediction are based on computer technology.</p>
      <p>In particular, the main effort is to model complex economic processes, the
influence of different factors to the final result and the interdependencies of these
factors. First of all the models of real life processes are created and then they are
simulated in order to experimentally analyze the various possible scenarios. Decision
support systems (DSS) analyze the state parameters of controlled systems and
external factors in order to make the appropriate decisions.</p>
      <p>The main research question is how to increase effectiveness of identification of
anomalous situations in financial markets. Combining intelligent data analysis
methods, multi-criteria modeling and knowledge based decision making can solve this
problem. It allows more accurately evaluate the markets efficiency and better forecast
upcoming crisis.</p>
      <p>But first of all we need effective methods for easier modeling of complex
mechanisms of financial systems. Different types of factors that affect the financial
markets must be integrated in models. Turning this to knowledge base which is used
by decision support systems can increase the efficiency of such systems. The
simulation of controlled systems’ dynamics, modeling the processes of decision
making and goals versus risks modeling must be connected in a whole.</p>
      <p>The aim of this paper is to analyze the techniques for systems dynamics and
decision-making process modeling. In order to achieve this, we present different
types of models in one process area (PA). In the section 2 we explain how these
models can be connected in the formalized way and present the conceptual example
of controlled financial process. In section 3 we present the review of methods for
modeling system dynamics, decision-making process, goals and risks.</p>
      <p>This paper serves as theoretical background for past authors’ works (e.g. “Dynamic
simulation of pension funds’ portfolio” [12], “Research of customer behavior
anomalies in big financial data” [11], “Multi-criteria model for choosing long term
investments” [13]) and for future works. In the future researches we will try to
increase modeling and prediction effectiveness by incorporating irrational factors that
affect financial markets in addition to traditional fundamental and technical analysis
indicators.</p>
    </sec>
    <sec id="sec-2">
      <title>2 DSS modeling methods in one research area</title>
      <p>First of all we need to have the methodology for connecting different types of models
and their elements in a whole. The main aim is to correctly identify hierarchical
structures and relationships between system elements. There are different
methodologies for systems modeling, such as ontology based modeling or
metamodeling.</p>
      <p>
        Ontology is an explicit specification of a conceptualization (T.R. Gruber 1993) [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
Ontology defines the concepts of investigated domain, types of entities (events,
objects), conceptual hierarchies, the interrelations of entities types and their
interdependencies, axioms, rules, patterns of entities’ types and relationships, case
studies [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. According to J. Dietz (2006), as a branch of philosophy, ontology
investigates and explains the nature and essential properties and relations of all
beings, as such, or the principles and causes of being. [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. We distinguish ontology
based modeling methods offered by J. Dietz, because they are based on process
modeling. This can be applied to modeling the processes of financial markets.
Assuming our goal is to create a model of real word (a simplified representation of a
certain reality), the importance of metamodeling must be understood.
      </p>
      <p>
        According to S. Mellor (2004) a meta-model is a model of a modeling language.
The meta-model defines the structure, semantics and constraints for a family of
models [14]. S. Clark (2008) states that a meta-model is a model of a language that
captures its essential properties and features. These include the language concepts it
supports, its textual and/or graphical syntax and its semantics (what the models and
programs written in the language mean and how they behave). Correct meta-model is
ontology, but not all ontologies are explicitly modeled as meta-models [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>
        Further in this paper we analyze process area and elementary management cycle,
proposed by S. Gudas [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. In original work it was applied for enterprise modeling. In
this approach we apply it to the decision support systems (DSS) of financial markets.
The main objective is to interconnect process simulation of controlled system
(financial market domain), decision-making process modeling and objectives versus
risk modeling.
      </p>
      <p>The diagram of Elementary management cycle (Figure 1) shows how the managing
system (DSS) interprets the parameters of the controlled system and implements
decisions in accordance with the goals model.</p>
      <p>All three types of models (controlled system, decision-making process, goals and
risks) can be displayed in one research area.</p>
      <p>
        Process Area (PE) has three axes: aggregation (AG), generalization (GE) and time
(T). They express the processes that form the hierarchy of the modeled systems
entities [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]:
• AG axis forms the hierarchies of material entities. Usually it means the
technological processes, roles and data of enterprise. In our case it means the
processes of investment, market data, shares etc. i is the index of aggregation
hierarchy level.
• GE axis forms the hierarchies of conceptual entities (only informational processes
and objects). j is the index of generalization hierarchy level.
• T axis forms the sequences in time of material and conceptual entities. It also
forms causality of processes and objects. t is the index of time hierarchy level.
      </p>
      <p>Process area (PE) is designed to investigate the management processes of
controlled system. Modeled objects of real world are called entities:
• Material entities are modeled in plane (AG, T). The term „material“ comes from
enterprise modeling and usually is connected with technological processes. But in
our case it is perceived slightly different. In this plane we present models of
investment processes, factors affecting these processes and actors involved in
them. Object oriented modeling and system dynamics are combined to investigate
operating principles and causalities of controlled financial domain. These
modeling methods are analyzed more deeply in section 3.2.
• Conceptual entities are modeled in plane (GE, T). Models of managing system
(DSS) cover data processing and decision making processes, as well as data and
knowledge structures. Architecture of DSS is presented in section 3.1.
• Goals and risks are modeled in plane (AG, GE). All decisions are made according
to them. Methods for goals modeling are presented in section 3.3</p>
      <p>During the process simulation of controlled system its’ entities and factors
affecting them gain various values. Every moment of time (t) managing system
processes the data, makes decisions according to goals and risk management rules.</p>
      <p>Figure 2 presents the author’s example of elementary management cycle of
financial market domain. Managed object is the investment portfolio.</p>
      <p>Head of investment strategy development makes strategic decisions in time
moment ti(1) and formulates strategic goals (i+1, j+1). Investment strategy is actual
for the entire period of time ti. Strategic goals are detailed and investment tactic is
prepared. In accordance with tactical goals the fund manager analyzes the market and
makes asset allocation decisions in time moment ti(2) (i, j). Broker finds best time and
performs buy and sell operations in accordance to tactical goals (i-1, j-1).</p>
      <p>Figure 3 is also designed by author and shows these three separate EMC in one
coordination plane. ECC* corresponds to strategic investment planning. ECC stands
for fund management process, ECC' corresponds to the lowest level – buy and sale
operations management.</p>
      <p>This method enables to connect models in a formalized way. It also allows
analyzing the hierarchical structures of entities and establishing relationships and
informational transactions between them.</p>
      <p>
        There is a wide variety of possible coordination cases. They are classified by S.
Gudas [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Our example is consistent with the coordination type A3.1.
      </p>
      <p>Coordination type A3 (i≠i`; j≠j`; p = p`; r= r`; t= t`) theoretical basis. The two
(in general may be more) EMC belong to the same type of management function (r)
and the same period of time (t). But their hierarchy levels of aggregation (..., i, i +
1,...) and generalization (... , j; j + 1, ...) differ.</p>
      <p>
        They both manage the same object, but „see“ it from different angle. More detail,
coordination type A3.1. means that coordinated managing process is at higher
aggregation and generalization levels than controlled processes. Such modeling type
reveals specification and concretization aspects of managing and controlled systems
[
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Higher-level EMC can be described as (i + 1, j + 1, t, r, p), when controlled EMC
has indexes (i, j, t, r, p). Managing information (orders, limitations) is transferred
from higher to lower level EMC. In our case that means strategic goals and tactics of
asset allocation. Some system elements can be modeled very deeply, other can have
only brief description. But the main objective is to gain understanding of what system
consists of and what elements should be modeled.
      </p>
      <sec id="sec-2-1">
        <title>3.1 Decision making process modeling</title>
        <p>
          One of the most popular models of decision making was developed by Herbert A.
Simon (1960) [15]. The model consists of three steps: intelligence, design, and choice
[19]. Figure 4 presents the architecture of decision support system. One of its essential
components is models subsystem. It contains all types of models discussed in
preceding section of this paper. This subsystem communicates with data subsystem,
which process internal data of controlled system and values of external factors
affecting it. All decisions are made in knowledge management subsystem. Users
communicate with DSS through interface subsystem. Best decisions are saved in
knowledge base and can be reused later [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] (Fig. 4). Such architecture allows
separating data from decision making mechanisms and developing their components
independently.
        </p>
      </sec>
      <sec id="sec-2-2">
        <title>3.2 Process simulation of controlled system</title>
        <p>
          Model is an abstract construct that attempts to replicate some properties of the real
system. The main objectives are deeper insight and better knowledge of the system or
its elements [18]. Dynamic simulation of systems processes are closely related to the
knowledge-based IS engineering. Both uses models of controlled domain and
knowledge database [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ]. Internal modeling and process simulation allows looking
inside the system: monitor the changes of the status of system components, analyze
the impact that various factors make to the final results and to each other. For
example, when simulating the process of investing to funds, we can see not only the
final portfolio value, but also monitor its changes over time and analyze what factors
has the most significant influence.
        </p>
        <p>System dynamics is the methodology intended for modeling and analysis of real
world systems. It is an applied discipline which allows understanding the behavior of
such systems [16]. Term system means an interdependent group of items forming a
unified pattern. Generally in system dynamics internal structure of the system is often
more important than external events [17]. But modeling the financial market domain
requires broader approach – external factors affecting the system are also involved.</p>
        <p>Two main types of diagrams are used in system dynamics: causal loop diagrams
and stock and flow diagrams. The causal loop diagram shows the circular chains of
cause-and-effect in the actual system. [17]. The chain of the causes can be extended
us much as analytic can understand the system. As mentioned above, most causal loop
diagram involve not only internal elements of system, but also external factors that
are outside the system and makes influence to it.</p>
        <p>As with a causal loop diagram, the stock and flow diagram shows relationships
among variables which have the potential to change over time. But unlike a causal
loop diagram, a stock and flow diagram distinguishes between different types of
variables: stocks, flows, and information [17]. Stock and flow diagrams are widely
used in process simulation software. The most popular of them are iThink®,
STELLA, Powersim Studio, Vensim, Anylogic, Insight Maker.</p>
        <p>UML diagrams can be used beside causal loops or stock and flow diagrams. For
example a class diagrams can represent the static structure and relationships between
system elements or factors affecting it. Activity diagrams can show the possible
scenarios of system behavior. Sequence diagrams can represent the users interaction
with decision support system. For UML modeling we can distinguish Magic Draw
(commercial), SmartDraw and Visual Paradigm (both free) tools.</p>
      </sec>
      <sec id="sec-2-3">
        <title>3.3 Goals modeling</title>
        <p>
          KAOS methodology refines goals into requirements and includes 4 model types:
Goal, Agent, Operationalization and Object. KAOS Goal model has 5 elements:
Agent, Object, Operation, Requirement, Expectation [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. Agent models depict agent
responsibilities and can be inferred from the goal models. Object Model specifies
objects used in the goal model. The syntax is similar to that of a UML class diagram
[
          <xref ref-type="bibr" rid="ref6">6</xref>
          ].
        </p>
        <p>URN is the first international standard for business goals, scenarios and
relationships modeling in a graphical way. It includes GRL (Goal-oriented
Requirement Language), which is a graphical notation designed for modeling the
goals and requirements of different stakeholders.</p>
        <p>
          The focus of GRL is to design the why and the what aspects of a model. GRL
divides its modeling elements into three main categories [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ]:
• Intentional elements are the constructs which are used to model the system.
• An actor represents a stakeholder or a system.
• Links are used to connect intentional elements and actors
        </p>
        <p>
          It‘s important that GRL can be successfully integrated to UML. For this purpose a
special UML profile is used for goal modeling. In such way goal diagrams (prepared
using GRL methodology) can be connected with other UML diagrams. [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ]. We can’t
state, that UML doesn’t allow to model goals. The problem is that UML doesn’t
specify goals as separate element. There is no unique element class for it. But GRL
integration to UML solves this problem.
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>4 Conclusions</title>
      <p>Financial markets are perceived as dynamic systems of interacting agents whose
modeling and prediction are based on computer technology. The main effort is to
model complex economic processes, the influence of different factors to the final
result and the interdependencies of these factors. All such information is used in
decision support systems in order to provide profitable solutions.</p>
      <p>First of all the models of real life processes are created ant then they are simulated
in order to experimentally analyze the various possible scenarios. Decision support
systems (DSS) analyze the state parameters of controlled systems and external factors
in order to make the appropriate decisions. This area covers different types of models
and different types of factors that affect the financial markets must be integrated in
models. There is a need to have a formalized way to analyze complex processes of
financial systems and their management.</p>
      <p>In this paper we presented different types of models in one process area (PA). The
dynamic controlled systems’ modeling, modeling the processes of decision making
and goals versus risks modeling are connected in a whole. The conceptual example of
funds’ portfolio management explains how complex systems and processes can be
described in such formalized way. Knowledge of controlled systems behaviour is
turned to knowledge base which is used by decision support systems. All types of
models are also saved in models subsystem and used for decision making.</p>
      <p>The analysis of techniques for systems dynamics and decision-making process
modeling was made. For dynamic simulation of system model causal loop and stock
and flow diagrams can be used. UML diagrams can be used in conjunction with them.
KAOS and GRL methodologies can be used for goals modeling.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Abid</surname>
            ,
            <given-names>M. R.</given-names>
          </string-name>
          <string-name>
            <surname>UML</surname>
          </string-name>
          <article-title>Profile for Goal-oriented Modelling</article-title>
          .
          <source>Lecture Notes in Computer Science</source>
          . Volume
          <volume>5719</volume>
          , pp
          <fpage>133</fpage>
          -
          <lpage>148</lpage>
          (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Blazyte</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          <article-title>Analysis of business rules modeling using UML</article-title>
          .
          <source>Master thesis</source>
          (
          <year>2005</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Clark</surname>
          </string-name>
          , Sammut etc. Applied Metamodelling.
          <article-title>A Foundation for Language Driven Development</article-title>
          .
          <article-title>Second edition</article-title>
          .
          <source>Ceteva</source>
          (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          <article-title>4. Decision making. T120B120. Enterprise Information technologies (</article-title>
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Dietz</surname>
          </string-name>
          , J.
          <source>Enterprise Ontology: Theory and Methodology</source>
          . Springer, ISBN:
          <volume>3540291695</volume>
          (
          <year>2006</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6. Goal modeling.
          <source>Michigan state university. Lecture notes</source>
          (
          <year>2006</year>
          ). http://www.cse.msu.edu/~chengb/RE-491/Lectures/06-goal-modeling.pdf
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Gudas</surname>
            <given-names>S.</given-names>
          </string-name>
          <article-title>Informacijos sistemu inzinerijos teorijos pagrindai</article-title>
          .
          <source>Monografija</source>
          , Vilnius, Vilniaus universiteto leidykla,
          <volume>382</volume>
          p.
          <fpage>ISBN978</fpage>
          -
          <volume>609</volume>
          -459-075-
          <fpage>7</fpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Gudas</surname>
            <given-names>S.</given-names>
          </string-name>
          <article-title>Ziniomis grindžiamu sistemu kurimo problemos</article-title>
          .
          <source>Lecture notes</source>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Klimas</surname>
            <given-names>S.</given-names>
          </string-name>
          <article-title>Automated gathering of marketing information from the internet</article-title>
          .
          <source>Master thesis</source>
          ,
          <source>Kaunas</source>
          (
          <year>2010</year>
          )
          <fpage>10</fpage>
          .
          <string-name>
            <surname>Maskeliunas</surname>
            <given-names>S.</given-names>
          </string-name>
          <article-title>Ontologijos ir semantinis pasaulinis tinklas</article-title>
          .
          <source>Lecture notes</source>
          (
          <year>2015</year>
          )
          <fpage>11</fpage>
          .
          <string-name>
            <surname>Liutvinavicius</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kriksciuniene</surname>
            <given-names>D.</given-names>
          </string-name>
          <article-title>Research of customer behavior anomalies in big financial data</article-title>
          .
          <source>Proceedings of HIS</source>
          <year>2014</year>
          :
          <fpage>91</fpage>
          -
          <lpage>96</lpage>
          ; ISBN:
          <fpage>978</fpage>
          -1-
          <fpage>4799</fpage>
          -7633-
          <lpage>1</lpage>
          (
          <year>2014</year>
          )
          <fpage>12</fpage>
          .
          <string-name>
            <surname>Liutvinavicius</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sakalauskas</surname>
            <given-names>V</given-names>
          </string-name>
          .
          <article-title>Dynamic simulation of pension funds' portfolio</article-title>
          .
          <source>BIS 2012. Lecture Notes in BIP</source>
          , Vol.
          <volume>127</volume>
          , Springer. ISBN 9783642342271. p.
          <fpage>69</fpage>
          -
          <lpage>80</lpage>
          .
          <fpage>13</fpage>
          .
          <string-name>
            <surname>Liutvinavicius</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sakalauskas</surname>
            <given-names>V.</given-names>
          </string-name>
          <article-title>Multi-criteria model for choosing long term investments</article-title>
          .
          <source>„Informacinės technologijos</source>
          <year>2015</year>
          ”: Conference proceedings. p.
          <fpage>131</fpage>
          -
          <lpage>334</lpage>
          .
          <source>ISSN</source>
          <year>2029</year>
          249X (
          <year>2015</year>
          )
          <fpage>14</fpage>
          .
          <article-title>Modeling and metamodeling in Model driven development</article-title>
          , Universidad Carlos III de Madrid (
          <year>2009</year>
          ). http://www.ie.inf.uc3m.es/ggenova/Warsaw/Part3.pdf 15.
          <article-title>MIT5312: Systems Analysis and Design. Simon's model of decision making (</article-title>
          <year>2007</year>
          )
          <fpage>16</fpage>
          .
          <string-name>
            <surname>Norvaisas</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sruogis</surname>
            <given-names>V</given-names>
          </string-name>
          .
          <article-title>Basics of System dynamics</article-title>
          . Lecture notes. http://www.culture.lt/science/SD/sd.htm 17.
          <article-title>System dynamics</article-title>
          .http://www.public.asu.edu/~kirkwood/sysdyn/SDIntro/SDIntro.htm 18.
          <string-name>
            <surname>Sutiene K. Imitacinis</surname>
          </string-name>
          modeliavimas
          <article-title>- sistemoms pazinti, analizuoti ir sprendimams priimti (</article-title>
          <year>2011</year>
          )
          <fpage>19</fpage>
          .
          <string-name>
            <surname>Svanidzaite</surname>
            <given-names>S.</given-names>
          </string-name>
          <article-title>A Methodology for Capturing and Managing Non-Functional Requirements for Enterprise Service-oriented Systems</article-title>
          .
          <source>Baltic J. Modern Computing</source>
          , Vol.
          <volume>2</volume>
          , No.
          <volume>3</volume>
          ,
          <fpage>117</fpage>
          -
          <lpage>131</lpage>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>