Abstract
The 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.
The present study was developed in the scope of the Project Agenda ILLIANCE [C644919832-00000035 — Project n 46], financed by PRR - Plano de Recuperação e Resiliência under the Next Generation EU from the European Union.
FCT, the Portuguese funding agency for Science and Technology suports the second author with the project UIDB/04106/2020 and the third with the project IBEX PTDC/CCI-COM/4280/2021.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Valuation g is omitted since \(\langle in \rangle \top \wedge [out]\bot \) is a sentence without free variables.
References
Agustí-Cullell, J., Esteva, F., Garcia, P., Godo, L.: Formalizing multiple-valued logics as institutions. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds.) IPMU 1990. LNCS, vol. 521, pp. 269–278. Springer, Heidelberg (1991). https://doi.org/10.1007/BFb0028112
Brauner, T.: Hybrid Logic and its Proof-Theory. Springer, Applied Logic Series (2010)
Cruz, A., Madeira, A., Barbosa, L.S.: A logic for paraconsistent transition systems. In: Indrzejczak, A., Zawidzki, M., (eds.) 10th International Conference on Non-Classical Logics. Theory and Applications, vol. 358. EPTCS, pp. 270–284 (2022)
Cruz, A., Madeira, A., Barbosa, L.S.: Paraconsistent transition systems. In: Workshop on Logical and Semantic Frameworks, with Applications, EPTCS (in print)
Cunha, J., Madeira, A., Barbosa, L.S.: Structured specification of paraconsistent transition systems. In: Fundamentals of Software Engineering. LNCS (in print)
de Souza, E.G., Costa-Leite, A., Dias, D.H.B.: On a paraconsistentization functor in the category of consequence structures. J. Appli. Non-Class. Logi. 26(3), 240–250 (2016)
Esteva, F., Godo, L.: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271–288 (2001)
Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. J. Logic Lang. Inform. 1(3), 203–233 (1992)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for tpecification and programming. J. ACM 39(1), 95–146 (1992)
Harel, D., Tiuryn, J., Kozen, D.: Dynamic Logic. MIT Press, Cambridge, MA, USA (2000)
Kracht, M.: On extensions of intermediate logics by strong negation. J. Philos. Log. 27(1), 49–73 (1998)
Madeira, A., Barbosa, L.S., Hennicker, R., Martins, M.A.: A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744, 78–96 (2018)
Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Corradini, A., Klin, B., Cîrstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 283–297. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22944-2_20
Neves, R., Madeira, A., Barbosa, L.S., Martins, M.A.: Asymmetric combination of logics is functorial: a survey. In: James, P., Roggenbach, M. (eds.) WADT 2016. LNCS, vol. 10644, pp. 39–55. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-72044-9_4
Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs on TCS, EATCS. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-17336-3
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Cunha, J., Madeira, A., Barbosa, L.S. (2023). Stepwise Development of Paraconsistent Processes. In: David, C., Sun, M. (eds) Theoretical Aspects of Software Engineering. TASE 2023. Lecture Notes in Computer Science, vol 13931. Springer, Cham. https://doi.org/10.1007/978-3-031-35257-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-031-35257-7_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-35256-0
Online ISBN: 978-3-031-35257-7
eBook Packages: Computer ScienceComputer Science (R0)