<!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>Agile development of Systems from REquirements to Code (SREC)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Rene Noel</string-name>
          <email>rnoel@vrain.upv.es</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Rosa Velasquez</string-name>
          <email>rvelasquez@vrain.upv.es</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>José Ignacio Panach</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Oscar Pastor</string-name>
          <email>opastor@dsic.upv.es</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="editor">
          <string-name>Model-Driven Development, Agile Methods, Strategy Models, Business Process Models</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Escola Tècnica Superior d'Enginyeria, Departament d'Informàtica, Universitat de València</institution>
          ,
          <addr-line>València</addr-line>
          ,
          <country country="ES">Spain</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Valencian Research Institute for Artificial Intelligence, Universitat Politècnica de València</institution>
          ,
          <addr-line>València</addr-line>
          ,
          <country country="ES">Spain</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2023</year>
      </pub-date>
      <abstract>
        <p>Model-Driven Development (MDD) is a term used to describe the systematic use of software abstractions (models) as primary artifacts during a Software Engineering (SE) process. However, most of the exiting MDD methods are dificult to apply, which leads to no wide use of MDD in industry. This project aims to define an agile method to deal with MDD from requirements to code. By agile, we mean three characteristics: 1) Modelers can involve end-users in the development; (2) End-users can validate small parts of the system (Sprints); (3) Code implementation is free of errors since it depends on automatic transformations. The project aims to define a method to transform strategy models into business models, a method to generate business process models from strategies, and a method to generate code from business processes. The project also aims to ensure the understandability of the models and automate the transformation process as much as possible. The project is scheduled for 3 years and started in September 2022. It is financed by the Spanish Ministry of Science and Innovation.</p>
      </abstract>
      <kwd-group>
        <kwd>RPE@CAiSE'23</kwd>
        <kwd>Research Projects Exhibition at the International Conference on Advanced Information Systems Engi-</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        Agility [1] has become the most important attribute for organisations to embrace a continuously
changing environment. Initially proposed for aligning software projects with business
requirements, currently it is also considered for defining an adaptive business strategy in response to
market changes. Agile practices and Model-Driven Development [2] are aligned in terms of their
emphasis on integrating business people and developers, quick feedback loops on requirement
changes, frequent software delivery, reducing development efort, among many others [
3]. Up
to now, agile development has been mainly undertaken with traditional programming and not
with conceptual model programming. Some of the reasons that appear in previous works to
justify the poor adoption of MDD in real developments are the lack of integration [4] [5] [6] (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
testing process is not straightforward due to the graphical nature of the environments used for
the development; (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) there is an important cognitive load related to modelling languages to use
MDD tools and (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) existing MDD tools does not deal with the relative importance of diferent
requirements models, among others. Nonetheless, current state of MDD supports our vision
of designing a holistic conceptual modelling method and a tool for supporting agile software
development.
      </p>
      <p>The current state shows that there are existing holistic MDD methods that allow to generate
code from models at diferent abstraction layers. Shamsujjoha et al. [ 7] have conducted a
systematic literature review to investigate how MDD techniques are used in the development
of mobile apps. The main benefits of MDD in these developments are an enhancement in
productivity, scalability, and reliability. The authors also identify some challenges such as poor
graphical user interface generation and unsupported requirements from the early stages of
the software development process. Ameller et al. [ 8] proposed a survey about how existing
MDD methods deal with non-functional requirements. The survey is based on interviews done
in 18 diferent companies from 6 European countries. Results yield that those practitioners
perceive MDD adoption as a complex process with little to no tool support for non-functional
requirements. When non-functional requirements are not supported, the generated code is
changed manually. Magalhaes et al. [9] proposed a framework to support the development of
model transformation chains using MDD. The framework is comprised of a process to guide on
transformation development tasks.</p>
      <p>
        Taking these works into consideration, there is a precise motivation in this project that aims to
go far beyond optimizing the MDD paradigm from an agile development perspective. Our vision
is that an MDD approach must ofer a simple yet complete modelling language and modelling
process to integrate business strategy, business process, and information system domains into
the development process, as well as integration mechanism between diferent domains enabled
by semantically meaning connections and as automatic as possible transformations. We aim to
automate as much as possible model-to-model and model-to-code transformations from a holistic
point of view. All system features must be represented in the model. This way, developers can
be seen as modelers where no code on a programming language has to be implemented, making
true the statement that “the model is the code” (instead of the conventional one ”the code is
the model”). This is aligned with the concept of agile in next terms: (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) modelers can involve
end-users in the development from requirements models until the final implementation. (
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
Endusers can validate small parts of the system (Sprints) as soon as models are completed. Taking
the feedback of the end-users, modelers only have to apply quick changes to the models and
automatic transformations will generate the code. (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) code implementation is free of errors since
it depends on automatic transformations that ensures runnable systems. Moreover, automatic
tests cases generation aims to ensure code quality.
      </p>
    </sec>
    <sec id="sec-2">
      <title>2. Project</title>
      <p>The hypothesis we want to contrast in this project is: “It is possible to build a holistic method
from an agile point of view in such a way that we can generate a system from requirements to code
automatizing the process as much as possible”.</p>
      <p>In order to answer this hypothesis, the project has to face 4 challenges.</p>
      <p>
        Challenge 1 is the integration of business requirements with an agile approach into a
holistic model-driven development process. Organisational goals and the high-level definitions to
achieve them have a great impact on business processes and over the requirements and design
of the information systems that support the organisation’s operation. Business strategy deals
with what organisations define as their ends and the means to achieve them. Capturing this
knowledge using conceptual models has been addressed mainly by enterprise architecture (EA)
(https://pubs.opengroup.org/architecture/archimate2-doc/), goal modelling (GM) frameworks
[10], and i* [11], as an intent to align information systems with the strategical definitions
that motivate their design and evolution. Even though the use of these conceptual models is
significant, there are some issues that make dificult its use in an automatic way. Some of these
problems are: (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) Redundancy: Goal models are usually applied to describe user goals and not
organisational level goals, resulting in redundancy between detailed goal models and business
process models. (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) Poor Scalability: modelling frameworks that aim to align organisational
models and system models are huge, and consequently, their design and maintenance is dificult;
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) Ambiguous Representations: most goal and enterprise modelling frameworks do not provide
guidelines or modelling procedures, leaving to the analyst both the design and interpretation of
models. (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) Model Interchange: Interoperability among diferent models is not easy since
metamodels of two diferent models can be diferent. All these issues dificult the agile development
based on existing MDD methods.
      </p>
      <p>Challenge 2 is to ensure the quality of the models since modelling is a complex activity
not free of errors. An important quality criterion is understandability, that can be defined as
how easy is to understand a model by its stakeholders and any readers. A factor is defined
as a condition or characteristic that actively contributes to the quality of the software. So, a
factor is a characteristic that can afect -positively or negatively- the models
understandability. It is important to identify such factors to know what elements of the models afect the
understandability.</p>
      <p>Challenge 3 is the design of usable end-user interfaces, since existing holistic MDD methods
lack of models to represent interface details to get customizable interfaces. Even though there
are MDD tools that face this issue (such as WebRatio (https://www.webratio.com/) or
INTEGRANOVA M.E.S. (Model Execution System) (https://www.integranova.com/)), the features
to adapt interfaces to end-users’ preferences is very tight. Moreover, there is no automatic
process to generate usable interfaces from requirements models. The interfaces are usually
derived from requirements models manually, without any kind of procedure, only relying on
the analyst experience. This means that the efort made in building the requirements model
is not useful when designing the interfaces at the end. In an agile development that aims to
reduce the analyst efort, GUI generation must be part of the holistic development process.</p>
      <p>Challenge 4 is the automated software testing since we must ensure that every change in
the models do not imply errors in previously specified system features. The continuous testing
is a characteristic of the agile development. Only tested functionalities should be included in
production software. The process to design and run tests cases should be done as automatically
as possible considering the business process that guide the interactions and the robustness of
the generated software products.</p>
      <p>This project has the code SREC (PID2021-123824OB-I00) and is financed by the Spanish
Ministry of Science and Innovation. It started in September 2022 and finishes in September</p>
      <sec id="sec-2-1">
        <title>2.1. Objectives</title>
        <p>The main objective of the project is the design of a MDD method for the development of
strategically aligned information systems from an agile perspective. We aim to help the stakeholders of
the method – agile software development teams - to focus on the design of information systems
in consistency with constantly changing business strategies and process by: 1) maintaining
traceability and consistency from organisational strategy to information system code through
a holistic model-driven software development method, 2) enforcing the understanding of the
business, processes, and systems via conceptual models by improving model comprehension
using an automatic model understandability assessing method, 3) designing user interfaces
which are usable and compliant with the system requirements without focusing on the
constantly changing front-end technologies using the automatic generation of interaction models
from business process models, and 4) avoiding exhaustive tasks of programming tests cases
through the design and generation of executable test cases from the information system’s
conceptual model. With these contributions, we aim to reduce developers’ efort, focusing
all the development on building conceptual models that abstractly represent the system, and
ensuring full traceability between organizational goals and their software representation. In
Figure 1, we depict the project’s specific goals, which are detailed below.</p>
        <p>
          G1. Design of an Agile Business Strategy Modelling Method. This goal deals with
designing a business strategy modelling method, that considers: (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ) A modelling language for
representing business strategy, (
          <xref ref-type="bibr" rid="ref2">2</xref>
          ) A modelling procedure that adopts a light-weight modelling
approach but in a well-defined workflow to reduce ambiguity, and (
          <xref ref-type="bibr" rid="ref3">3</xref>
          ) a set of strategic alignment
guidelines to map strategic information from organisational models to process models. This
method will allow software development teams to get a shared understanding of the domain
under analysis
        </p>
        <p>
          G2. Design of an MDD Method to Support Agile Software Development . An agile
implementation of business strategy requires an agile method for designing business processes
and the information systems that support their operation.,This goal addresses the design of
a business process modelling method that supports the requirements specification and the
automatic generation of the conceptual model that represents the information system. The
method deals with (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ) the integration of information from business strategy models, (
          <xref ref-type="bibr" rid="ref2">2</xref>
          ) the
design of improved business processes and the specification of the system requirements, (
          <xref ref-type="bibr" rid="ref3">3</xref>
          ) the
transformations of business process models into conceptual models. Next, we can define
modelto-code transformations to automatically implement the code that supports such conceptual
models.
        </p>
        <p>
          G3. Automatic Assessing of Understandability in Conceptual Models. The model
understandability is a relevant criterion to measure the quality of any conceptual model. This
criterion is afected by multiple factors: model factors and personal factors. However, existing
studies about model understandability do not deal with all possible factors, which prevents
providing a larger explanatory power about how to enhance model understandability. This goal
focuses on designing a method to assess the understandability in conceptual models by applying
machine learning techniques. We focus on supervised learning techniques like classification
and regression in order to explore data and to elaborate predictive modelling. The method
provides: (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ) The design of an understandability automatic evaluation model, and (
          <xref ref-type="bibr" rid="ref2">2</xref>
          ) an assisted
modelling tool to provide real-time guidance to perform more understandable models. This
method will integrate multiple factors that afect the understandability in conceptual models
and provide feedback about the afected factors.
        </p>
        <p>G4. User Interaction Generation The efort spent in building business models must
be used to generate Graphical User Interfaces (GUI) automatically. We propose identifying
transformation rules from business model patterns in such a way that we can generalize these
transformations for any model. In case one business model primitive can generate more than
one widget in the GUI, we can add stereotypes at the business model to express unequivocally
what widget must be generated to support that part of the model. The approach must also
suggest what stereotypes may improve the usability according to standard usability guidelines.</p>
        <p>
          G5. Automatic Test Case Generation. We aim to automate the testing process as much
as possible through three lines: (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ) Automating the creation of test sequences: Test sequences
are made to cover the diferent functionalities of the system; (
          <xref ref-type="bibr" rid="ref2">2</xref>
          ) Automating the checking of
the Oracles: At the end of the sequences, we aim to check if the behaviour of the system is
the expected; (
          <xref ref-type="bibr" rid="ref3">3</xref>
          ) Automating the analysis of test results: Defined metrics will facilitate the
evaluation of the test quality and the failures found in the testing sequence.
        </p>
        <p>Participants in this project are researchers of the Universitat Politècnica de València within
the Valencian Research Institute for Artificial Intelligence. Roles involved in this project are:
method engineering, requirements engineering and empirical software engineering. The two
ifrst authors of the paper are experts at requirements and model transformations. The last two
authors of the paper are responsible of the project; they are experts at conceptual modelling
and experiment design.</p>
      </sec>
      <sec id="sec-2-2">
        <title>2.2. Expected Outcomes</title>
        <p>The results of the project will be made available to the community through research journals
and conferences, open-source tools, and open repositories such as Zenodo. The main outcome
of this project is the design of an agile method to develop systems from business strategy models
to code. The first outcome of this project is the design of an agile business strategy modelling
method. This outcome aims to design a light-weight modelling method for representing business
strategy in a systematic way. The method will provide a language suitable for business strategy,
a modelling procedure based on business agility practices, and guidelines for mapping strategic
information into business process models.</p>
        <p>The second outcome of the project is the design of an MDD method for supporting agile
software development. We propose a business process modelling method that supports the
specification of requirements for the information system model, and the automatic generation
of the conceptual model of the information system. In a last stage, we propose the automatic
code generation from the conceptual models including its GUIs.</p>
        <p>The third outcome is the definition of a method to ensure the quality assessment throughout
the whole process from strategy to code. This outcome aims to assess models and generated
systems quality. For assessing models, an assisted modelling method for improving
understandability is designed. For assessing generated information system quality, test cases will
be automatically designed from business and interaction models and run, resulting as a report
with the failures and the coverage of testing process. This report is a fundamental input for the
continuous improvement of the system.</p>
        <p>The fourth outcome is the report of the diferent validations conducted in the proposed
methods. Applying a technical action research approach, we will co-design and execute with
industrial partners the methodology of the case studies for the validation of the whole MDD
method. With industrial partners that are software developers, we will deploy SREC method to
analyse pros and cons. We will use the industrial partners that works on clinical and genomic
ifeld to test the applicability in a real software development focused on a specific domain.</p>
      </sec>
      <sec id="sec-2-3">
        <title>2.3. Current results</title>
        <p>The project started in September 2022, so at the moment we have conducted 8 months. Next,
we list the tasks done completely.</p>
        <p>1. Analysis of challenges and gaps for integrating business strategy into MDD methods.</p>
        <p>
          This study has identified : (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ) a lack of strategic information that could improve the design
of business processes and information systems, and (
          <xref ref-type="bibr" rid="ref2">2</xref>
          ) loss of information during the
model transformation steps. This has been published in René Noël, José Ignacio Panach,
Oscar Pastor: Challenges for Model-Driven Development of Strategically Aligned Information
Systems. IEEE Access 10: 38237-38253 (2022)[12].
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Relevance to CAiSE</title>
      <p>This project shares several topics of the CAiSE conference, such as: Conceptual modeling,
languages and design; Requirements engineering; Process modeling, analysis and improvement;
and Decision models and business intelligence. The proposal of a strategy model requires
the use of requirements elicitation techniques. How this strategy model is draw depends on
conceptual models. Moreover, how to transform these strategy models to business process
models involves model to model transformations, also related with CAiSE. Drawing the business
models requires process modeling and business intelligence.</p>
      <p>The result of SREC will help in the process of requirements elicitation, simplifying the method
to represent abstractly business processes. Our approach aims to guide the interviews with
end-users to capture requirements fluently. Once requirements elicitation is over, all the efort
spent on building the business model results in analysis and design models that automatically
can generate fully functional systems. So, starting from requirements models we can generate
quick code, which results in an agile development where end-users can validate the generation.
Improvements to the system can be made just modifying conceptual models and regenerating the
code quickly. Another advantage for analysts is that our approach suggests understandability
improvements while the models are built. We plan to disseminate the results in the main track
of the next CAiSE conferences.
This work was supported by the Spanish State Research Agency through SREC
(PID2021123824OB-I00) project, and by the Generalitat Valenciana through the CoMoDiD project
(CIPROM/2021/023), and co-financed with Santiago Grisolía fellowship (GRISOLIAP/2020/096).</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>K.</given-names>
            <surname>Beck</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Beedle</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. Van</given-names>
            <surname>Bennekum</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Cockburn</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Cunningham</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Fowler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Grenning</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Highsmith</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Hunt</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Jefries</surname>
          </string-name>
          ,
          <article-title>Manifesto for agile software development (</article-title>
          <year>2001</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>S. J.</given-names>
            <surname>Mellor</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. N.</given-names>
            <surname>Clark</surname>
          </string-name>
          , T. Futagami, Guest editors'
          <article-title>introduction: Model-driven development</article-title>
          ,
          <source>IEEE Software 20</source>
          (
          <year>2003</year>
          )
          <fpage>14</fpage>
          -
          <lpage>18</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>S.</given-names>
            <surname>Chantit</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Essebaa</surname>
          </string-name>
          ,
          <article-title>Towards an automatic model-based scrum methodology</article-title>
          ,
          <source>in: Procedia Computer Science</source>
          , volume
          <volume>184</volume>
          ,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>C.</given-names>
            <surname>Verbruggen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Snoeck</surname>
          </string-name>
          ,
          <article-title>Model-driven engineering: A state of afairs and research agenda</article-title>
          , Enterprise,
          <source>Business-Process and Information Systems Modeling</source>
          , Springer International Publishing,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <surname>D. van der Linden</surname>
            ,
            <given-names>I. Hadar</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Zamansky</surname>
          </string-name>
          ,
          <article-title>What practitioners really want: requirements for visual notations in conceptual modeling</article-title>
          ,
          <source>Software &amp; Systems Modeling</source>
          <volume>18</volume>
          (
          <year>2019</year>
          )
          <fpage>1813</fpage>
          -
          <lpage>1831</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>M.</given-names>
            <surname>Ozkaya</surname>
          </string-name>
          ,
          <article-title>Are the uml modelling tools powerful enough for practitioners? a literature review</article-title>
          ,
          <source>IET Software 13</source>
          (
          <year>2019</year>
          )
          <fpage>338</fpage>
          -
          <lpage>354</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>M.</given-names>
            <surname>Shamsujjoha</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Grundy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Khalajzadeh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Q.</given-names>
            <surname>Lu</surname>
          </string-name>
          ,
          <article-title>Developing mobile applications via model driven development: A systematic literature review</article-title>
          ,
          <source>Information and Software Technology</source>
          <volume>140</volume>
          (
          <year>2021</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>D.</given-names>
            <surname>Ameller</surname>
          </string-name>
          ,
          <string-name>
            <given-names>X.</given-names>
            <surname>Franch</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Gómez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Martínez-Fernández</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Araújo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Bifl</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Cabot</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Cortellessa</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D. M.</given-names>
            <surname>Fernández</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Moreira</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Muccini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Vallecillo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Wimmer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Amaral</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Böhm</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Bruneliere</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Burgueño</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Goulão</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Teufl</surname>
          </string-name>
          , L. Berardinelli,
          <article-title>Dealing with non-functional requirements in model-driven development: A survey</article-title>
          ,
          <source>IEEE Transactions on Software Engineering</source>
          <volume>47</volume>
          (
          <year>2021</year>
          )
          <fpage>818</fpage>
          -
          <lpage>835</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>A. P.</given-names>
            <surname>Magalhães</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Andrade</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R. S.</given-names>
            <surname>Maciel</surname>
          </string-name>
          ,
          <article-title>A model driven transformation development process for model to model transformation</article-title>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>E.</given-names>
            <surname>Yu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Giorgini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Maiden</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Mylopoulos</surname>
          </string-name>
          ,
          <article-title>Social modeling for requirements engineering</article-title>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>A.</given-names>
            <surname>Maté</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Trujillo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>X.</given-names>
            <surname>Franch</surname>
          </string-name>
          ,
          <article-title>Adding semantic modules to improve goal-oriented analysis of data warehouses using i-star</article-title>
          ,
          <source>Journal of Systems and Software</source>
          <volume>88</volume>
          (
          <year>2014</year>
          )
          <fpage>102</fpage>
          -
          <lpage>111</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>R.</given-names>
            <surname>Noel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. I.</given-names>
            <surname>Panach</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Pastor</surname>
          </string-name>
          ,
          <article-title>Challenges for model-driven development of strategically aligned information systems</article-title>
          ,
          <source>IEEE Access 10</source>
          (
          <year>2022</year>
          )
          <fpage>38237</fpage>
          -
          <lpage>38253</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>R.</given-names>
            <surname>Noel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. I.</given-names>
            <surname>Panach</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Pastor</surname>
          </string-name>
          ,
          <article-title>Including business strategy in model-driven methods: an experiment, Requirements Engineering (</article-title>
          <year>2023</year>
          )
          <fpage>1</fpage>
          -
          <lpage>30</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>R.</given-names>
            <surname>Noel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. I.</given-names>
            <surname>Panach</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Ruiz</surname>
          </string-name>
          ,
          <string-name>
            <surname>O. Pastor,</surname>
          </string-name>
          <article-title>Stra2bis: A model-driven method for aligning business strategy and business processes</article-title>
          ,
          <source>in: Conceptual Modeling: 41st International Conference, ER 2022</source>
          , Springer,
          <year>2022</year>
          , pp.
          <fpage>255</fpage>
          -
          <lpage>270</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>