Recent Submissions

  • Incremental checking of OCL constraints with aggregates through SQL 

    Oriol Hilari, Xavier; Teniente López, Ernest (Springer, 2015)
    Conference report
    Restricted access - publisher's policy
    Valid states of data are those satisfying a set of constraints. Therefore, efficiently checking whether some constraint has been violated after a data update is an important problem in data management. We tackle this problem ...
  • Handling non-functional requirements in Model-Driven Development : an ongoing industrial survey 

    Ameller, David; Franch Gutiérrez, Javier; Gómez Seoane, Cristina; Araújo, João; Berntsson Svenssonz, Richard; Biffl, Stefan; Cabot, Jordi; Cortellesa, Vittorio; Daneva, Maya; Mendez Fernández, Daniel; Moreira, Ana; Muccini, Henry; Vallecillo, Antonio; Wimmer, Manuel; Amaral, Vasco; Brunelière, Hugo; Brugueño, Loli; Goulao, Miguel; Schätz, Bernhard; Teufl, Sabine (2015)
    Conference report
    Open Access
    Model-Driven Development (MDD) is no longer a novel development paradigm. It has become mature from a research perspective and recent studies show its adoption in industry. Still, some issues remain a challenge. Among them, ...
  • SACRE: A tool for dealing with uncertainty in contextual requirements at runtime 

    Zavala, Edith; Franch Gutiérrez, Javier; Marco Gómez, Jordi; Knauss, Alessia; Damian, Daniela (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Conference report
    Open Access
    Self-adaptive systems are capable of dealing with uncertainty at runtime handling complex issues as resource variability, changing user needs, and system intrusions or faults. If the requirements depend on context, runtime ...
  • Verification and validation of UML artifact-centric business process models 

    Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015)
    Conference report
    Restricted access - publisher's policy
    This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. ...
  • An empirical study to validate the use of ontological guidelines in the creation of i* models 

    Gomes, Ramilton Costa; Guizzardi, Renata Silva Sousa; Franch Gutiérrez, Javier; Guizzardi, Giancarlo; Wieringa, Roel (CEUR-WS.org, 2015)
    Conference report
    Open Access
    i* is a well known goal modeling framework, developed by a large and geographically dispersed research community. Currently, i* users tend to ascribe different and conflicting meanings to its constructs, leading to a non­ ...
  • Applying ISO 9126 metrics to MDD projects 

    Muñoz Riesle, Ricardo; Marín, Beatriz; López Cuesta, Lidia (2015)
    Conference report
    Open Access
    The Model Driven Development (MDD) paradigm uses conceptual models to automatically generate software products by means of model transformations. This paradigm is strongly positioned in industry due to the quickly time to ...
  • A survey on the benefits and drawbacks of AUTOSAR 

    Martínez Fernández, Silverio Juan; Ayala Martínez, Claudia Patricia; Franch Gutiérrez, Javier; Nakagawa, Elisa Yumi (Association for Computing Machinery (ACM), 2015)
    Conference report
    Open Access
    The use of software reference architectures plays a fundamental role in software development, as it could bring several benefits such as providing means to design applications’ software architectures with higher productivity ...
  • A middle-level ontology for context modelling 

    Cabrera Béjar, Óscar Jair; Franch Gutiérrez, Javier; Marco Gómez, Jordi (Springer, 2015)
    Conference report
    Open Access
    Context modelling is one of the stages conducted during the context life cycle. It has the aim of giving meaning and structure to the collected context’s raw data. Although there are different context models proposed in ...
  • Towards assessing open source communities' health using SOC concepts 

    Franco Bedoya, Óscar Hernán; Oriol Hilari, Marc; Müller Cejas, Carlos Guillermo; Marco Gómez, Jordi; Fernández, Pablo; Resinas Arias de Reyna, Manuel; Franch Gutiérrez, Javier; Ruiz Cortés, Antonio (2015)
    Conference report
    Open Access
    Quality of an open source software ecosystem (OSS ecosystem) is key for different ecosystem actors such as contributors or adopters. In fact, the consideration of several quality aspects(e.g., activeness, visibility, ...
  • Supporting data integration tasks with semi-automatic ontology construction 

    Touma, Rizkallah; Romero Moral, Óscar; Jovanovic, Petar (Association for Computing Machinery (ACM), 2015)
    Conference report
    Restricted access - publisher's policy
    Data integration aims to facilitate the exploitation of heterogeneous data by providing the user with a unified view of data residing in different sources. Currently, ontologies are commonly used to represent this unified ...

View more