DSpace Repository

Formalization of distributed systems with semantic Interoperability

Show simple item record

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


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States

Search DSpace


Advanced Search

Browse

My Account