Categories |
IMDS
DISTRIBUTED SYSTEMS
|
Call for Papers |
Modeling, specification, verification, and simulation of distributed systems are extremely important during the development of IoT systems, cloud computing, etc. However, formalisms and mechanisms for dealing with distributed systems mostly originate from the era of centralized concurrent systems and have been extended to distributed systems. Most of them are based on global (or non-local) state, synchronous communication, etc. Those approaches are unrealistic, taking into account the natural locality of decisions in distributed systems, lack of global state, asynchrony of communication, local action autonomy, inevitable nondeterminism, etc. For these reasons, we are launching a Special Issue on such aspects of modeling, specification, verification, and simulation of distributed systems that take into account their natural and inherent features. An example of such a formalism is the Integrated Model of Distributed Systems, with its many aspects and derivative models, but we encourage authors to present other formalisms related to distribution, which will allow for better design and analysis of their behavior than before. |
Credits and Sources |
[1] MDPI Information - distributed systems 2020 : MDPI Information - special issue on modeling, specification, verification and simulation of distributed systems |