The lack of central control in distributed systems makes the analysis and design of such systems a challenging task.  In fact many faults are introduced into the system at this stage of the software development life cycle.  Therefore discovering and removing design validation of distributed software systems prior to the implementation phase is greatly desirable […]

  Lack of central control makes the design of distributed software systems a challenging task because of possible unwanted behavior at runtime, commonly known as emergent behavior. In fact many faults are introduced into the system at this stage of the software development life cycle. Therefore discovering and removing design validation of distributed software systems […]