Preprint Article Version 1 This version is not peer-reviewed

Modelling Distributed Systems in Distributed Autonomous and Asynchronous Automata (DA3)

Version 1 : Received: 29 December 2019 / Approved: 31 December 2019 / Online: 31 December 2019 (03:52:22 CET)

How to cite: Daszczuk, W. Modelling Distributed Systems in Distributed Autonomous and Asynchronous Automata (DA3). Preprints 2019, 2019120400 (doi: 10.20944/preprints201912.0400.v1). Daszczuk, W. Modelling Distributed Systems in Distributed Autonomous and Asynchronous Automata (DA3). Preprints 2019, 2019120400 (doi: 10.20944/preprints201912.0400.v1).

Abstract

Integrated Model of Distributed Systems is used for modeling and verification. In formalism, the distributed system is modeled as a collection of server states and agent messages. The evolution of the system takes the form of actions that transform the global system configuration (states and messages) into a new configuration. Formalism is used in the Dedan verification environment for finding different kinds of deadlocks: communication deadlocks in the server view and resource deadlocks in the agent view. For other purposes, a conversion has been developed to equivalent models: to Petri nets for structural analysis and do Distributed Autonomous and Asynchronous Automata (DA3) for easy graphical modeling in terms of system components. In addition, it is possible to simulate a verified system on distributed components in DA3. The automata have two forms: Server-DA3 (S-DA3) for the server view and Agent-DA3 (A-DA3) for the agent view. DA3 formalism is compared to other concepts of distributed automata known from the literature.

Subject Areas

distributed systems; distributed system modeling; distributed automata; graphical modeling; formal methods

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.