Evaluating Reliability of System Sequence Diagram Using Fuzzy Petri Net
Safaai Bin Deris, Allame Mohaddes · 2009
142 Abstract-Since UML is semi formal, many researches and effort have been performed to transform this language in to formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative parameters could be achieved with more accuracy. Since the majority of the real world information is uncertain, therefore fuzzy UML diagram has been extensively used by system analyzer. This paper attempts to transform system sequence diagram created in fuzzy UML into fuzzy Petri net. Then the reliability is calculated.