وبلاگ شخصی

ارزیابی و تامین سلامت بازیهای رایانه ای مبتنی بر معناشناسی رسمی

Evaluation and Healthifying Computer Games, Based on Formal Semantics

نویسندگان:

محمد رضا بشارتی، محمد ایزدی

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

کلمات کلیدی
بازیهای رایانه ای، سلامت بازیهای رایانه ای، معناشناسی رسمی، روش های رسمی و دقیق، ارزیابی و تامین سلامت بازی، وارسی مدل، حل منطقی، سازماندهی.

ارزیابی و تامین سلامت بازی های رایانه ای مبتنی بر معناشناسی رسمی

مقاله پذیرفته شده و ارائه شده در اولین همایش فضای مجازی پاک (فمپ)، سال 1393.

لینک دریافت مقاله:

http://ce.sharif.edu/~besharati/Besharati-Izadi-Famp1393.pdf

Mohammad Reza Besharati, Mohammad Izadi, Evaluation and Healthifying Computer Games, Based on Formal Semantics ”, Proceedings of First International Symposium on The Healthy Cyberspace, Tehran, 2015.