A colored Petri-net model for control execution of distributed systems
My El Hassan Charaf, Salma Azzouzi · 2017
A crucial part of the development of distributed systems process is the test phase. Indeed, in the distributed testing context, the use of multiple testers introduces the possibility of coordination problems amongst remote testers. These potential problems are known as controllability and observability fault detections which are fundamental features of conformance in distributed testing. The paper presents some technical issues for testing such frameworks using rules based System. The proposed approach consists on exploring how a colored Petri net model used in distributed testing prototype realization contribute to design the communication between different components of the distributed test application and by the way capture the complex monitoring tasks of the distributed testers.