Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69302
Título: | Composing Families of Timed Automata |
Autor(es): | Cledou, Guillermina Proença, José Miguel Paiva Barbosa, L. S. |
Palavras-chave: | Software Product Lines Featured Timed Automata Compositionality |
Data: | Out-2017 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Citação: | Cledou G., Proença J., Soares Barbosa L. (2017) Composing Families of Timed Automata. In: Dastani M., Sirjani M. (eds) Fundamentals of Software Engineering. FSEN 2017. Lecture Notes in Computer Science, vol 10522. Springer |
Resumo(s): | Featured Timed Automata (FTA) is a formalism that enables the verification of an entire Software Product Line (SPL), by capturing its behavior in a single model instead of product-by-product. However, it disregards compositional aspects inherent to SPL development. This paper introduces Interface FTA (IFTA), which extends FTA with variable interfaces that restrict the way automata can be composed, and with support for transitions with atomic multiple actions, simplifying the design. To support modular composition, a set of Reo connectors are modelled as IFTA. This separation of concerns increases reusability of functionality across products, and simplifies modelling, maintainability, and extension of SPLs. We show how IFTA can be easily translated into FTA and into networks of Timed Automata supported by UPPAAL. We illustrate this with a case study from the electronic government domain. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/69302 |
ISBN: | 978-3-319-68971-5 |
e-ISBN: | 978-3-319-68972-2 |
DOI: | 10.1007/978-3-319-68972-2_4 |
ISSN: | 0302-9743 |
Versão da editora: | https://link.springer.com/chapter/10.1007/978-3-319-68972-2_4 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |