Paraconsistent transition systems

Detalhes bibliográficos
Autor(a) principal: Cruz, Ana
Data de Publicação: 2023
Outros Autores: Madeira, Alexandre, Barbosa, L. S.
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: https://hdl.handle.net/1822/90283
Resumo: Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined as providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes.
id RCAP_97e96880e3970e6b751f04dba0e576a7
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/90283
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 Paraconsistent transition systemsParaconsistencyTransition systemsCiências Naturais::Ciências da Computação e da InformaçãoOften in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined as providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes.This work is supported by by FCT, the Portuguese funding agency for Science and Technology with the projects UIDB/04106/2020 and PTDC/CCI-COM/4280/2021Open Publishing AssociationUniversidade do MinhoCruz, AnaMadeira, AlexandreBarbosa, L. S.2023-03-232023-03-23T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/1822/90283engCruz, A., Madeira, A., & Barbosa, L. S. (2023, March 23). Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.376.32075-218010.4204/EPTCS.376.3https://arxiv.org/abs/2303.13254v1info: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-11T05:36:58Zoai:repositorium.sdum.uminho.pt:1822/90283Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:24:08.088162Repositó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 Paraconsistent transition systems
title Paraconsistent transition systems
spellingShingle Paraconsistent transition systems
Cruz, Ana
Paraconsistency
Transition systems
Ciências Naturais::Ciências da Computação e da Informação
title_short Paraconsistent transition systems
title_full Paraconsistent transition systems
title_fullStr Paraconsistent transition systems
title_full_unstemmed Paraconsistent transition systems
title_sort Paraconsistent transition systems
author Cruz, Ana
author_facet Cruz, Ana
Madeira, Alexandre
Barbosa, L. S.
author_role author
author2 Madeira, Alexandre
Barbosa, L. S.
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Cruz, Ana
Madeira, Alexandre
Barbosa, L. S.
dc.subject.por.fl_str_mv Paraconsistency
Transition systems
Ciências Naturais::Ciências da Computação e da Informação
topic Paraconsistency
Transition systems
Ciências Naturais::Ciências da Computação e da Informação
description Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined as providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes.
publishDate 2023
dc.date.none.fl_str_mv 2023-03-23
2023-03-23T00: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 https://hdl.handle.net/1822/90283
url https://hdl.handle.net/1822/90283
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Cruz, A., Madeira, A., & Barbosa, L. S. (2023, March 23). Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.376.3
2075-2180
10.4204/EPTCS.376.3
https://arxiv.org/abs/2303.13254v1
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 Open Publishing Association
publisher.none.fl_str_mv Open Publishing Association
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_ 1833595293044572160

Registros relacionados