User Interface Distribution Method Based on Pi-Calculus

Sergey Sakulin, Alexander Alfimtsev, Evgeny Tipsin, Vladimir Devyatkov and Dmitry Sokolov
Additional contact information
Sergey Sakulin: Bauman Moscow State Technical University, Moscow, Russia
Alexander Alfimtsev: Bauman Moscow State Technical University, Moscow, Russia
Evgeny Tipsin: Bauman Moscow State Technical University, Moscow, Russia
Vladimir Devyatkov: Bauman Moscow State Technical University, Moscow, Russia
Dmitry Sokolov: Bauman Moscow State Technical University, Moscow, Russian Federation

International Journal of Distributed Systems and Technologies (IJDST), 2019, vol. 10, issue 3, 1-20

Abstract: The rapid growth of computing devices has led to the emergence of distributed user interfaces. A user interface is called distributed if a user can interact with it using several devices at the same time. Formal methods for designing such interfaces, in particular methods for the distribution of interface elements across multiple devices, are yet to be developed. This is the reason why every time a new application requires a distributed user interface, the latter has to be designed from scratch, rendering the entire venture economically inefficient. In order to minimize costs, unify and automate the development of distributed interfaces, we need to formulate general formal methods for designing distributed interfaces that will be independent from a particular application or device. This article paper proposes a formal distribution method based on the pi-calculus.

Date: 2019
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/IJDST.2019070101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jdst00:v:10:y:2019:i:3:p:1-20

Access Statistics for this article

International Journal of Distributed Systems and Technologies (IJDST) is currently edited by Nik Bessis

More articles in International Journal of Distributed Systems and Technologies (IJDST) from IGI Global
Bibliographic data for series maintained by Journal Editor ().