مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

649
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

540
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله نشریه

عنوان

معنای عملیاتی برای یک زبان مبتنی براکتور

صفحات

 صفحه شروع 433 | صفحه پایان 443

چکیده

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

استنادها

  • ثبت نشده است.
  • ارجاعات

  • ثبت نشده است.
  • استناددهی

    APA: کپی

    سیرجانی، مرجان، رضوی، نیلوفر، موسوی، الهام، و موقررحیم آبادی، علی. (1385). معنای عملیاتی برای یک زبان مبتنی براکتور. دانشکده فنی دانشگاه تهران، 40(3 (پیاپی 97) ویژه مهندسی برق)، 433-443. SID. https://sid.ir/paper/14460/fa

    Vancouver: کپی

    سیرجانی مرجان، رضوی نیلوفر، موسوی الهام، موقررحیم آبادی علی. معنای عملیاتی برای یک زبان مبتنی براکتور. دانشکده فنی دانشگاه تهران[Internet]. 1385؛40(3 (پیاپی 97) ویژه مهندسی برق):433-443. Available from: https://sid.ir/paper/14460/fa

    IEEE: کپی

    مرجان سیرجانی، نیلوفر رضوی، الهام موسوی، و علی موقررحیم آبادی، “معنای عملیاتی برای یک زبان مبتنی براکتور،” دانشکده فنی دانشگاه تهران، vol. 40، no. 3 (پیاپی 97) ویژه مهندسی برق، pp. 433–443، 1385، [Online]. Available: https://sid.ir/paper/14460/fa

    مقالات مرتبط نشریه ای

    مقالات مرتبط همایشی

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button