تحلیل ایرادهای ارزیابی با کمک CPN برای سیستمهای خرید آنلاین

امروزه سیستمهای خرید آنلاین، کاربرد زیادی در سراسر جهان داشته و سبب رونق چشمگیر کسب وکارهای مختلف شده اند. بااینحال، طراحی این سیستمها به دلیل پیچیدگی زیاد آنها، با دشواریهای زیادی همراه است. پیچیدگی در پیوند داده ها و رفتار این نوع سیستمها، سبب ایرادهایی در ارزیابی شده و مشکلاتی را ایجاد کرده است. در این مقاله برای حل این مشکل و به منظور تحلیل ایرادهای ارزیابی، از روشهای رسمی مبتنی بر CPN (شبکه های پتری رنگی) استفاده میشود. راهکار پیشنهادی، مبتنی بر زبان مدلسازی CPN است که از مشخصه های تراکنش سیستمهای خرید آنلاین استفاده میکند. همچنین برای درک بهتر، یک نمونه کاربردی تشریح میشود.

کلیدواژه ها:

خرید آنلاین ، شبکه پتری ، ارزیابی ، مدل رسمی.