<!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>Goal Modeling for FinTech Certi cation</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Sepehr Shari</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Patrick McLaughlin</string-name>
          <email>patrick@brane.capital</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Daniel Amyot</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>John Mylopoulos</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Brane Capital</institution>
          ,
          <addr-line>Ottawa</addr-line>
          ,
          <country country="CA">Canada</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>School of EECS, University of Ottawa</institution>
          ,
          <addr-line>Ottawa</addr-line>
          ,
          <country country="CA">Canada</country>
        </aff>
      </contrib-group>
      <fpage>73</fpage>
      <lpage>78</lpage>
      <abstract>
        <p>With an increasing investment in digital assets such as cryptocurrencies, many nancial technology (FinTech) systems and custodians have become safety critical. Yet, current FinTech system development approaches often lack the rigorous safety practices found in other certi ed industries. This paper focuses on the development of goal models for analyzing a FinTech's system stakeholders, goals, and processes, as a rst step towards system certi cation. A strategic dependency model is used to identify the interfaces of the system with its context, and is enriched with an operational/process view using Use Case Maps. This goal/process combination brought much in the identi cation of stakeholders, critical resources, priorities, and appropriate safety controls.</p>
      </abstract>
      <kwd-group>
        <kwd>Goal modeling</kwd>
        <kwd>FinTech</kwd>
        <kwd>Certi cation</kwd>
        <kwd>Processes</kwd>
        <kwd>GRL</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Copyright © 2020 for this paper by its authors. Use permitted under
Creative Commons License Attribution 4.0 International (CC BY 4.0).</p>
      <p>This paper reports on an ongoing project that uses requirements modeling
methodologies and standards that are foreign to the FinTech industry but
common in other safety-critical engineering domains, in addition to current nancial
regulations, to rise up to the challenge of building a digital asset custody system
that will keep institutional investors' assets safe (e.g., through a set of
multisignature smart contracts and wallets). Additionally, the results of safety-guided
design and safety evaluations of the system should be communicated to the
stakeholders in a clear and comprehensible manner to provide cost and schedule
reductions in the certi cation process, and reduce dependencies on very
expensive accounting rms (including the Big Four) that provide the certi cation
services.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Goal Modeling for FinTech Certi cation</title>
      <p>In North-America, the most notable certi cation applied to nancial entities
is the System and Organization Controls (SOC)(https://www.aicpa.org/soc).
Di erent SOC reports approach system controls from di erent perspectives,
namely compliance, operations, and nancial reporting. The most relevant
report on system-level and entity-level operational controls of a nancial
service organization is the SOC2 report, based on the guidelines provided by the
American Institute of Chartered Professional Accountants (AICPA) and CPA
Canada, known as Trust Services Principles and Criteria (TSC) for Security,
Availability, Processing Integrity and Con dentiality (https://bit.ly/2ZnNhgB).
A new standard has also been developed for nancial service organizations that
interact with digital assets: Cryptocurrency Security Standard (CCSS)(https:
//cryptoconsortium.github.io/CCSS/). CCSS certi cation is deemed by
auditing rms as a major stepping stone towards establishing con dence in novel
blockchain-based systems.</p>
      <p>The above standards do not name safety explicitly as a criterion. They rather
use the term controls, which are essentially the tools that are imposed on the
system to ensure its safety. The development process of the system must employ
an approach that addresses the controls of the system, while considering all other
criteria requested by the standards, e.g., availability, security, and privacy.</p>
      <p>
        Systems developed in the FinTech industry have major human and software
elements, and are hence considered socio-technical systems. Goal modeling has
shown its utility when it comes to capturing intentionality of stakeholders in
such systems, while providing support for compliance, trade-o and
decisionmaking [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. The User Requirements Notation (URN)(https://www.itu.int/rec/
T-REC-Z.151) integrates the Goal-oriented Requirement Language (GRL) with
the Use Case Maps (UCM) process notation. URN provides a combined goal/process
view used in requirements engineering activities, but also in regulatory
compliance [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Though many work have been done on safety/security requirements, to
our knowledge none of them have addressed certi cation [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <p>For a FinTech system to be successful, important stakeholders such as
regulators, banks, and insurers must be on-board and be assured that their concerns
are handled properly. Therefore, the results of the safety-guided design of a
system to-be must be communicated to them as clearly, and yet as completely, as
possible. Due to the novelty of FinTech systems being developed (e.g.,
involving advanced blockchain-based technologies), communication of proper artifacts,
documents, and justi cations to help regulators and other stakeholders decide
on the acceptable safety of systems is crucial. Although many guidelines and
standards exist for general nancial systems (including SOC, TSC, and CCSS),
process and product standards have not caught up to recent FinTech
advancements and are not su cient to address certi cation problems.</p>
      <p>
        For the above reasons, and since goal-oriented approaches are useful for
developing socio-technical systems, we propose to enhance traditional
(prescriptive) approaches with a normative (goal-oriented) view [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. This view has been
utilized in various safety-critical domains (e.g., aerospace and nuclear
industries) for certi cation [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. Assurance cases are used to provide justi ed assurance
in the qualities of the system. As stated in the systems engineering standard
ISO/IEC/IEEE:15026-1:2019, a quality of the system is claimed, and then an
argument based on evidence needs to justify that claim for the regulators.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Stakeholder and Operational Analysis</title>
      <p>The rst step in modeling the goals of a FinTech system is to gain a holistic
understanding of all the stakeholders and their dependencies. They can often be
categorized into four major expertise domains: governance and policy, regulatory
and compliance, business and operations, and technical (engineering).</p>
      <p>The stakeholders, with varied expertise in the above domains, have unequal
understanding of the core of the system. In an onion model, we nd them in
various layers from the core operational layer, to the system layer (containing
the management and support elements), and then to the environment layer:
{ System Operations: Normal Operators (Finance Manager and Technical
Users), Maintenance Ops (Hardware, Software), Operational Support
(Transaction Mining, Customer Support), Interfacing System (Cloud, Internal Network).
{ System: Internal Consultants (Compliance O cer), Client (Investors,
Management), Functional Bene ciary (Institutional Funds).
{ System Environment: Customer (White-label Partners), Interfacing
System (Crypto-exchanges, Blockchains Platforms, Insurers), Regulators
(Securities, Judiciary, Tax and KYC/AML3 Authorities, Non-statutory Regulators
including standards, consortia, and Self-Regulatory Organizations), Negative
Actors (Competitor, Hacker), External Consultants (Business Auditor, Security
Specialist, Legal Counsel).</p>
      <p>This view is employed in the early stages of the system development to draft
the Concept of Operations (ConOps) of the system. Adding a development
viewpoint to the ConOps view would require the list of stakeholders to be augmented
with, e.g., project managers and system developers. The system development
3 Know Your Client (KYC) and Anti-Money Laundering (AML) e orts are crucial in
the nancial industry.
team is present in all three layers of the system and has interactions with
virtually all other stakeholders (except negative actors such as hackers).</p>
      <p>Various sources of information such as handbooks, standards, and interviews
with stakeholders and decision makers will uncover valuable dependencies. These
dependencies will in turn become the basis for sketching a strategic dependency
model of the system, which starts by outlining the actors and their directional
dependencies, hence enabling the elicitation of the actors' goals. In GRL, the
source and target of a dependency are intentional elements from di erent actors.</p>
      <p>A slice of the strategic dependency model is provided in Fig. 1, illustrating
how three actors, namely the Underwriter, the Securities Regulator, and the
Judiciary, depend on the system's goal Report to produce the Security Report and
on the Auditor's ability to perform veri cation (Verify). Multiple dependency
inbound and outbound links are a shorthand for a distributive dependency
relationship, i.e. there are 6 dependency relationships that have Security Report as
their dependum. Here, the Brane actor is the DA custodian and service provider.</p>
      <p>The creation of the GRL model has allowed the organization to discover
critical resources, i.e., resources that have a high number of dependencies which, if
not realized properly, would result in the simultaneous dissatisfaction of multiple
stakeholders. Thus, the requirements elicitation, system development/testing,
and certi cation e orts can be prioritized in accordance with the criticality of
the dependums and the system goals that provide them.</p>
      <p>As explained in Section 2, the main concern of nancial regulators is the
controls on systems operations. To analyze the operational aspect of the system,
the GRL model is expanded by de ning Use Case Map processes for functional
goals of the system. A process model of the Perform Due Diligence system goal is
provided in Fig. 2. The UCM model allows for analysis of the business process.
The operationalization of goal Perform Due Diligence starts by the activity
Evaluate Jurisdiction, which is the responsibility of the service provider (Brane) and
yield one of two possible outcomes (illustrated by an OR-fork), i.e., being of low
or high risk (the latter leading to the rejection of the client).</p>
      <p>Performing the operational analysis, has allowed the organization to check the
controls it has in place, assess alternative ones, provide a means to demonstrate
compliance to the regulators, and have a basis for the analysis of systemic safety.</p>
      <p>Our complete URN model of the FinTech's digital asset management system,
developed with the jUCMNav tool, is composed of 15 actors, 100 intentional
elements, and 96 intentional links for the GRL view, and of 5 components, 84
responsibilities, and 22 interconnected process maps with up to 7 levels of nesting
through stubs for the UCM view.
4</p>
    </sec>
    <sec id="sec-4">
      <title>Conclusions and Future Work</title>
      <p>With the emergence of Distributed Ledger Technologies, the new FinTech
certication landscape has become hard to navigate, both for service providers and
regulators. A service provider not only bears the responsibility of developing an
e cient system addressing many stakeholders concerns, but also of conveying
its design rationale and safety analysis to regulators that provides justi ed
assurance. Assurance cases can easily be misused if their authors do not focus on
discovering the system risks or form arguments that enforce con rmation bias.</p>
      <p>The rst step towards a goal-based approach in acquiring certi cation for
FinTech systems starts with the analysis of stakeholders, their interfaces, and
the system-level operations of the system. The stakeholders were identi ed based
on an onion model, while their interfaces with the service provider were studied
via the creation of a strategic dependency goal model. This has aided the service
provider in discovering critical resources, the system goals providing them, and
the stakeholders' goals depending on them. This also enabled a better
prioritization of development e orts while increasing system e ectiveness. The system
goals were expanded with a UCM process view, enabling the analysis of the
current controls and acting as a stepping stone towards systemic safety analysis.</p>
      <p>
        The development process of FinTech systems should be improved by
implementing systemic safety analysis approaches such as STPA [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], which ensures
that controls (in the form of safety requirements/constraints) on the system
operations are introduced as early as possible during the development process.
      </p>
      <p>
        The results of the a safety-based design should then be clearly communicated
to the regulators. Assurance cases describe the argumentation on system
properties in a structured manner. Although many notations and tools have been
provided in order to create structured assurance arguments [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], Feodoro has
proposed that GRL goal models can document argumentations and justi
cations (of safety and other qualities) as part of design rationales rather than in
other formats, which lack the ontological richness of URN, while also preventing
assurance case development activities that may be redundant [
        <xref ref-type="bibr" rid="ref2 ref3">2, 3</xref>
        ]. As previous
experience with the application of URN in a regulatory compliance context has
shown [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], providing regulators with (objective) evidence and their links to
qualities in terms of URN models would help attain a clearer picture of the system
and decide on its acceptability of safety risks.
      </p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Akhigbe</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Amyot</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Richards</surname>
          </string-name>
          , G.:
          <article-title>A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance</article-title>
          .
          <source>Requirements Engineering</source>
          <volume>24</volume>
          (
          <issue>4</issue>
          ),
          <volume>459</volume>
          {
          <fpage>481</fpage>
          (
          <year>2019</year>
          ). https://doi.org/10.1007/s00766-018-0294-1
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Feodoro</surname>
          </string-name>
          , R.:
          <article-title>Intentional enterprise architecture</article-title>
          .
          <source>In: 2016 Annual IEEE Systems Conference (SysCon)</source>
          . pp.
          <volume>1</volume>
          {
          <issue>8</issue>
          .
          <string-name>
            <surname>IEEE</surname>
          </string-name>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Feodoro</surname>
            ,
            <given-names>R.:</given-names>
          </string-name>
          <article-title>URN in place of GSN - Design Rationale versus Assurance Argument (</article-title>
          <year>2016</year>
          ). https://doi.org/10.13140
          <source>/RG.2.1.1378.6480</source>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Haentjens</surname>
          </string-name>
          , M.,
          <string-name>
            <surname>de Graaf</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kokorin</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          :
          <article-title>The Failed Hopes of Disintermediation: Crypto-Custodian Insolvency, Legal Risks and How to Avoid Them</article-title>
          .
          <source>Singapore Journal of Legal Studies</source>
          (
          <year>2020</year>
          ). https://doi.org/10.2139/ssrn.3589381
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Horko</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          , et al.:
          <article-title>Goal-oriented requirements engineering: an extended systematic mapping study</article-title>
          .
          <source>Requirements Engineering</source>
          <volume>24</volume>
          (
          <issue>2</issue>
          ),
          <volume>133</volume>
          {
          <fpage>160</fpage>
          (
          <year>2019</year>
          ). https://doi.org/10.1007/s00766-017-0280-z
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Leveson</surname>
            ,
            <given-names>N.G.</given-names>
          </string-name>
          :
          <article-title>Engineering a safer world: Systems thinking applied to safety</article-title>
          . The MIT Press (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          <article-title>7. O ce of the Comptroller of the Currency: Custody services { comptroller's handbook (</article-title>
          <year>2002</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Rauchs</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Blandin</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Klein</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pieters</surname>
            ,
            <given-names>G.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Recanatini</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zhang</surname>
            ,
            <given-names>B.Z.</given-names>
          </string-name>
          :
          <article-title>2nd global cryptoasset benchmarking study</article-title>
          .
          <source>Cambridge Centre for Alternative Finance (CCAF)</source>
          (
          <year>2018</year>
          ). https://doi.org/10.2139/ssrn.3306125
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Rinehart</surname>
            ,
            <given-names>D.J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Knight</surname>
            ,
            <given-names>J.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rowanhill</surname>
          </string-name>
          , J.:
          <article-title>Current practices in constructing and evaluating assurance cases with applications to aviation</article-title>
          .
          <source>Tech. Rep. CR2015- 218678</source>
          , NASA (
          <year>2015</year>
          ), https://ntrs.nasa.gov/search.jsp?R=
          <fpage>20150002819</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Stensrud</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          , et al.:
          <article-title>Towards goal-based software safety certi cation based on prescriptive standards</article-title>
          .
          <source>In: 2011 First International Workshop on Software Certi cation</source>
          . pp.
          <volume>13</volume>
          {
          <fpage>18</fpage>
          . IEEE CS (
          <year>2011</year>
          ). https://doi.org/10.1109/WoSoCER.
          <year>2011</year>
          .7
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>