Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69403
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Cledou, Maria Guillermina | por |
dc.contributor.author | Barbosa, Luís Soares | por |
dc.date.accessioned | 2021-01-18T09:02:03Z | - |
dc.date.available | 2021-01-18T09:02:03Z | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | CB17 | por |
dc.identifier.isbn | 978-1-5386-0423-6 | - |
dc.identifier.issn | 2380-873X | por |
dc.identifier.uri | https://hdl.handle.net/1822/69403 | - |
dc.description.abstract | Software Product Lines (SPLs) enable the development of families of software systems by taking advantage of the commonalities and variabilities of the members of the family. Despite its many advantages, it is an unexplored area in the electronic government domain, an area with evident families of services, and with high demands to develop faster and better services to citizens and businesses while reducing costs. This paper discusses the need of formal methods to model SPLs for such domain. It presents a case study of a family of public licensing services modeled in UPPAAL and based on Featured Timed Automata, an extension of Timed Automata to model realtime SPLs. It analyzes the suitability of FTA to model distributed families of services, while provides hints on a possible enrichment of FTA to better support modularization and compositionality of services. | por |
dc.description.sponsorship | This work is part of the project SMARTEGOV: Harnessing EGOV for Smart Governance (Foundations, Methods, Tools) / NORTE-01-0145-FEDER-000037, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (ERDF). The first author is further supported by FCT under grant PD/BD/52238/2013. | por |
dc.language.iso | eng | por |
dc.publisher | IEEE | por |
dc.relation | NORTE-01-0145-FEDER-000037 | por |
dc.rights | openAccess | por |
dc.subject | Software product lines | por |
dc.subject | Timed automata | por |
dc.title | Modeling families of public licensing services: a case study | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/7967991 | por |
oaire.citationStartPage | 37 | por |
oaire.citationEndPage | 43 | por |
dc.identifier.doi | 10.1109/FormaliSE.2017.8 | por |
dc.identifier.eisbn | 978-1-5386-0422-9 | - |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | FME Workshop on Formal Methods in Software Engineering | por |
sdum.conferencePublication | Proc 5th FormaliSE-ICSE (IEEE/ACM International FME Workshop on Formal Methods in Software Engineering), Buenos Aires, Argentina, May 27, 2017 | por |
sdum.bookTitle | 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) | por |
Aparece nas coleções: |