کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
468326 | 698214 | 2012 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The SIMTHESys multiformalism modeling framework
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
علوم کامپیوتر (عمومی)
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: The SIMTHESys multiformalism modeling framework The SIMTHESys multiformalism modeling framework](/preview/png/468326.png)
چکیده انگلیسی
The usage of models is a fundamental activity in designing and verifying a system. Mastering different modeling techniques and scaling their application to complex systems is not an easy task and requires both advanced skills and proper tools. One of the means that allow modelers to leverage the power of proper modeling techniques (e.g. stochastic techniques) is the application of abstractions by using high level formal modeling languages. This paper presents SIMTHESys, a framework for the development of formal modeling languages and the solution of multiformalism models by automatically generated solvers based on different solving engines.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computers & Mathematics with Applications - Volume 64, Issue 12, December 2012, Pages 3828–3839
Journal: Computers & Mathematics with Applications - Volume 64, Issue 12, December 2012, Pages 3828–3839
نویسندگان
M. Iacono, E. Barbierato, M. Gribaudo,