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 ...
  • Computing repairs for constraint violations in UML/OCL conceptual schemas 

    Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert (Elsevier, 2015-06-25)
    Article
    Restricted access - publisher's policy
    Updating the contents of an information base may violate some of the constraints defined over the schema. The classical way to deal with this problem has been to reject the requested update when its application would lead ...
  • 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 ...
  • Investigación cualitativa en sistemas de información: contexto y contenido 

    Estay Niculcar, Christian Antonio; Pastor Collado, Juan Antonio (1999-08)
    External research report
    Open Access
    This work presents the context and the contents of the Qualitative Research in Information Systems. The context is obtained and presented analyzing four perspectives that allow to locate interest areas in the study of ...
  • Development of service-oriented architectures using model-driven development : a mapping study 

    Ameller, David; Burgués Illa, Xavier; Collell, Oriol; Costal Costa, Dolors; Franch Gutiérrez, Javier; Papazoglou, Mike P. (2015-06-01)
    Article
    Restricted access - publisher's policy
    Context: Model-Driven Development (MDD) and Service-Oriented Architecture (SOA) are two challenging research areas in software engineering. MDD is about improving software development whilst SOA is a service-based conceptual ...
  • 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 ...

View more