When even the interface evolves ...

• Author(s): Madeira, Alexandre ; Neves, Renato ; Martins, Manuel A. ; Barbosa, L. S.
• Date: 2013
• Persistent ID: http://hdl.handle.net/1822/26525
• Origin: RepositóriUM - Universidade do Minho
• Subject(s): Software reconfiguration; Hybrid logic
• Document Type: Conference Object
• Language: English

Description

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.