Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/39063
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCunha, Julianapt_PT
dc.contributor.authorMadeira, Alexandrept_PT
dc.contributor.authorBarbosa, Luís Soarespt_PT
dc.date.accessioned2023-07-26T12:05:01Z-
dc.date.issued2023-06-27-
dc.identifier.issn978-3-031-35256-0pt_PT
dc.identifier.urihttp://hdl.handle.net/10773/39063-
dc.description.abstractThe development of more flexible and robust models for reasoning about systems in environments with potentially conflicting information is becoming more and more relevant in different contexts. In this direction, we recently introduced paraconsistent transition systems, i.e. transition systems whose transitions are tagged with a pair of weights, one standing for the degree of evidence that the transition exists, another weighting its potential non existence. Moreover, these structures were endowed with a modal logic [3] that was further formalised as an institution in [5]. This paper goes a step further, proposing an approach for the structured specification of paraconsistent transition processes, i.e. paraconsistent transition systems with initial states. The proposed approach is developed along the lines of [12], which introduced a complete methodology for (standard) reactive systems development building on the Sannella and Tarlecki stepwise implementation process. For this, we enrich the logic with dynamic modalities and hybrid features, and provide a pallet of constructors and abstractors to support the development process of paraconsistent processes along the entire design cycle.pt_PT
dc.language.isoengpt_PT
dc.publisherSpringerpt_PT
dc.relationProject Agenda ILLIANCE [C644919832-00000035 — Project n 46]pt_PT
dc.relationinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04106%2F2020/PTpt_PT
dc.relationinfo:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F4280%2F2021/PTpt_PT
dc.rightsembargoedAccesspt_PT
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/pt_PT
dc.titleStepwise development of paraconsistent processespt_PT
dc.typebookPartpt_PT
dc.description.versionpublishedpt_PT
dc.peerreviewedyespt_PT
degois.publication.firstPage327pt_PT
degois.publication.lastPage343pt_PT
degois.publication.titleTheoretical Aspects of Software Engineering. TASE 2023. Lecture Notes in Computer Sciencept_PT
degois.publication.volume13931pt_PT
dc.date.embargo2024-06-27-
dc.identifier.doi10.1007/978-3-031-35257-7_20pt_PT
dc.identifier.essn978-3-031-35257-7pt_PT
Appears in Collections:CIDMA - Capítulo de livro
DMat - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
paper_9836.pdf398.5 kBAdobe PDFView/Open


FacebookTwitterLinkedIn
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.