<!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>Tool Support for the EKD Enterprise Modeling Method: Towards Managing Inter-View Consistency</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Afef Awadid</string-name>
          <email>afef.awadid@malix.univ-paris1.fr</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Selmin Nurcan</string-name>
          <email>nurcan@univ-paris1.fr</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>University of Paris 1 Pantheon-Sorbonne</institution>
          ,
          <addr-line>Paris</addr-line>
          ,
          <country country="FR">France</country>
        </aff>
      </contrib-group>
      <fpage>49</fpage>
      <lpage>60</lpage>
      <abstract>
        <p>Central to Multi-View Modeling Methods (MVMMs) is the structuration of an enterprise and its underlying systems into views and levels in order to curtail their complexities. However, efficient application of MVMMs considerably depends on the availability of corresponding modeling tools- the so-called Multi-View Modeling (MVM) tools. The latter are crucial for machine processing of models (views) and hence for managing inter-view consistency. This is the reason why the focus of this paper is geared towards developing a MVM tool for the Enterprise Knowledge Development (EKD) method - a representative of MVMMs. This tool is intended not only to fill a research gap, but also to implement insights and findings derived from our previous work on inter-view consistency. Two different ways of managing consistency are indeed stressed: consistency by construction and consistency checking. Compared to the latter, the former advocates preventing inconsistencies rather than handling/correcting them. The tool has been implemented using ADOxx platform and realized within the Open Models Laboratory (OMiLAB).</p>
      </abstract>
      <kwd-group>
        <kwd>EKD Enterprise Modeling Method</kwd>
        <kwd>Multi-View Modeling Tool</kwd>
        <kwd>Inter-View Consistency</kwd>
        <kwd>ADOxx</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        At the core of Multi-View Modeling Methods (MVMMs) is Multi-View Modeling
(MVM). MVM is a widely accepted technique to reduce the complexity of a system
under study (e.g., a business process, enterprise, cyber-physical system). The key idea
behind this technique is to capture different aspects of the modelled system (e.g. its
structure and its behavior) by different views (models) [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Each view (i) sheds light on
certain aspects of the system, and (ii) is specified by a viewpoint which depicts the
concepts considered by the view and the valid combinations (e.g. specified by a
metamodel) [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. The usefulness of MVM "is obvious and objectively proven" [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. This
opinion has been ascertained by several studies e.g. the one conducted by [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ], where the
authors found that applying the viewpoint concept makes "it easier to cope with overall
size of the problem domain" and leads "to a deeper understanding of the problem
domain" [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>
        Nonetheless, efficient application of MVMMs considerably depends on the
availability of corresponding modeling tools [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] commonly known as MVM tools. Such tools
become valuable assets in machine processing of models in general and in managing
inter-view consistency in particular. It is, therefore, no surprise that modeling tools
development gains quite a lot of attraction in academia and industry. A convincing proof
is that a plethora of modeling tools underpinning MVMMs have been developed within
the Open Model Initiative Laboratory (OMiLAB)1 - “a physical and virtual research
environment that supports meta-modeling research projects and communities" [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
Following this direction, the paper at hand reports on the development of a MVM tool for
the first version of the Enterprise Knowledge Development (EKD) method [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. EKD
stands for a framework for modeling enterprise knowledge that, grounding on the terms
"dimension” and "perspective", it allows mastering not only the complexity of the
enterprise as a whole, but also that of business processes.
      </p>
      <p>
        In its current version, the tool focuses on the process related aspects of EKD since
this method advocates a MVM approach for business processes. An EKD business
process model is thereby depicted in terms of three complementary views (sub-models),
where each view captures one or more perspectives (aspects). Based on this, these
views are not independent from each other. There is hence a need for managing
consistency among them. The proposed tool is intended not only to fill a research gap, but
also to implement insights and findings derived from our previous work on inter-view
consistency [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ][
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. Two different ways of managing consistency are indeed stressed:
consistency by construction and consistency checking. In contrast to the latter, the
former advocates preventing inconsistencies rather than handling/correcting them. The
foremost question raised in this paper is accordingly: How to implement an EKD
modeling tool that accounts for both ways of managing inter-view consistency? The tool
has been realized within the OMiLAB and implemented using the ADOxx platform- "a
meta modelling-based development and configuration environment to create
domainspecific modelling tools" [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ].
      </p>
      <p>This paper is organized as follows: Section 2 provides the theoretical foundations
for this work and briefly presents related works. Section 3 puts emphasis on the
conceptualization of the EKD modeling method. In Section 4, an overview of the EKD
modeling tool along with a case study demonstrating the application of this tool are
given. Lastly, section 5 concludes the paper with an outlook on future research.
2
2.1</p>
    </sec>
    <sec id="sec-2">
      <title>Motivation and Related Works</title>
      <sec id="sec-2-1">
        <title>Motivation</title>
        <p>
          Before presenting the motivation for this work, key terms like viewpoint, view, concern
and consistency need to be defined. By viewpoint, we refer to the modeling language
used to specify a view which is represented by a conceptual model. Each view allows
capturing perspective(s). The latter is used to denote certain aspect(s) from which the
system under study can be viewed (e.g., its behavioral and structural aspects). A
perspective can then be a synonym to the term 'concern' defined by ISO/IEC/IEEE 42010
1 http://omilab.org
as "any interest in the system" [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ] and tied to the notion of 'separation of concerns'. A
separation of concerns is of type "horizontal" if the considered concerns belong to the
same level of abstraction/phase of development, or otherwise of type "vertical" [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ].
By inter-view consistency, we mean the extent to which information contained in
multiple views is not contradicting [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ].
        </p>
        <p>
          Inter-view consistency is an important aspect on which depends the quality of the
created views and, hence their capability to be involved in the “design by reuse”.
Inconsistent views are indeed not only hard for their users to grasp but also hamper the tasks
of process analysis, redesign, reuse, and automation [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ]. This may explain why our
research work has been directed toward inter-view consistency.
        </p>
        <p>
          Following the findings of a systematic literature review of inter-view consistency
[
          <xref ref-type="bibr" rid="ref8">8</xref>
          ], we derived two different ways of managing inter-view consistency: consistency by
construction and consistency checking. The idea behind the former is to manage
interview consistency by preventing inconsistencies. By contrast, the aim of the latter is to
manage inter-view consistency by handling/correcting inconsistencies once detected.
These two ways of inter-view consistency are respectively in line with two principles
of MVM originally defined in [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ]: 1) system-oriented MVM, where any change in one
view is automatically propagated to the other affected views so that all views are kept
consistent. 2) In diagram-oriented MVM, the effects of a change in one view cannot
automatically be seen in the other views. This thereby gives rise to temporary
inconsistencies.
        </p>
        <p>Two reasons constitute the motivation behind this work. First, the support of the
EKD method by a tool to foster its efficient application. Second the implementation of
the two diverging ways of managing consistency. Such implementation is needed to
justify the preference of one way over the other.
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>An Overview of the EKD Modeling Method</title>
        <p>The development of EKD method started in late nineties within a research project called
ELECTRA (ELectrical Enterprise Knowledge for TRansforming Applications), in
which several researchers have been involved including the co-author of this paper.
EKD stands for a framework for modeling enterprise knowledge that, grounding on the
terms "dimension” and "perspective", it allows mastering not only the complexity of
the enterprise as a whole, but also that of business processes. As exhibited in Fig. 1, the
EKD method structures the enterprise in three key dimensions: Goals, Business
processes and Information systems. In its current version, the tool targets the dimension
"business processes" which is organized into three perspectives (see Fig. 1): Actors/
Roles, Roles/Activities and Business Objects. Each perspective is captured by a view
(i.e., sub-model). Consequently, according to the EKD framework, a business process
model is divided into three views: actors/roles view, roles/activities view and business
objects view. A horizontal separation of concerns is therefore applied by this method.</p>
        <p>
          To facilitate the implementation of the EKD modeling method in a modeling tool,
we perceived this method as a specialized instantiation of the generic modelling method
framework as introduced in [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ]. This framework considers a modeling method as a
composite of three building blocks: (i) a modelling language that defines: the syntactic
concepts and their valid relationships; the semantics, explicit properties in concept
schemata; and the notation, the graphical representation of the concepts, (ii) a modelling
procedure that focuses on how the modelling language is used to achieve results, and
(iii) mechanisms &amp; algorithms that process the knowledge captured in diagrammatic
models. Design decisions adhering to these buildings blocks have to be taken during
the implementation of a modelling method in a modelling tool. Such "decisions directly
correspond to the intended use of the modelling method" [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ]. Based on this and given
that our aim behind using EKD modeling method is the MVM of business processes
with a focus on inter-view consistency, our design decisions include the definition of
the modeling language for EKD business process models, and the specification of
mechanisms and algorithms to ensure machine processing of models in general and
inter-view consistency management in particular.
A closer look at the literature on MVM tools supporting modeling methods discloses
an increasing interest in these tools. Most of them have been developed within the
OMiLAB. Bearing in mind the two ways of managing inter-view consistency (the
motivation subsection), these tools can be broadly classified into two categories. The first
category encompasses tools opting for consistency by construction, whereas the second
category of tools opts rather for consistency checking.
        </p>
        <p>
          The Semantic Object Model (SOM) tool [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ] is one example of tools fitting in the
first category. The SOM tool allows modeling of SOM business process models and
resource models. This tool advocates the consistency preservation (ie how to keep all
the views consistent even when one or more of them undergo changes). It hence
implements techniques that prevent inconsistencies from occurring. Moreover,
MEMO4ADO [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ] is an ADOxx based tool that is devoted to the Multi-Perspective
Enterprise Modelling (MEMO) method. MEMO4ADO "implements a subset of
MEMO languages specifically tailored for educational purposes". Similarly, to the
developers of the SOM tool, developers of MEMO4ADO are proponents of the
consistency by construction. Indeed, to achieve consistency among views using this tool, a
view utilizes concepts that reference elements defined in other views. This fosters an
automatic update of the views and hence their consistency preservation. In contrast to
the two aforementioned MVM tools, the SemCheck tool [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ] belongs to the second
category. It thereby promotes consistency checking by enabling an analysis of
interrelated views in order to detect errors/ inconsistencies and to extract information from
those views. The systematic analysis of queries is the main technique implemented by
the tool that enables detecting inconsistencies. Consistency management in multi-view
enterprise models was also discussed in [
          <xref ref-type="bibr" rid="ref21">21</xref>
          ] where different techniques have been
inventoried on a technical level.
        </p>
        <p>Compared to existing MVM tools, the aim pursued in this paper is to develop a
MVM tool for the EKD method that implements these two diverging ways of managing
consistency. Such implementation is needed for evaluating them with respect to quality
attributes like time and consistency, and therefore for providing a reasonable reason to
prefer one over the other.
3</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Conceptualization of the EKD Modeling Method</title>
      <p>This section is devoted to defining the language for EKD business process models. The
language is specified by a metamodel. As shown in Fig. 2, the EKD business process
metamodel highlights concepts and their relationships that are used for modeling
business processes. It is specified using UML class diagrams. Concepts are linked by an
association relationship along with cardinalities to denote how many instances of the
one concept can be connected to one instance of the other concept. The metamodel
encompasses three interrelated viewpoints: actor/role, role/activity, and business
objects. An EKD business process model is then represented in the form of three
complementary views (sub-models). Each view is specified by its corresponding viewpoint (a
metamodel part).</p>
      <p>
        Fig. 2. The EKD business process metamodel [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ].
      </p>
      <p>The actor/role viewpoint is about representing the organizational perspective of a
business process. The latter focuses on where and by whom activities are performed.
The concepts "Actor" and "Role" are consequently at the core of the actor/role
viewpoint. Here, it is worth noting the distinction between these two concepts. An “Actor”
refers to a physical enterprise entity (e.g., customer, business unit manager, financial
director), whereas the “Role” defines the responsibility assigned to an actor within a
business process (e.g., loan request validator). An actor plays one or more roles. Each
"Role" is responsible of one or more operational goals. Moreover, there is a
"Dependency" between roles. Such dependency can be of type "Authorization", "Coordination",
"Objective" or "Resource". Fig. 3 exhibits the representation of an actor/role view.</p>
      <p>Fig. 3. Representation of an actor/ role view.</p>
      <p>By contrast to the actor/role viewpoint, the role/activity viewpoint puts emphasis on
the functional and behavioral perspectives of a business process. Functional perspective
represents what activities should be performed. While, behavioral perspective
represents when and how activities are performed. Central to role/ activity viewpoint are
"Activity" and the control flow: "Sequence", "Parallel" and "Alternative". A
representation of parallel and alternative executions is given in Fig. 4.</p>
      <p>Last but not least, the business objects viewpoint that is articulated around the
concept "Object". Each business activity of a given business process requires business
objects as generations of input and output data. A business activity therefore use/produce
business objects. Business objects refer to physical and informational elements of an
enterprise that are required for its functioning. This viewpoint highlights then the
informational perspective depicting the business objects handled by a process, their
structures, and the links between them. As outlined in the metamodel (Fig. 2), an "Object"
has one or more "State" and is composed of one or more "Operation". An "Operation"
causes one or more "Transition". Accordingly, a business objects viewpoint allows
describing not only a static aspect of business objects (i.e. business objects and their
links), but also a dynamic one enabling representing business objects lifecycles
according to activities carried out within business processes. Note that the concept "Business
process" appearing in the metamodel denotes a compound building block within a
business process model. It is therefore not a basic concept of the language.</p>
    </sec>
    <sec id="sec-4">
      <title>The EKD Modeling Tool</title>
      <p>This section discusses the conceptualization of the theoretical foundation introduced
above towards a modeling tool for the EKD method. The tool is based on the ADOxx
metamodeling platform. In this section, an overview of the tool functionalities as well
as a case study demonstrating the use of the tool are given.
4.1</p>
      <sec id="sec-4-1">
        <title>EKD Multi-View Modeling Functionality</title>
        <p>
          The EKD tool enables modeling of the EKD business process models (the second
dimension of the EKD enterprise framework on Fig. 1). Moreover, the tool allows to
carry out the two principles of MVM (cf. section 2.1). Views can therefore be created
following either the system-oriented or the diagram-oriented MVM. The modeler is the
one who decide which principle to follow. Table 1 brings an insight on how the EKD
viewpoints have been implemented in ADOxx.
The implementation of this functionality requires as prerequisite the definition of the
corresponding consistency rules. The latter have been defined in a previous work [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ].
The tool implements the two ways of managing inter-view consistency: consistency by
construction and consistency checking. As indicated in section 2.1, these two ways
dovetail respectively with the two principles of MVM defined in [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ]: system-oriented
MVM and diagram-oriented. Accordingly, each way of managing consistency refers to
a tool functionality that is aligned with the corresponding principle (see Table 2) and
that is implemented using AdoScript language.
        </p>
        <p>In the system-oriented MVM, the system (i.e. the tool) plays a key role in managing
inter-view consistency. It somehow constructs consistency and hence relieves the
modeler from the burden of handling/correcting inconsistencies. By contrast, in the
diagram-oriented MVM, it is the modeler who plays a key role in managing inter-view
consistency as it is up to him to resolve inconsistencies once detected by the system.
The consistency by construction functionality is supported by the event handlers in
ADOxx along with the attribute type "interRef" which together promote an automatic
consistency preservation. Event Handlers are AdoScripts that are executed when certain
events occur (e.g. create a node, create a connector, edit an attribute value,etc).
"InterRef" is an attribute type that stands for a reference on a model or an instance. One
example of EKD consistency rules that have been implemented in this way is rule 1
(roles in the actor role view and those in the role activity view have to be the same).
The corresponding AdoScript implementing this rule is shown in Fig. 5.
Fig. 5. Consistency by construction: implementation of rule 1 using an event handler
(after_create_modeling_node).</p>
        <p>The implementation of other rules has taken the form of guidelines for the modeler.
Example of these rules is rule 2 (an operational goal has not to be atomic). An excerpt
AdoScript implementing this rule is presented in Fig. 6. The aim always is to prevent
inconsistencies as much as possible.
As to the consistency checking functionality, it refers to an AdoScript code that allows
comparing the created views based on the defined consistency rules. As a result of
executing such functionality, a list of consistency issues is displayed to the modeler who
has to handle them. For some EKD consistency rules, the execution of this functionality
requires a system/modeler interaction using “EDITFIELD” in AdoScript as is the case
for rule 2 (see Fig. 7).
This subsection demonstrates the use of the EKD tool for modeling a cab booking
process. In this example, we give a brief idea of the execution of the two diverging
functionalities of managing inter-view consistency: consistency by construction and
consistency checking. The execution of the AdoScript implementing rule 2 according to
the consistency by construction approach (see Fig. 6) for the cab booking process gives
rise to a guideline (see Fig. 8).
Fig. 8 shows that the applied consistency rule (i) is of type semantic, (ii) concerns the
role “Cab booking requester” and (iii) is implemented as a guideline. The latter insists
on the necessity of translating the operational goal “Book a taxicab” into at least two
activities in the corresponding role activity view.</p>
        <p>The execution of the consistency checking functionality gives rise to the output
presented in Fig. 9. As shown in this figure, such execution allows the detection of a set of
consistency issues found in the created views. Each consistency issue is accompanied
with its nature (syntactic or semantic) and the modeling element that is source of this
issue.
The paper at hand reports on a MVM tool for the EKD enterprise modeling method. In
its current version, the tool accounts for two different ways of managing inter-view
consistency: consistency by construction and consistency checking. In contrast to the
latter, the former advocates preventing inconsistencies rather than correcting them.
The implementation of these two ways in one tool is needed for evaluating them with
respect to quality attributes like time and consistency, and therefore for providing a
reasonable reason to prefer one over the other. The aforementioned ways of managing
inter-view consistency dovetail respectively with two different principles of MVM:
system-oriented MVM and diagram-oriented MVM. The tool has been implemented
using ADOxx platform and realized within the OMiLAB. The development of this tool
is an ongoing work. Therefore, we intend to finish the development of the tool and
evaluate it with students to determine its usefulness and to improve it accordingly.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Reineke</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tripakis</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Basic problems in multi-view modeling</article-title>
          .
          <source>In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems</source>
          . Springer, Berlin, Heidelberg, pp.
          <fpage>217</fpage>
          -
          <lpage>232</lpage>
          (
          <year>2014</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Bork</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Karagiannis</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Model-driven development of multi-view modelling tools the muviemot approach</article-title>
          .
          <source>In: 9th International Conference on Software Paradigm Trends. IEEE</source>
          , pp.
          <fpage>IS</fpage>
          -
          <volume>11</volume>
          (
          <year>2014</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Fischer</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Panfilenko</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Krumeich</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Born</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Desfray</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Based Modeling-Towards Defining the Viewpoint Concept and Implications for Supporting Modeling Tools</article-title>
          .
          <source>In EMISA</source>
          , pp.
          <fpage>123</fpage>
          -
          <lpage>136</lpage>
          (
          <year>2012</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Easterbrook</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yu</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Aranda</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fan</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Horkoff</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Leica</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Qadir</surname>
            ,
            <given-names>R. A.</given-names>
          </string-name>
          :
          <article-title>Do viewpoints lead to better conceptual models? An exploratory case study</article-title>
          .
          <source>In: 13th IEEE International Conference on Requirements Engineering. IEEE</source>
          , pp.
          <fpage>199</fpage>
          -
          <lpage>208</lpage>
          (
          <year>2005</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Bork</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Using Conceptual Modeling for Designing Multi-View Modeling Tools</article-title>
          .
          <source>In: 21st Americas Conference on Information Systems (AMCIS)</source>
          (
          <year>2015</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Karagiannis</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Agile modeling method engineering</article-title>
          .
          <source>In: Proceedings of the 19th Panhellenic Conference on Informatics. ACM</source>
          , pp.
          <fpage>5</fpage>
          -
          <lpage>10</lpage>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Loucopoulos</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kavakli</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Prekas</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rolland</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Grosz</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          and
          <article-title>Nurcan, S.: Using the EKD Approach: The Modelling Component</article-title>
          , Paris (
          <year>1997</year>
          ). Available at: https://hal.archivesouvertes.fr/hal-00707997, last access:
          <volume>19</volume>
          .
          <fpage>05</fpage>
          .
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Awadid</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nurcan</surname>
            ,
            <given-names>S.:</given-names>
          </string-name>
          <article-title>A systematic literature review of consistency among business process models</article-title>
          .
          <source>In Enterprise, Business-Process and Information Systems Modeling</source>
          . Springer, pp.
          <fpage>175</fpage>
          -
          <lpage>195</lpage>
          (
          <year>2016</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Awadid</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nurcan</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Towards enhancing business process modeling formalisms of EKD with consistency consideration</article-title>
          .
          <source>In: IEEE Tenth International Conference on Research Challenges in Information Science (RCIS)</source>
          . IEEE, pp.
          <fpage>1</fpage>
          -
          <lpage>12</lpage>
          (
          <year>2016</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Karagiannis</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Business process management: A holistic management approach</article-title>
          .
          <source>In International United Information Systems Conference</source>
          . Springer, Berlin, Heidelberg. pp.
          <fpage>1</fpage>
          -
          <lpage>12</lpage>
          (
          <year>2012</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11. Systems and software engineering- Architecture description: ISO/IEC/IEEE 42010. http://www.iso-architecture.org/ieee-1471/cm/, last access:
          <volume>19</volume>
          .
          <fpage>05</fpage>
          .
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Solberg</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Simmonds</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reddy</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ghosh</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          , France, R.:
          <article-title>Using aspect-oriented techniques to support separation of concerns in model driven development</article-title>
          .
          <source>In: 29th International Conference on Computer Software and Applications. IEEE</source>
          , Vol.
          <volume>1</volume>
          , pp.
          <fpage>121</fpage>
          -
          <lpage>126</lpage>
          (
          <year>2005</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Persson</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Törngren</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Qamar</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Westman</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Biehl</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tripakis</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Denil</surname>
            ,
            <given-names>J.:</given-names>
          </string-name>
          <article-title>A characterization of integrated multi-view modeling in the context of embedded and cyberphysical systems</article-title>
          .
          <source>In: Proceedings of the Eleventh ACM International Conference on Embedded Software</source>
          . IEEE Press p.
          <volume>10</volume>
          (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Caetano</surname>
            ,
            <given-names>A. R.</given-names>
          </string-name>
          <string-name>
            <surname>Silva</surname>
            , and
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Tribolet</surname>
          </string-name>
          .:
          <article-title>Business process decomposition-an approach based on the principle of separation of concerns</article-title>
          ,
          <source>Enterprise Modelling and Information Systems Architectures</source>
          ,
          <volume>5</volume>
          (
          <issue>1</issue>
          ),
          <fpage>44</fpage>
          -
          <lpage>57</lpage>
          (
          <year>2015</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Bork</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sinz</surname>
            ,
            <given-names>E. J.:</given-names>
          </string-name>
          <article-title>Bridging the gap from a multi-view modelling method to the design of a multi-view modelling tool</article-title>
          .
          <source>Enterprise Modelling and Information Systems Architectures</source>
          ,
          <volume>8</volume>
          (
          <issue>2</issue>
          ),
          <fpage>25</fpage>
          -
          <lpage>41</lpage>
          (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Karagiannis</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Kühn</surname>
          </string-name>
          , H.: Metamodeling Platforms,
          <source>Third International Conference EC-Web</source>
          , Vol.
          <source>LNCS 2455</source>
          , p.
          <volume>182</volume>
          (
          <year>2002</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Fill</surname>
          </string-name>
          , H.-G. and
          <string-name>
            <surname>Karagiannis</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>On the Conceptualization of Modelling Methods Using the ADOxx Meta Modelling Platform</article-title>
          .
          <source>Enterprise Modelling and Information Systems Architectures</source>
          ,
          <volume>8</volume>
          (
          <issue>1</issue>
          ), pp.
          <fpage>4</fpage>
          -
          <lpage>25</lpage>
          (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Ferstl</surname>
            ,
            <given-names>O. K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sinz</surname>
            ,
            <given-names>E. J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bork</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Tool support for the semantic object model</article-title>
          .
          <source>In DomainSpecific Conceptual Modeling</source>
          . Springer, pp.
          <fpage>291</fpage>
          -
          <lpage>310</lpage>
          (
          <year>2016</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Bock</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Frank</surname>
          </string-name>
          , U.:
          <article-title>Multi-perspective Enterprise Modeling-Conceptual Foundation and Implementation with ADOxx</article-title>
          .
          <source>In Domain-Specific Conceptual Modeling</source>
          . Springer, pp.
          <fpage>241</fpage>
          -
          <lpage>267</lpage>
          (
          <year>2016</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Jeusfeld</surname>
            ,
            <given-names>M. A.</given-names>
          </string-name>
          :
          <article-title>SemCheck: checking constraints for multi-perspective modeling languages</article-title>
          .
          <source>In Domain-Specific Conceptual Modeling</source>
          . Springer, pp.
          <fpage>31</fpage>
          -
          <lpage>53</lpage>
          (
          <year>2016</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Karagiannis</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Buchmann</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Bork</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Managing Consistency in Multi-View Enterprise Models: An Approach based on Semantic Queries</article-title>
          .
          <source>In theTwenty-Fourth European Conference on Information Systems</source>
          , p.
          <source>Research</source>
          paper
          <volume>53</volume>
          (
          <year>2016</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Awadid</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bork</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Karagiannis</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nurcan</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <article-title>Toward generic consistency patterns in multi-view enterprise modelling</article-title>
          .
          <source>In European Conference on Information Systems</source>
          , Portsmouth (
          <year>2018</year>
          , in press).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>