|
|
Journal of Advances in Computer Research، جلد ۱، شماره ۱، صفحات ۲۹-۴۴
|
|
|
| عنوان فارسی |
|
|
| چکیده فارسی مقاله |
|
|
| کلیدواژه‌های فارسی مقاله |
|
|
| عنوان انگلیسی |
Transforming Fuzzy State Diagram to Fuzzy Petri net |
|
| چکیده انگلیسی مقاله |
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world information is uncertain, therefore fuzzy UML diagram has been extensively used by system analyzers. This paper is an attempt to transform state 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. |
|
| کلیدواژه‌های انگلیسی مقاله |
|
|
| نویسندگان مقاله |
h موتمنی |
department of computer engineering islamic azad university, sari branch, sari, iran
سازمان اصلی تایید شده: دانشگاه آزاد اسلامی علوم و تحقیقات (Islamic azad university science and research branch)
i دانشفر |
department of computer engineering university of science and technology of mazandaran babol, iran
سازمان اصلی تایید شده: دانشگاه علم و فناوری مازندران (University of science and technology of mazandaran)
j بخشی |
department of computer engineering university of science and technology of mazandaran babol, iran
سازمان اصلی تایید شده: دانشگاه علم و فناوری مازندران (University of science and technology of mazandaran)
h نعمت زاده |
department of computer science amp;amp; information system, university technology malaysia
|
|
| نشانی اینترنتی |
http://jacr.iausari.ac.ir/article_2383_2a3c388b857e52a4de946028fff2702a.pdf |
| فایل مقاله |
اشکال در دسترسی به فایل - ./files/site1/rds_journals/1575/article-1575-257287.pdf |
| کد مقاله (doi) |
|
| زبان مقاله منتشر شده |
en |
| موضوعات مقاله منتشر شده |
|
| نوع مقاله منتشر شده |
|
|
|
|
برگشت به:
صفحه اول پایگاه |
نسخه مرتبط |
نشریه مرتبط |
فهرست نشریات
|