Model-Based Detection of Emergent Behavior in Distributed Systems

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 as it results in huge savings in time and cost.  An effective and efficient approach to describing the requirements of distributed systems is by using scenarios.  Scenarios are commonly represented using message sequence charts or se