دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Brian Henderson-Sellers (auth.) سری: SpringerBriefs in Computer Science ISBN (شابک) : 3642298249, 9783642298257 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 118 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب در مورد ریاضیات مدل سازی ، متامدلینگ ، هستی شناسی و زبانهای مدل سازی: مهندسی نرم افزار، مدل ها و اصول، محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب در مورد ریاضیات مدل سازی ، متامدلینگ ، هستی شناسی و زبانهای مدل سازی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
محاسبات به عنوان یک رشته به سرعت در حال رشد است. با این حال، با بلوغ، اغلب رشتههای فرعی زیادی به وجود میآیند که با گذشت زمان، میتوانند انزواگرا شوند. زیرشاخه های مدل سازی، فرامدل سازی، هستی شناسی ها و زبان های مدل سازی در مهندسی نرم افزار به عنوان مثال. تا حدی به طور جداگانه و بدون هیچ گونه فرمالیسم زیربنایی تکامل یافته اند.
برایان هندرسون-سلرز با معرفی نظریه مجموعهها به عنوان یک فرمالیسم زیربنایی ثابت، نشان میدهد که چگونه میتوان چارچوبی منسجم ایجاد کرد که به وضوح این چهار حوزه، قبلاً مجزا، مهندسی نرمافزار را به هم پیوند میدهد. به طور خاص، او نشان میدهد که چگونه ادغام یک هستیشناسی بنیادی میتواند در حل تعدادی از مسائل بحثبرانگیز در مدلسازی مفهومی، بهویژه با توجه به تفاوتهای درک شده بین فرامدلسازی زبانی و فرامدلسازی هستیشناختی، سودمند باشد. در تحلیل ریاضی مدلها، فرامدلها، هستیشناسیها و زبانهای مدلسازی، ملاحظات صریح زبانهای مدلسازی خاص دامنه نیز شامل میشود.
این ارائه جامع و دقیق از پیشرفتهترین رویکردهای مدلسازی عمدتاً با هدف ارائه میشود. محققان دانشگاه و صنعت آنها بحث اصولی زیرشاخههای مختلف را بسیار مفید خواهند یافت و ممکن است از رویکرد وحدتبخش به عنوان نقطه شروعی برای تحقیقات آینده استفاده کنند.Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms.
Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. An explicit consideration of domain-specific modelling languages is also included in his mathematical analysis of models, metamodels, ontologies and modelling languages.
This encompassing and detailed presentation of the state-of-the-art in modelling approaches mainly aims at researchers in academia and industry. They will find the principled discussion of the various subdisciplines extremely useful, and they may exploit the unifying approach as a starting point for future research.Front Matter....Pages i-ix
Introduction....Pages 1-10
Mathematics for Modelling....Pages 11-30
Models....Pages 31-39
Metamodels....Pages 41-45
Ontologies....Pages 47-62
Modelling Languages....Pages 63-74
Linking Models, Metamodels, Ontologies and Modelling Languages....Pages 75-93
Other Related Work and Further Discussion....Pages 95-95
Conclusions and Further Work....Pages 97-98
Back Matter....Pages 99-106