You are here: Home / Research lines

Research Lines

  •  Software Architectures
  • Digital Libraries and Digital Culture
  • Software Quality
  • Object-Oriented Software Development
  • Evolution of Information Systems
  • Model Management
  • Requirements Engineering for Conceptual Models Generation
  • Massive Collaborative System Engineering
  • Empirical Software Engineering
  • Workflow Systems
  • Emergency Management Systems
  • Document Engineering

Current research developments

As a result of our current research lines, the main in-progress developments are briefly introduced.


(Plataforma OASIS para Modelos Arquitectónicos)

PRISMA is an approach to develop complex information systems. This approach provides a model and an architecture description language (ADL). The PRISMA model defines software architectures by integrating aspect-oriented software development (AOSD) and component-based software development (CBSD). The PRISMA architectural model allows the definition of architectures of complex software systems. Its main contributions are the integration of the AOSD and the CBSD and its reflexive properties. In this way, PRISMA specifies different characteristics (distribution, safety, context-awareness, coordination, etc.) of an architectural element (component, connector) using aspects, and it has a meta-level to evolve its architectural models.


Moment Logo

(MOdel manageMENT)

The MOMENT project emerges from our experience in formal model transformations and data migration. This project is the application of the Model Management trend to the context of the Model-Driven Engineering, regarding the guidelines that are specified in the Model-Driven Architecture initiative. The MOMENT (MOdel manageMENT) framework is embedded into the Eclipse platform and provides a set of generic operators to deal with models through the Eclipse Modeling Framework (EMF). 

The underlying formalism of our model management approach is the algebraic language Maude. In this algebraic setting, a set of generic operators has been specified to manipulate models. A set of bridges between the technical spaces EMF and Maude has been also developed to provide interoperability between an efficient robust environment for algebraic specifications (Maude) and a well-known industrial modeling tool (EMF). Nowadays, the MOMENT team is working to provide support to OCL queries and QVT transformations.