Simulation Driven Development of Distributed Systems – Coupling of virtual and real system components

DETECTING EMERGENT BEHAVIOR IN DISTRIBUTED SYSTEMS USING SCENARIO-BASED SPECIFICATIONS

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s0218194012400104 ◽

2012 ◽

Vol 22 (06) ◽

pp. 729-746 ◽

Cited By ~ 12

Author(s):

MOHAMMAD MOSHIRPOUR ◽

ABDOLMAJID MOUSAVI ◽

BEHROUZ H. FAR

Keyword(s):

Distributed Systems ◽

Systems Design ◽

Emergent Behavior ◽

Sequence Diagram ◽

Design Phase ◽

System Components ◽

Partial Description ◽

System Requirements ◽

Agile Software ◽

Message Sequence Chart

Emergent behavior is an important issue in distributed systems' design. Detecting and removing emergent behavior during the design phase will lead to huge savings in deployment costs of such systems. An effective approach for the design of distributed systems is to describe system requirements using scenarios. A scenario, commonly known as a message sequence chart or a sequence diagram, is a temporal sequence of messages sent between system components. However, scenario-based specifications are prone to subtle deficiencies with respect to analysis and validation known as incompleteness and partial description. In this research, a method for detecting emergent behavior of scenario-based specification is proposed. The method is demonstrated and verified using a mine-sweeping robot as an example. Furthermore it has been demonstrated in this paper that scenario-based specifications can be used in agile software development and that the proposed methodologies in this research can be utilized effectively in agile approaches.

Download Full-text

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

10.20944/preprints201912.0400.v1 ◽

2019 ◽

Author(s):

Wiktor Daszczuk

Keyword(s):

Distributed Systems ◽

Structural Analysis ◽

Distributed System ◽

System Configuration ◽

Graphical Modeling ◽

Global System ◽

Equivalent Models ◽

Distributed Components ◽

System Components ◽

Asynchronous Automata

Integrated Model of Distributed Systems is used for modeling and veriﬁcation. 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 conﬁguration (states and messages) into a new conﬁguration. Formalism is used in the Dedan veriﬁcation environment for ﬁnding diﬀerent 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 veriﬁed 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.

Download Full-text