Modeling families of public licensing services: a case study

Bibliographic Details
Main Author: Cledou, Maria Guillermina
Publication Date: 2017
Other Authors: Barbosa, Luís Soares
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/1822/69403
Summary: 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.
id RCAP_1b1fc4b1f6ca4c19ac884aa35b3e5e2c
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/69403
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Modeling families of public licensing services: a case studySoftware product linesTimed automataCiências Naturais::Ciências da Computação e da InformaçãoScience & TechnologySoftware 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.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.IEEEUniversidade do MinhoCledou, Maria GuillerminaBarbosa, Luís Soares20172017-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/69403engCB17978-1-5386-0423-62380-873X10.1109/FormaliSE.2017.8978-1-5386-0422-9https://ieeexplore.ieee.org/document/7967991info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T06:23:15Zoai:repositorium.sdum.uminho.pt:1822/69403Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:51:38.160873Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Modeling families of public licensing services: a case study
title Modeling families of public licensing services: a case study
spellingShingle Modeling families of public licensing services: a case study
Cledou, Maria Guillermina
Software product lines
Timed automata
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
title_short Modeling families of public licensing services: a case study
title_full Modeling families of public licensing services: a case study
title_fullStr Modeling families of public licensing services: a case study
title_full_unstemmed Modeling families of public licensing services: a case study
title_sort Modeling families of public licensing services: a case study
author Cledou, Maria Guillermina
author_facet Cledou, Maria Guillermina
Barbosa, Luís Soares
author_role author
author2 Barbosa, Luís Soares
author2_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Cledou, Maria Guillermina
Barbosa, Luís Soares
dc.subject.por.fl_str_mv Software product lines
Timed automata
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
topic Software product lines
Timed automata
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
description 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.
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/69403
url http://hdl.handle.net/1822/69403
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv CB17
978-1-5386-0423-6
2380-873X
10.1109/FormaliSE.2017.8
978-1-5386-0422-9
https://ieeexplore.ieee.org/document/7967991
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv IEEE
publisher.none.fl_str_mv IEEE
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595586492760064

Similar Items