توضیحات
Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations.
Ulrike Golas extends this theory for more sophisticated applications like the specification of syntax, semantics, and model transformations of complex models. Based on M-adhesive transformation systems, model transformations are successfully analyzed regarding syntactical correctness, completeness, functional behavior, and semantical simulation and correctness. The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics.
————————————————————–
ترجمه ماشینی :
تغییرهای نمودار و مدل نقش اصلی را برای مدلسازی بصری و توسعه نرمافزار مبتنی بر مدل بازی میکنند. در دهه گذشته، یک نظریه ریاضی گراف جبری و تبدیل مدل برای مدلسازی، تحلیل و نشان دادن درستی تبدیلها ایجاد شده است.
اولریکه گولاس این نظریه را برای کاربردهای پیچیده تری مانند مشخصات نحو، معناشناسی و تبدیل مدل های مدل های پیچیده گسترش می دهد. بر اساس سیستمهای تبدیل M-adhesive، تبدیلهای مدل با موفقیت در رابطه با صحت نحوی، کامل بودن، رفتار عملکردی و شبیهسازی و صحت معنایی تحلیل میشوند. روشها و نتایج توسعهیافته برای مسئله غیر پیش پاافتاده مشخصات نحو و معنای عملیاتی برای نمودارهای حالت UML و تبدیل مدل از نمودار حالت به شبکههای پتری با حفظ معناشناسی اعمال میشوند.
tag : دانلود کتاب تجزیه و تحلیل و صحت نمودارهای جبری و تبدیل مدل , Download تجزیه و تحلیل و صحت نمودارهای جبری و تبدیل مدل , دانلود تجزیه و تحلیل و صحت نمودارهای جبری و تبدیل مدل , Download Analysis and Correctness of Algebraic Graph and Model Transformations Book , تجزیه و تحلیل و صحت نمودارهای جبری و تبدیل مدل دانلود , buy تجزیه و تحلیل و صحت نمودارهای جبری و تبدیل مدل , خرید کتاب تجزیه و تحلیل و صحت نمودارهای جبری و تبدیل مدل , دانلود کتاب Analysis and Correctness of Algebraic Graph and Model Transformations , کتاب Analysis and Correctness of Algebraic Graph and Model Transformations , دانلود Analysis and Correctness of Algebraic Graph and Model Transformations , خرید Analysis and Correctness of Algebraic Graph and Model Transformations , خرید کتاب Analysis and Correctness of Algebraic Graph and Model Transformations ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.