<!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>Towards a Principle-Based Framework for Enterprise Architecture Rationalization</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Diana Marosin</string-name>
          <email>diana.marosin@tudor.lu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>CRP Henri Tudor</institution>
          ,
          <addr-line>Luxembourg</addr-line>
          ,
          <country country="LU">Luxembourg</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Enterprise Engineering Team</institution>
          ,
          <addr-line>Luxembourg</addr-line>
          ,
          <country country="LU">Luxembourg</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Radboud University Nijmegen</institution>
          ,
          <addr-line>Nijmegen</addr-line>
          ,
          <country country="NL">the Netherlands</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Organizations increasingly use enterprise architecture (EA) to direct change processes, given that it provides means to direct and steer their transformation and innovation, while at the same time ensuring the alignment between di erent key aspects (e.g. business services, business process, services, IT systems). In creating enterprise architectures, several design decisions have to be made. Such decisions are to a large extend based on assumptions about the situation at hand. The aim of this PhD research is to explicitly link underlying assumptions to architectural design decisions in order to make the rationalization of these decisions explicit as well as traceable in terms of formal reasoning. In this paper we present the state of the art on EA principles, the link between EA principles, EA decisions and computer science tools that can accommodate principle oriented decision making process. Furthermore, we present preliminary results and directions for future work.</p>
      </abstract>
      <kwd-group>
        <kwd>enterprise architecture</kwd>
        <kwd>principles</kwd>
        <kwd>assumptions</kwd>
        <kwd>decision making</kwd>
        <kwd>rationalization</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>This work is part of the \RationalArchitecture" programme, started in the
beginning of 2013, and sponsored by the \Fonds National de la Recherche
Luxembourg" (www.fnr.lu).</p>
      <p>In practice, enterprises are confronted with frequent changes and challenges.
The assumptions, and their relative priority, do not only depend on the speci c
stakeholders that are involved in creating the architecture, but also on the actual
transformation. Therefore, it is desirable for these organizations to clearly trace
any architecture related design decisions back to their assumptions. Having the
ability to reason about the connection between architecture-level design
decisions and their underlying assumptions, will (1) enable consistency checks of the
architecture, (2) enable a more precise capturing of design knowledge, and (3)
enable advanced impact/what-if analysis when confronted with changes of the
underlying assumptions.</p>
      <p>In the case of architectural decision-making, companies would ideally apply
an a-priori rationalization. However, this is not well documented (if documented
at all). Therefore, being constrained by the existence of case studies, as well
as the common practices, this project focus on a-posteriori rationalization. Our
main research question is:</p>
      <p>How to represent/capture the rationalization/motivation of architecture
decisions?
We divide this question in the following sub questions:
1. How to position di erent types of assumptions, such as goals, requirements,
principles? How to involve stakeholders and architects in validating them?
2. How to represent/capture the underlying assumptions? How to reason on
the relation between assumptions and decisions?
3. How to reason on the relation between assumptions and decisions and
associated uncertainties?
4. How to assess the robustness of design decisions in relation to the robustness
of underlying assumptions?</p>
      <p>The rest of the paper is structured as follows: in section 2 we summarize the
existing architecture frameworks, position the existence of principles within them
and summarize techniques present in computer science that could be used for
reasoning on assumptions and architecture decisions. In section 3 we present the
research methodology used for investigation. In section 4 we present preliminary
steps taken in order to answer the research questions and section 5 concludes.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Related work</title>
      <p>In this section we present non-exhaustively the eld of enterprise architecture
and the existing architecture frameworks. Furthermore, we summarize how
architecture principles t in these frameworks, how decisions are supported by
architectural principles and how assumptions in uence these principles. In the
end of the section we introduce logical tools that we believe provide a good
support for modelling decisions in an enterprise.
2.1</p>
      <sec id="sec-2-1">
        <title>Enterprise architecture frameworks</title>
        <p>
          Many de nitions of enterprise architecture are used. We adhere to the following
de nition of architecture [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. Furthermore, enterprise architecture is a
specialisation of an architecture:
De nition 1. (Architecture) Those properties of an artifact that are necessary
and su cient to meet its essential requirements.
        </p>
        <p>De nition 2. (Enterprise Architecture) The architecture of an enterprise. As
such, it concerns those properties of an enterprise that are necessary and su
cient to meet its essential requirements.</p>
        <p>Enterprise architecture is a comprehensive framework used to manage and
align an organization. It describes the strategic direction of all composing
elements of a company: organization structure, business processes, people and
stakeholders, applications, data, infrastructure, etc. An architecture provides
the guiding principles on how information and technology will support the
business operations and provide bene t for the business. Therefore, enterprise
architecture is about more than technology, it is about the entire organization (or
enterprise) and identi es all of the pieces that make the organization work. The
mission of enterprise architecture is to add value by providing management with
means for informed governance of the enterprise transformation [20].</p>
        <p>An architecture framework is a set of tools, methods and guidelines which
can be used for developing a broad range of di erent architectures. It should
describe a method for de ning an information system in terms of a set of
building blocks and show how they t together. Also, it should contain a set of
tools, provide a common vocabulary, include a list of recommended standards
and a list of compliant products that can be used to implement the building
blocks. The Open Group Architecture Framework (TOGAF) [29] is a
standardized method for enterprise architecture. Large consultancy rms, such as IBM,
HP, SAP and Capgemini have adopted it and enriched it with their own
architectural knowledge and experience. TOGAF provides an elaborate reference on
enterprise architecture, including an architecture development method, an
architecture content framework, architecture reference models and an architecture
capability framework.</p>
        <p>
          The ArchiMate language, as described in [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ], complements TOGAF,
provides a vendor-independent set of concepts, including a graphical representation
that helps creating a consistent, integrated model \below" the \waterline", which
can be depicted in the form of TOGAFs views. It has become the open
standard for architecture modelling in the Netherlands, it is also fairly well known
in the international enterprise architecture community, as it has been adopted
by The Open Group. Resembling the Uni ed Modelling Language (UML), the
ArchiMate modelling notation is intuitive and expressive enough to allow the
modelling of all layers (business, application, and technology infrastructure) and
all aspects (structure, behaviour, and information) of an organization in an
integrated way.
2.2
        </p>
      </sec>
      <sec id="sec-2-2">
        <title>Architecture principles</title>
        <p>
          In practice, many di erent types of architecture principles are used. At the same
time, principles are referred to by di erent names, including architecture
principles, design principles, and IT policies. We use the de nitions provided in [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]:
De nition 3. (Architecture principles) A design principle included in an
architecture is a declarative statement that normatively prescribes a property of
the design of an artifact, which is necessary to ensure that the artifact meets its
essential requirements.
        </p>
        <p>
          Fig. 1: Conceptual framework for architecture principles [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]
They also influence all sorts of other artifacts, such as guidelines, architecture
instructions, design requirements, design instructions, and implementations.
Architecture principles really bridge between strategy and operations; they are primarily
an alignment instruImneFnitg.uTrhee1y awree pforermseuntlaatedmbetaas-emdoodnelkninocworlepdograet,ienxgpaerrciehnitceectaunrde principles.
tohpeinpieoonpsloefthalalt
sDsddoceorresitisbstgihengoesnffaarpceppeteruordioaponpllmceewirpit[on7ylre]kt.osh.fAeaTsroohnemriogsareammtndhiaieizxntcaitlgvtuaierro(aeintptsoircv;ifanesnpcesienpbtoialeoeptreslieemsmeienaasnnatadasslegscatoelhma\atrrhteauentnlietvto,aeorarmfgssectawaotttnieavedlumeludlayecisn-tr"te)s.tthDraictetspitgrheneence of normatiivnestructions are instructive statements that describe the design
principles. In that sense, the definitions of normative principloefsan artifact.
also provide a cTomhemyocnovnotacianbuulsaurayllfyorctohneceoprgtsanuizseadtioinn. the actual construction of the
enter
        </p>
        <p>
          As a further ipllruissetr(aet.igo.n, ovafltuhee eflxocwhafnrgoem, tsrtarantseagcytiotonsd,esseigrvni,cwese, cuosnetaraficcttsi,tiporuosceinss-es) and use
surance companay.rTephreeisresnttraatteiogny liasnbgausaegdeo(ne.ogp.,erUaMtioLn,aAlerxchceiMlleantec,e.BTPoMthNis, eDnEd MthOey) [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ]. Design
have formulatedintshteruocbtijoencstivperotvoidceutacmosotrsewoipthera2t0i%onawl iathnidn ttawnogiybelearrse, wnehmicehntcaonf the design
be considered apnrainrccihpilteesc.tuDraulerethqeuiirrenmaetunrt.e,Bdaesseidgnonintshtirsuactrciohnitsecatlulorwe raenqueinretmerepnritse to
simuthey have defined an architecture principle which states that “business processes
are standardized and automated”. Although they could not find any scientific
principles to support this, they had good experiences with process standardization in
other organizations. The architecture principle is translated to specific design
inlate/analyse the e ects of di erent options for the future, as well as analyse the
current state and identify current problems [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ]. In conclusion, architecture
principles are design principles that focus on how the design of an enterprise
will meet its essential requirements. They are declarative statements that can
be made more precise using design instructions.
        </p>
        <p>Formalising architecture principles comes from deep analysis of drivers (i.e.,
goals and objectives that stakeholders seek to meet) embedded in the strategy
of the enterprise, the risks that may occur, potential opportunities, constraints.</p>
        <p>
          TOGAF lists ve criteria that distinguish a good set of principles: [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ]
Understandable: The underlying conviction can be quickly grasped and understood
by individuals throughout the organization. [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ] Robust: Each principle should
be su ciently de nitive and precise to support consistent decision making in
complex, potentially controversial, situations. [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] Complete: Every potentially
important principle governing the management of information and technology
for the organization is de ned. [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] Consistent: Principles should not be
contradictory to the point where adhering to one principle would violate the spirit
of another. [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] Stable: Principles should be enduring, yet able to accommodate
changes.
2.3
        </p>
      </sec>
      <sec id="sec-2-3">
        <title>Formalising principles based on assumptions</title>
        <p>
          Enterprise principles de ne the cornerstone of EA. There seems to be no
universal agreement on the types of drivers that exist to motivate architecture
principles [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. The business motivation model [21] provides important concepts to
express motivation. The model was initially created to provide the motivations
behind business rules, but can also be used to nd the motivation for architecture
principles. This idea is brought to enterprise architecture by Engelsman et al. [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ]
who state that architecture principles are based on an assessment of stakeholder
concerns. An assessment represents the outcome of the analysis of some concern,
revealing the strengths, weaknesses, opportunities that may trigger a change to
the enterprise architecture.
        </p>
        <p>
          In this work one of our goal is to link the enterprise principles to their
underlying assumptions. Major classes of assumptions include: [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] Environment:
state and evolution of stakeholders in the enterprise; [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ] Enterprise: strategic
directions of the enterprise, goals of the stakeholders, business and IT strategies;
[
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] Means: several qualities of the components (to-be) used in the
implementation of the enterprise.
        </p>
        <p>
          General insights on the linkage between assumptions, stakeholders goals and
design decisions will be used [18, 24]. In the ArchiMate project [
          <xref ref-type="bibr" rid="ref14">14, 30</xref>
          ], some
initial work into the capturing of architectural design decisions was conducted as
well. This preliminary work provides a good starting point to make
architecturelevel design decisions more explicit. The motivation extension of the new 2.0
version of the ArchiMate standard [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ] further extends this work.
2.4
        </p>
      </sec>
      <sec id="sec-2-4">
        <title>Logical formalisms for decision making</title>
        <p>One of the goals of this research is to apply formalisms from domains such as
computer science to enterprise architecture. To do so, we focused our attention
on formalism coming for logics and arti cial intelligence, used to reason on
decision making process. To this point, we focused on decisions made in presence
of exterior beliefs and reconsideration of these decisions. We also believe that
agreement technologies, and in particular normative systems, are an interesting
track for future investigations.</p>
        <p>
          Planning and intention revision: In terms of logics, design decisions are
treated as plans, in which the assumptions will be represented in a variety of
ways, depending on the nature of the assumptions. Techniques for reasoning
about assumptions in plans are adopted from theories of diagnosis, truth
maintenance systems [
          <xref ref-type="bibr" rid="ref2 ref3">2, 3, 26</xref>
          ], logic programming, non-monotonic logic, and most
recently from assumption based formal argumentation [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ]. Classical planning
techniques are often not su cient, therefore they have been extended with the
theory of intentions [
          <xref ref-type="bibr" rid="ref11">11, 22, 31, 25</xref>
          ]. Shoham [
          <xref ref-type="bibr" rid="ref11">11, 27</xref>
          ] recently changed the focus
on intentions from its historical philosophical perspective to a computer science
database perspective of revising plans in the context of beliefs.
        </p>
        <p>
          Agreement technologies: Due the rise of distributed systems over the
years, the focus shifted from individual to collective reasoning, with formal
theories of multi-agent systems reasoning about interaction among multiple actors
or stakeholders [
          <xref ref-type="bibr" rid="ref1 ref15">1, 15</xref>
          ]. Members of the COST Action ICO801-AT 4 have divided
the action in 5 working groups/topics (Semantics, Norms, Organisations,
Argumentation and Negotiation, Trust). Our focus was on the normative issues.
The issuing of norms has the characteristic of stating norms in such a form in
which allows them to regulate a wide range of situations, to be stable over a long
period of time. Grossi [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ] makes a distinction between abstract norms and
concrete/re ned norms. We can make a clear connection between normative re
nements and architecture principles: the principles intervene in the non-functional
level, the strategic level, are derived from drivers (goals of stakeholders
associated with the current situation), and describe qualitatively the architecture.
Requirements are more speci c and provide functional guidelines.
3
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Research methodology</title>
      <p>
        Methods for developing design theories must speci cally account for the aspects
of rigour and relevance that according to Hevner et al. [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] shape the environment
in which design science research takes place. This project will follow the design
research process as outlined by Pe ers et al. [23].
      </p>
      <p>
        Advanced techniques from knowledge representation and multi-agent
systems, as presented in section 2, will be applied and generalized to model the
dynamics and uncertainty characteristic of such a socio-epistemic context as
enterprise architecture. In order to do so, the project will have 3 iterations,
4 http://www.agreement-technologies.eu
as follows: [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] Capture design rationale and basic reasoning: develop a formal
framework in order to capture enterprise architecture decisions. The validation
of the framework will be done using with case studies, conducted in collaboration
with practitioners and companies. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] Reasoning on persistence of assumptions:
introduce uncertainties, re ne the framework, apply more advance reasoning
mechanisms (e.g Bayesian networks and causal theories). [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] Select and develop
relevant reasoning mechanisms that allow for multi-stakeholder situations and
associated negotiations (e.g apply dynamic game theoretic based approaches,
description logics)
4
      </p>
    </sec>
    <sec id="sec-4">
      <title>Preliminary results</title>
      <p>
        The preliminary results, regarding representations of decisions, principles and
underlying assumptions, as well as two decision reconsideration algorithms, were
published in [
        <xref ref-type="bibr" rid="ref16">16, 17</xref>
        ].
      </p>
      <p>
        A paper linking IT security approaches (attack defence trees [
        <xref ref-type="bibr" rid="ref12">12, 19</xref>
        ]) with
risk management and goal oriented design was recently accepted [28]. The aim
of this paper is to provide a framework that enables stakeholders to achieve their
goals by performing risk analysis.
5
      </p>
    </sec>
    <sec id="sec-5">
      <title>Conclusions and future work</title>
      <p>In the previous sections we have identi ed a research problem, we formulated
the adequate research questions, position our work and presented preliminary
results.</p>
      <p>In the short term, we have two important directions to follow. First, to get
in touch with industrial partners and get involved in a company's case study.
Second, we intend to develop further the preliminary results regarding risk
management based architecture principles and validate our results within a company.</p>
      <p>In the longer term, the project will result in a logic-based framework to
capture the rationalization of architecture related design decisions, and to reason
about the relationship between these decisions and their underlying assumptions.
We follow an iterative approach for development and validation, as presented
in section 3. The framework will cater for uncertainties of the underlying
assumptions, as well as negotiation between di erent stakeholders involved in the
creation and implementation of architectures. The framework will be specialized
further towards two classes of properties of enterprises and their IT: security
and modi ability. In the meantime, the relevance of the results will have been
validated in terms of a number of real-world case studies.</p>
    </sec>
    <sec id="sec-6">
      <title>Acknowledgements</title>
      <p>The author wishes to thank her daily co-supervisor, Dr. Khaled Gaaloul, for
many hours of discussions and feedback regarding the research topic and for
his help in planning the course of the research. Furthermore, she would like to
thank her supervisor, Prof. Dr. Erik Proper, and her former thesis coordinator,
Prof. Dr. Leon van der Torre.
17. D. Marosin and L. van der Torre. Changing commitments based on reasons and
assumptions. In the 12th AAMAS conference, To Appear in COIN workshop, 2013.
18. R. Mason and I. Mitro . Challenging Strategic Planning Assumptions. John Wiley
&amp; Sons Ltd, 1982.
19. S. Mauw and M. Oostdijk. Foundations of attack trees. In International Conference
on Information Security and Cryptology ICISC 2005. LNCS 3935, pages 186{198.</p>
      <p>Springer, 2005.
20. M. Op 't Land, H. Proper, M. Waage, J. Cloo, and C. Steghuis. Enterprise
Architecture { Creating Value by Informed Governance. Springer, Berlin, Germany,
2008.
21. A. Osterwalder and Y. Pigneur. Business Model Generation: A Handbook for
Visionaries, Game Changers, and Challengers. Self Published, Amsterdam, The
Netherlands, 2009.
22. S. Parsons, O. Pettersson, A. Sa otti, and M. Wooldridge. Intention
reconsideration in theory and practice. In ECAI, pages 378{382, 2000.
23. K. Pe ers, T. Tuunanen, M. Rothenberger, and S. Chatterjee. A design science
research methodology for information systems research. Journal of Management
Information Systems, 24(3):45{77, 2007.
24. C. Potts and G. Bruns. Recording the reasons for design decisions. In Proceedings of
the 10th International Conference on Software Engineering, pages 418{427, 1988.
25. A. S. Rao and M. P. George . Intentions and rational commitment. In Proceedings
of the First Paci c Rim Conference on Arti cial Intelligence (PRICAI-90), 1993.
26. R. Reiter and J. de Kleer. Foundations of assumption-based truth maintenance
systems: Preliminary report. In AAAI, pages 183{189, 1987.
27. Y. Shoham. Logical theories of intention and the database perspective. Journal of</p>
      <p>Philosophical Logic, 38:633{647, 2009.
28. S. Sousa, D. Marosin, K. Gaaloul, and N. Mayer. Assessing Risks and Opportunities
in Enterprise Architecture using an extended ADT approach. In the 17th IEEE
International EDOC conference, To Appear 2013.
29. The Open Group. TOGAF Version 9. Van Haren Publishing, Zaltbommel, The</p>
      <p>Netherlands, 2009.
30. G. Veldhuijzen van Zanten, S. Hoppenbrouwers, and H. Proper. System
Development as a Rational Communicative Process. Journal of Systemics, Cybernetics
and Informatics, 2(4):47{51, 2004.
31. M. Wooldridge and S. Parsons. Intention reconsideration reconsidered. In ATAL,
pages 63{79, 1998.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>H.</given-names>
            <surname>Billhardt</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Centeno</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. E.</given-names>
            <surname>Cuesta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Fernandez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Hermoso</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Ortiz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Ossowski</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. S.</given-names>
            <surname>Perez-Sotelo</surname>
          </string-name>
          , and
          <string-name>
            <given-names>M.</given-names>
            <surname>Vasirani</surname>
          </string-name>
          .
          <article-title>Organisational structures in nextgeneration distributed systems: Towards a technology of agreement</article-title>
          .
          <source>Multiagent and Grid Systems</source>
          ,
          <volume>7</volume>
          (
          <issue>2</issue>
          -3):
          <volume>109</volume>
          {
          <fpage>125</fpage>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>J. de Kleer</surname>
          </string-name>
          .
          <article-title>A perspective on assumption-based truth maintenance</article-title>
          .
          <source>Artif</source>
          . Intell.,
          <volume>59</volume>
          (
          <issue>1-2</issue>
          ):
          <volume>63</volume>
          {
          <fpage>67</fpage>
          ,
          <year>1993</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>J.</given-names>
            <surname>Doyle</surname>
          </string-name>
          .
          <article-title>Reason maintenance and belief revision - foundations vs. coherence theories</article-title>
          .
          <source>In Belief Revision</source>
          , pages
          <volume>29</volume>
          {
          <fpage>51</fpage>
          . Cambridge University Press,
          <year>1992</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>P. M.</given-names>
            <surname>Dung</surname>
          </string-name>
          .
          <article-title>On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games</article-title>
          .
          <source>Artif</source>
          . Intell.,
          <volume>77</volume>
          (
          <issue>2</issue>
          ):
          <volume>321</volume>
          {
          <fpage>358</fpage>
          ,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>W.</given-names>
            <surname>Engelsman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Jonkers</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D.</given-names>
            <surname>Quartel</surname>
          </string-name>
          .
          <article-title>ArchiMate Extention for Modeling and Managing Motivation, Principles and Requirements in TOGAF</article-title>
          . White paper, The Open Group,
          <year>August 2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>D.</given-names>
            <surname>Greefhorst</surname>
          </string-name>
          and
          <string-name>
            <given-names>H.</given-names>
            <surname>Proper</surname>
          </string-name>
          .
          <article-title>Architecture Principles { The Cornerstones of Enterprise Architecture</article-title>
          .
          <source>Enterprise Engineering Series</source>
          . Springer, Berlin, Germany,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>D.</given-names>
            <surname>Greefhorst</surname>
          </string-name>
          and
          <string-name>
            <given-names>H.</given-names>
            <surname>Proper</surname>
          </string-name>
          .
          <article-title>Architecture Principles { The Cornerstones of Enterprise Architecture</article-title>
          .
          <source>Enterprise Engineering Series</source>
          . Springer, Berlin, Germany,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>D.</given-names>
            <surname>Grossi</surname>
          </string-name>
          .
          <article-title>Designing Invisible Handcu s - Formal Investigations in Institutions and Organizations for Multi-Agent Systems</article-title>
          .
          <source>PhD thesis</source>
          , University of Utrecht,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>A.</given-names>
            <surname>Hevner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>March</surname>
          </string-name>
          , J. Park, and
          <string-name>
            <given-names>S.</given-names>
            <surname>Ram</surname>
          </string-name>
          .
          <source>Design Science in Information Systems Research. MIS Quarterly</source>
          ,
          <volume>28</volume>
          :
          <fpage>75</fpage>
          {
          <fpage>106</fpage>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>M.-E. Iacob</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          <string-name>
            <surname>Jonkers</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Lankhorst</surname>
            , and
            <given-names>H.</given-names>
          </string-name>
          <string-name>
            <surname>Proper</surname>
          </string-name>
          .
          <source>ArchiMate 2</source>
          .
          <article-title>0 Speci cation</article-title>
          . The Open Group,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>T. F. Icard</surname>
            , E. Pacuit, and
            <given-names>Y.</given-names>
          </string-name>
          <string-name>
            <surname>Shoham</surname>
          </string-name>
          .
          <article-title>Joint revision of beliefs and intention</article-title>
          .
          <source>In KR</source>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <given-names>B.</given-names>
            <surname>Kordy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Mauw</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Melissen</surname>
          </string-name>
          , and
          <string-name>
            <given-names>P.</given-names>
            <surname>Schweitzer</surname>
          </string-name>
          .
          <article-title>Attack-defense trees and two-player binary zero-sum extensive form games are equivalent</article-title>
          .
          <source>In Proceedings of the First international conference on Decision and game theory for security</source>
          ,
          <source>GameSec'10</source>
          , pages
          <fpage>245</fpage>
          {
          <fpage>256</fpage>
          , Berlin, Heidelberg,
          <year>2010</year>
          . Springer-Verlag.
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>M. Lankhorst</surname>
          </string-name>
          et al.
          <source>Enterprise Architecture at Work: Modelling, Communication and Analysis</source>
          . Springer, Berlin, Germany,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>M. M. Lankhorst</surname>
          </string-name>
          . Enterprise Architecture at Work - Modelling,
          <article-title>Communication and Analysis (4</article-title>
          . ed.).
          <source>The Enterprise Engineering Series</source>
          . Springer,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <given-names>T.</given-names>
            <surname>Malone</surname>
          </string-name>
          and
          <string-name>
            <given-names>K.</given-names>
            <surname>Crowston</surname>
          </string-name>
          .
          <article-title>The interdisciplinary study of coordination</article-title>
          .
          <source>Computing Surveys</source>
          ,
          <volume>26</volume>
          (
          <issue>1</issue>
          ):
          <volume>87</volume>
          {
          <fpage>119</fpage>
          ,
          <year>1994</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <given-names>D.</given-names>
            <surname>Marosin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H. A.</given-names>
            <surname>Proper</surname>
          </string-name>
          , and
          <string-name>
            <given-names>L. van der Torre. Changing</given-names>
            <surname>Agreements</surname>
          </string-name>
          :
          <article-title>Intention Reconsideration based on Assumptions and Reasons</article-title>
          . In S. Ossowski,
          <string-name>
            <given-names>F.</given-names>
            <surname>Toni</surname>
          </string-name>
          , and G. A. Vouros, editors,
          <source>AT</source>
          , volume
          <volume>918</volume>
          <source>of CEUR Workshop Proceedings</source>
          , pages
          <volume>262</volume>
          {
          <fpage>263</fpage>
          . CEUR-WS.org,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>