<!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>A Method and Tool for Business-IT Alignment in Enterprise Architecture</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Alain Wegmann</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Pavel Balabko</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Lam-Son L</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Gil Regev</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Irina Rychkova</string-name>
          <email>Irina.Rychkovag@epfl.ch</email>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Alain.Wegmann</institution>
          ,
          <addr-line>Pavel.Balabko, Gil.Regev, LamSon.Le</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>erale de Lausanne (EPFL), School of Communication and Computer Science CH-1015 Lausanne</institution>
          ,
          <country country="CH">Switzerland</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can °ourish in their environment. The enterprise architecture (EA) discipline has emerged from business best practices. EA frameworks are therefore mostly informal. As a result there is a lack of EA tools that can help enterprise architects to check this alignment. Most notably, current EA tools do not help enterprise architects to formalize the alignment of the multiple levels that constitute an enterprise model. In this paper we propose an EA framework and an associated tool that provide alignment checking along the functional and organizational hierarchies. We illustrate this approach with the Sun Microsystems industrial example of the Pet Store.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        The design of business and IT system alignment is the domain of Enterprise
Architecture (EA) [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Enterprise architects seek to align enterprise processes
and structure with their supporting IT systems.
      </p>
      <p>
        Several EA frameworks have been de¯ned in recent years [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]. EA frameworks
are characterized by a modeling paradigm where the multi-disciplinary nature
of the enterprise and its IT systems are modeled in multiple levels. Each level
represents the reality as viewed by a di®erent specialist, e.g. marketing, business
process, and IT developers. An acute problem with this modeling paradigm is
to verify the alignment and the traceability between the levels.
      </p>
      <p>
        In this document we represent a solution to this problem in the form of the
SEAM EA framework [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ] and its accompanying tool SeamCAD [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. SEAM is
grounded in General System Thinking (GST) [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ], and Living Systems Theory
[
        <xref ref-type="bibr" rid="ref12">12</xref>
        ] that explain how to interpret the enterprise reality. The need for reasoning
about behavior and construction is a general systems thinking principle that
recognizes that system behavior results in a certain construction (usually called
structure) which in turn supports future behavior [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ], [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>The two main SEAM concepts used to express the behavior and construction
are the functional and organizational levels. The functional levels represent the
behavioral hierarchy whereas the organizational levels represent the
constructional hierarchy.</p>
      <p>
        SEAM is based on the terminology de¯ned in the Reference Model for Open
Distributed Processing (RM-ODP) and uses formal methods (e.g Alloy [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] and
ASM [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]) to reason rigorously about the interpretation made of the reality.
      </p>
      <p>
        We illustrate our solution with the case study of the Pet store [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] released
by Sun Microsystems as their ¯rst Java Blueprint application. We add to the
original Sun Microsystems case study the business system and business process
levels in order to demonstrate the alignment between business and IT.
      </p>
      <p>This paper has the following structure: Section 2 de¯nes the concepts of
organizational and functional levels; Section 3 illustrates our contribution with
the Pet Store example; Section 4 describes the related work. Section 5 presents
our conclusions and future work.
2</p>
      <p>Organizational and Functional Levels
In this section we describe the concepts of organizational and functional levels
and formalize their alignment.</p>
      <p>
        Each organizational level is interpreted as being made up of computational
objects that represent systems. To every computational object one can apply two
viewpoints [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]: the information viewpoint (IV) and the computational viewpoint
(CV). The information viewpoint describes the system seen as a whole (black
box speci¯cation). The computational viewpoint de¯nes the system seen as a
composite (white box speci¯cation).
      </p>
      <p>
        In SEAM a computational object's computational viewpoint (CV) is
composed of several component computational objects. These components
participate in collaborations. A collaboration (also called joint action [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]) is an action
that involves multiple participants. Re¯ning a computational object's CV
results in a hierarchy of CVs where each CV represents a model of the system at
a speci¯c organizational level.
      </p>
      <p>Mutatis mutandis, each functional level represents behavior at a given level
of detail of a computational object. The computational object's information
viewpoint de¯nes the behavior with information objects, localized actions, and
relations between them. More detailed IV can be obtained by adding new
information about system behavior. Re¯ning of an information viewpoint results in a
hierarchy of IV's where each IV represents a model of the system at the speci¯c
functional level.</p>
      <p>
        The above concepts are formalized in [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], using Alloy 2.0. Alloy is a
speci¯cation language based on set theory [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. With this formalization, we were able
to build a CAD tool called SeamCAD for modeling hierarchical systems [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ].
      </p>
      <p>The SEAM hierarchical model of a system can be considered as a set of partial
models where each partial model represents the information viewpoint(s) of the
relevant system (or collaboration of its subsystems) of interest at a particular
organizational and functional level.</p>
      <p>
        The following de¯nition of functional levels alignment is adapted from [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]:
At a given organizational level o, let IVs;o;f be a partial model representing
system s at functional level f and IVs;o;f+1 is an extension of IVs;o;f on the
functional level f+1. Partial model IVs;o;f+1 is said to be aligned with the partial
model IVs;o;f if and only if all the behavior described by IVs;o;f is included in
the behavior described by IVs;o;f+1.
      </p>
      <p>
        This de¯nition is based on the intuitive meaning of the functional re¯nement
technique: model IVs;o;f+1 extends or implements the behavior of model IVs;o;f .
It implies the essential property of behavioral substitutability [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ]. In a similar
manner we de¯ne the alignment for the organizational levels:
      </p>
      <p>For any functional levels f 1 · f 2, let IVs;o;f1 be a partial model
representing system s at organizational level o and CVs;o+1;f2 = IVcollaboration;o+1;f2 +
P IVssi;o+1;f2 is a partial model representing the collaboration of subsystems
i
ssi of the system s on the next organizational level o+1. Partial model IVs;o;f1
is said to be aligned with the partial model CVs;o+1;f2 if and only if all the
behavior described by IVs;o;f1 is included in the behavior described by CVs;o+1;f2 and
mapping of vocabulary between organizational levels is de¯ned and complete.</p>
      <p>Vocabulary mapping is needed to relate concepts between organizational
levels. For example, the meaning of an Order information object can be di®erent for
the company itself, where Order represents a purchase, and for the sales
department where Order is a collection of customer's details and product speci¯cation.</p>
      <p>
        The alignment checking of the SEAM graphical models is based on The
Abstract State Machine (ASM) paradigm and tools such as the AsmL language
and the Asmlt test tool developed by Microsoft research group [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. This is
performed by exporting the SEAM graphical model as XML and then
translation the XML ¯le into the ASM speci¯cation (asml model). The resulting asml
model can be simulated using the Asml environment, and tested using Asmlt.
During conformance testing, Asmlt produces the trace of state transitions of
the two models to compare, and reports errors. The errors show the behavioral
nonequivalence between two models that means the violation of the behavioral
substitutability property.
3
      </p>
      <p>
        Modeling Example: The Sun Mycrosystem's Java Pet
Store
In this section we illustrate the SEAM framework with the example of the Pet
Store [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. The Java Pet Store application is a realization of a distributed internet
- shop, selling pets to its customers.
      </p>
      <p>Figure 1 represents four organizational levels. In some of these organizational
levels, multiple functional levels are represented simultaneously.</p>
      <p>a) The Pet Store business system organizational level (Figure 1.a).
This level represents the Pet Store Market, where the Pet Store Company (owner
of the Pet Store Application) is shown in collaboration with other business
entities, such as Bank, Pet Store Customer, and Supplier. The Pet Store Market
is not de¯ned in the original Java Pet Store model. However, in SEAM we
con* PS Customer
Web browser</p>
      <p>Buy
. Manage .</p>
      <p>Order
focus:
ManageOrder
* PS Customer
Web browser
MenageOrder:
customer
Place</p>
      <p>Order
focus: Manage</p>
      <p>Order
1 PS Web site
(CV)
* PS Customer
Web browser (CV)
“PS Client Tier”
&lt;&lt;HTTPRequest&gt;&gt;
PlaceOrder
PlaceOrder
* Bank: Credit
Card service
IT System
VerifyPayment
* Supplier
IT System</p>
      <p>Deliver
* Bank:
Credit Card
service
IT System
* Supplier</p>
      <p>IT System
1 PS OPC (IV)</p>
      <p>Order
MenageOrder: OPC
PrepareOrder
ManageOrder
“PS Web Tier”
Presentation
&lt;&lt;Customer&gt;&gt;
customer.jsp
&lt;&lt;Order&gt;&gt;
order_completed.j</p>
      <p>sp
EncodingServlet</p>
      <p>Filter
&lt;&lt;Product&gt;&gt;
item.jsp
GetUserInfo
“PS EJB Tier”
Business Logic
&lt;&lt;EJBSessionBean&gt;&gt;</p>
      <p>AsyncSender.ejb
&lt;&lt;EJBEntityBean&gt;&gt;
Account.ejb
&lt;&lt;EJBEntityBean&gt;&gt;
ContactInfo.ejb
&lt;&lt;EJBEntityBean&gt;&gt;
CreditCard.ejb
&lt;&lt;EJBEntityBean&gt;&gt;</p>
      <p>Address.ejb
* PS
Customer</p>
      <p>Buy
sider it important to describe the business context in which the system of interest
operates.</p>
      <p>b) The Pet Store business process organizational level (Figure 1.b).
This level represents the Pet Store application with its information viewpoint in
the context of the Pet Store Company. The Pet Store Market is hidden. Necessary
information concepts were added to the model to re°ect the Pet Store
Application functionality on the particular abstraction level. Note that two functional
levels are represented simultaneously in this model.</p>
      <p>The Pet Store Customer Web browser, Bank and Supplier IT Systems in this
model represent business partners from the business organizational level. For
simplicity their contexts were omitted as they are not our systems of interest.</p>
      <p>c) The Pet Store IT system integration organizational level (Figure
1.c). On this organizational level the Pet Store application can be observed
within its computational viewpoint as a collaboration of the Pet Store Web Site
and OPC (Order Processing Center).</p>
      <p>The IV of a system of interest de¯ned in the previous organizational level
makes explicit the system responsibilities. In the current organizational level we
distribute these responsibilities between the relevant subsystems. In our example
the Pet Store Application IV de¯ned on the ¯gure 1.b is distributed between Pet
Store Web site and Pet Store OPC on the ¯gure 1.c. This is the essence of the
SEAM design process.</p>
      <p>Note that as in the previous organizational level, two functional levels are
represented simultaneously in this model.</p>
      <p>
        d) The Pet Store IT components integration organizational level
(Figure 1.d). This level describes the construction of the Pet Store
application multi-tiered organization as de¯ned in [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. The model illustrates the
ManageOrder part of the Pet Store behavior implemented with J2EE components.
      </p>
      <p>The Pet Store example highlights the key features of the SEAM framework:
the explicit modeling of systems across organizational and functional levels; the
uni¯ed graphical notation; explicit relations between models on di®erent levels;
functionality-to-organization mapping; model alignment within one and between
di®erent organizational levels.
4</p>
    </sec>
    <sec id="sec-2">
      <title>Related Work</title>
      <p>
        Many "empirical" EA methods exist, e.g. FEA, TOGAF. For an exhaustive list
see [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]. In Information Systems, methods such as DEMO [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] and OPM [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] and in
Requirements Engineering, methods such as TROPOS [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ] have been proposed
to design IT systems aligned with business requirements. All these methods
provide traceability by top-down design. SEAM, on the other hand, makes the
relations between what is represented in the organizational and functional levels
explicit and de¯nes the concept of organizational and functional alignment using
the principle of behavioral substitutability.
In this paper we described the need for having functional and organizational
levels in EA frameworks to reason about business and IT alignment. We proposed
the concepts of organizational and functional alignment which is based on the
behavioral substitutability principle. We represented the SEAM EA framework
and its associated tool SeamCAD that provide both hierarchies and formalizes
their alignment. We illustrated our method with the example of the Pet Store.
      </p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>BÄorger</surname>
          </string-name>
          , E.,
          <string-name>
            <surname>Strk</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>Abstract State Machines: A Method for High-Level System Design and Analysis</article-title>
          . Springer-Verlag,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>Designing</given-names>
            <surname>Enterprise</surname>
          </string-name>
          <article-title>Applications with the J2EE Platform</article-title>
          , Second Edition http://java.sun.com/blueprints/guidelines/
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Dietz</surname>
            ,
            <given-names>J. L. G.</given-names>
          </string-name>
          :
          <article-title>DEMO: towards a discipline of Organisation Engineering</article-title>
          .
          <year>1999</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Dietz</surname>
          </string-name>
          , J.:
          <article-title>Basic notions regarding business processes and supporting information systems</article-title>
          ,
          <source>Proceedings of the 5th BPMDS Workshop</source>
          , Riga, Latvia,
          <year>June 2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Dori</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Object-Process Methodology</surname>
            ,
            <given-names>A Holistic</given-names>
          </string-name>
          <string-name>
            <surname>Systems Paradigm</surname>
          </string-name>
          . 2002: Springer Verlag.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>D</given-names>
            <surname>'souza</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.D.</given-names>
            ,
            <surname>Wills</surname>
          </string-name>
          ,
          <string-name>
            <surname>C. A.</surname>
          </string-name>
          :
          <article-title>Object, Components and Frameworks with UML, The Catalysis Approach</article-title>
          .
          <year>1999</year>
          :
          <article-title>Addison-Wesley.</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7. Du®y, J. IT/Business Alignment: Delivering Results,
          <source>CIO Magazine</source>
          ,
          <year>2001</year>
          , retrieved from http://www.cio.com/analyst/123101 idc.html on
          <year>September 2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Edwards</surname>
            ,
            <given-names>S. H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gibson</surname>
            ,
            <given-names>D. S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weide</surname>
            ,
            <given-names>B. W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zhupanov</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Software component relationships</article-title>
          .
          <source>In Proceedings of the Eighth Annual Workshop on Software Reuse, March</source>
          , 1997
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>9. http://research.microsoft.com/fse/asml/</mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10. L^e,
          <string-name>
            <given-names>L.S.</given-names>
            ,
            <surname>Wegmann</surname>
          </string-name>
          ,
          <string-name>
            <surname>A.</surname>
          </string-name>
          :
          <article-title>De¯nition of an Object-Oriented Modeling Language for Enterprise Architecture</article-title>
          .
          <source>System Sciences</source>
          ,
          <year>2005</year>
          .
          <source>HICSS '05. Proceedings of the 38th Annual Hawaii International Conference on</source>
          ,
          <fpage>03</fpage>
          -
          <lpage>06</lpage>
          Jan. 2005 Pages:
          <fpage>222a</fpage>
          -
          <lpage>222a</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11. L^e,
          <string-name>
            <given-names>L.S.</given-names>
            ,
            <surname>Wegmann</surname>
          </string-name>
          ,
          <string-name>
            <surname>A.</surname>
          </string-name>
          :
          <article-title>SeamCAD 1.x: User's Guide, School of Computer and Communication Sciences</article-title>
          ,
          <string-name>
            <given-names>EPFL</given-names>
            ,
            <surname>Lausanne</surname>
          </string-name>
          <string-name>
            <surname>Switzerland</surname>
          </string-name>
          , Report No. IC/
          <year>2004</year>
          /98, November
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Miller</surname>
            ,
            <given-names>J.G.</given-names>
          </string-name>
          :
          <article-title>Living Systems</article-title>
          . University of Colorado Press,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>13. MIT, The Alloy Constraint Analyzer, http://alloy.mit.edu/</mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Mylopoulos</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kolp</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Castro</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          <article-title>"UML for Agent-Oriented Software Development: The Tropos Proposal,"</article-title>
          <source>Proc. UML</source>
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15. OMG, ISO/IEC 10746-
          <issue>1</issue>
          ,
          <issue>2</issue>
          ,
          <issue>3</issue>
          , 4 |
          <string-name>
            <surname>ITU-T Recommendation</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          <year>901</year>
          ,
          <string-name>
            <surname>X.</surname>
          </string-name>
          <year>902</year>
          ,
          <string-name>
            <surname>X.</surname>
          </string-name>
          <year>903</year>
          ,
          <string-name>
            <given-names>X.</given-names>
            904,
            <surname>Reference</surname>
          </string-name>
          <string-name>
            <surname>Model</surname>
          </string-name>
          <source>of Open Distributed Processing</source>
          .
          <fpage>1995</fpage>
          -
          <lpage>1996</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Philippi</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Formally based modeling and inheritance of behaviour in objectoriented systems</article-title>
          .
          <source>Journal of Systems and Software</source>
          ,
          <string-name>
            <surname>Feb</surname>
          </string-name>
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Schekkerman</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          <article-title>How to Survive in the Jungle of Enterprise Architecture Frameworks: Creating or Choosing an Enterprise Architecture Framework</article-title>
          , Tra®ord, Canada,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Wegmann</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>On the systemic enterprise architecture methodology (SEAM)</article-title>
          .
          <source>In: Proceedings International Conference on Enterprise Information Systems (ICEIS</source>
          <year>2003</year>
          ), Angers, France.
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Weinberg</surname>
            ,
            <given-names>G. M.:</given-names>
          </string-name>
          <article-title>An Introduction to General Systems Thinking</article-title>
          . New York: Wiley &amp; Sons,
          <year>1975</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>