2008 · 21 citations · 9 references
Petri NetEngineeringFuzzy ModelingIndustrial EngineeringVerificationSoftware EngineeringIntelligent SystemsSoftware AnalysisFormal VerificationData ScienceSystems EngineeringFuzzy Petri NetFuzzy LogicFuzzy ComputingFormal ModelingFuzzy Uml DiagramStochastic Petri NetComputer EngineeringProcess SpecificationComputer ScienceUml DesignSoftware DesignConvert Activity DiagramProgram AnalysisSystem SpecificationAutomationFormal MethodsFuzzy UmlIndustrial InformaticsData Modeling
UML is known as one of the most common methods in software engineering. since this language is semi formed, 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 and non functional parameters could be achieved with more ability. Since the majority of the real world information are uncertain, there fore fuzzy UML diagram has been extensively used by system analyzer this paper is attempt to transform activity diagrams created in fuzzy UML into fuzzy Petri net.so that the verification and performance evaluation operation could be performed formally, rather than exact visual analysis.
9