دانلود مقاله ISI انگلیسی شماره 46388
عنوان فارسی مقاله

یکپارچه سازی معماری توسعه و مصرف منابع در مدل شی گرا بهنگام

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
46388 2015 25 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Integrating deployment architectures and resource consumption in timed object-oriented models ☆
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Journal of Logical and Algebraic Methods in Programming, Volume 84, Issue 1, January 2015, Pages 67–91

کلمات کلیدی
معماری استقرار - مدیریت منابع - شی محور - روش های رسمی - عملکرد - زمان واقعی ABS
پیش نمایش مقاله
پیش نمایش مقاله یکپارچه سازی معماری توسعه و مصرف منابع در مدل شی گرا بهنگام

چکیده انگلیسی

Software today is often developed for many deployment scenarios; the software may be adapted to sequential, concurrent, distributed, and even virtualized architectures. Since software performance can vary significantly depending on the target architecture, design decisions need to address which features to include and what performance to expect for different architectures. To make use of formal methods for these design decisions, system models need to range over deployment scenarios. For this purpose, it is desirable to lift aspects of low-level deployment to the abstraction level of the modeling language. This paper proposes an integration of deployment architectures in the Real-Time ABS language, with restrictions on processing resources. Real-Time ABS is a timed, abstract and behavioral specification language with a formal semantics and a Java-like syntax, that targets concurrent, distributed and object-oriented systems. A separation of concerns between execution cost at the object level and execution capacity at the deployment level makes it easy to compare the timing and performance of different deployment scenarios already during modeling. The language and associated simulation tool is demonstrated on examples and its semantics is formalized.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.