dc.contributor | COJUHARI, Irina | |
dc.contributor.author | BRÂNZAN, Leon | |
dc.date.accessioned | 2024-10-18T12:00:11Z | |
dc.date.available | 2024-10-18T12:00:11Z | |
dc.date.issued | 2024 | |
dc.identifier.citation | BRÂNZAN, Leon. Formalization of distributed systems with semantic Interoperability. In: Conferinţa tehnico-ştiinţifică a studenţilor, masteranzilor şi doctoranzilor = Technical Scientific Conference of Undergraduate, Master and PhD Students, Universitatea Tehnică a Moldovei, 27-29 martie 2024. Chișinău, 2024, vol. 2, pp. 898-906. ISBN 978-9975-64-458-7, ISBN 978 9975-64-460-0 (Vol.2). | en_US |
dc.identifier.isbn | 978-9975-64-458-7 | |
dc.identifier.isbn | 978 9975-64-460-0 | |
dc.identifier.uri | http://repository.utm.md/handle/5014/28194 | |
dc.description.abstract | Distributed software systems have been designed, studied, and implemented for decades, yet problems with their development, deployment, and maintenance persist even today. Attempts at formalizing the crucial concepts of distributed systems often lead nowhere or fail outright, as is demonstrated in this article. A hypothesis is then proposed: using mathematical models dealing with semantics of interoperability of systems it is possible to develop a better understanding of distributed computing using not the objects within the system, but the relations between these objects. The article describes a use case for applying semantic analysis to solve persisting problems with industrial systems.Viable solutions to these problems are then suggested, borrowed from well-formalized mathematical theories, such as domain theory and category theory. The article attempts to partially answer the questions it poses using “semantic interoperability” – the property of a notation to have different formal definitions of the same concept be fully interchangeable in the context of a unifying formal description. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Universitatea Tehnică a Moldovei | en_US |
dc.relation.ispartofseries | Conferinţa tehnico-ştiinţifică a studenţilor, masteranzilor şi doctoranzilor = Technical Scientific Conference of Undergraduate, Master and PhD Students: Chişinău, 27-29 martie 2024. Vol. 2; | |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 United States | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/us/ | * |
dc.subject | denotational semantics | en_US |
dc.subject | distribution systems | en_US |
dc.subject | network architecture | en_US |
dc.title | Formalization of distributed systems with semantic Interoperability | en_US |
dc.type | Article | en_US |
The following license files are associated with this item: