کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
432255 688839 2015 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Integrating deployment architectures and resource consumption in timed object-oriented models
ترجمه فارسی عنوان
ادغام معماری های راه اندازی و مصرف منابع در مدل های شی گرا بهنگام شده
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی


• Formal model of objects executing in resource-sensitive deployment architectures.
• Performance measurements on deployed executable models with resource consumption.
• Model-based validation of application-specific deployment strategies.
• Model-based simulation and comparison of resource management policies.
• Model-based analysis of elasticity, dynamic deployment and virtualized resources.

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 1, January 2015, Pages 67–91
نویسندگان
, , ,