When even the interface evolves ...

• Autor(es): Madeira, Alexandre ; Neves, Renato ; Martins, Manuel A. ; Barbosa, L. S.
• Data: 2013
• Identificador Persistente: http://hdl.handle.net/1822/26525
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Software reconfiguration; Hybrid logic
• Tipo de Documento: Documento de conferência
• Idioma: Inglês

Descrição

This paper extends the authors’ previous work on a formal approach to the specification of reconfigurable systems in which configurations are taken as local states in a suitable transition structure. The novelty is the explicit consideration that not only the realisation of a service may change from a configuration to another, but also the set of services provided and even their functionality, may themselves vary. In other words, interfaces may evolve, as well.