Publicação
Modeling families of public licensing services: a case study
| Resumo: | 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. |
|---|---|
| Autores principais: | Cledou, Maria Guillermina |
| Outros Autores: | Barbosa, Luís Soares |
| Assunto: | Software product lines Timed automata Ciências Naturais::Ciências da Computação e da Informação |
| Ano: | 2017 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1867439119762718720 |
|---|---|
| author | Cledou, Maria Guillermina |
| author2 | Barbosa, Luís Soares |
| author2_role | author |
| author_facet | Cledou, Maria Guillermina Barbosa, Luís Soares |
| author_role | author |
| contributor_name_str_mv | RepositóriUM - Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Cledou, Maria Guillermina\"},{\"Person.name\":\"Barbosa, Luís Soares\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | RepositóriUM - Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Cledou, Maria Guillermina Barbosa, Luís Soares |
| datacite.date.Accepted.fl_str_mv | 2017-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2021-01-18T09:02:03Z |
| datacite.date.embargoed.fl_str_mv | 2021-01-18T09:02:03Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Software product lines Timed automata Ciências Naturais::Ciências da Computação e da Informação |
| datacite.titles.title.fl_str_mv | Modeling families of public licensing services: a case study |
| dc.contributor.none.fl_str_mv | RepositóriUM - Universidade do Minho |
| dc.creator.none.fl_str_mv | Cledou, Maria Guillermina Barbosa, Luís Soares |
| dc.date.Accepted.fl_str_mv | 2017-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2021-01-18T09:02:03Z |
| dc.date.embargoed.fl_str_mv | 2021-01-18T09:02:03Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/69403 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | IEEE |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | Software product lines Timed automata Ciências Naturais::Ciências da Computação e da Informação |
| dc.title.fl_str_mv | Modeling families of public licensing services: a case study |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| 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. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | conferencePaper |
| fulltext.url.fl_str_mv | https://repositorium.uminho.pt/bitstreams/09b2558a-d607-480f-967e-2b3849b9b60f/download |
| id | rum_aa3a5c45c19ddadcf0ca9ad07d36c70a |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/69403 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/69403 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Cledou, Maria Guillermina Barbosa, Luís Soares |
| publishDate | 2017 |
| publisher.none.fl_str_mv | IEEE |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engIEEEporSoftware 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.application/pdfporModeling families of public licensing services: a case studyCledou, Maria GuillerminaBarbosa, Luís SoaresHostingInstitutionOrganizationalRepositóriUM - Universidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptCITATIONCB17ISBNIsPartOf978-1-5386-0423-6ISSNIsPartOf2380-873XDOIIsPartOf10.1109/FormaliSE.2017.8EISBNIsPartOf978-1-5386-0422-92021-01-18T09:02:03Z20172017-01-01T00:00:00ZHandlehttps://hdl.handle.net/1822/69403http://purl.org/coar/access_right/c_abf2open accessSoftware product linesTimed automatahttp://www.oecd.org/science/inno/38235147.pdfFields of Science and Technology (FOS)Ciências Naturais::Ciências da Computação e da Informação567847 bytesother research producthttp://purl.org/coar/resource_type/c_5794conference paperhttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://repositorium.uminho.pt/bitstreams/09b2558a-d607-480f-967e-2b3849b9b60f/download |
| 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 |
| status | SINGLETON |
| subject.fl_str_mv | Software product lines Timed automata |
| subject.other.fl_str_mv | Ciências Naturais::Ciências da Computação e da Informação |
| title | 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_short | Modeling families of public licensing services: a case study |
| title_sort | Modeling families of public licensing services: a case study |
| topic | Software product lines Timed automata Ciências Naturais::Ciências da Computação e da Informação |
| topic_facet | Software product lines Timed automata Ciências Naturais::Ciências da Computação e da Informação |
| url | https://hdl.handle.net/1822/69403 |
| visible | 1 |