دانلود مقالات ISI درباره تحول مدل + ترجمه فارسی

Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches

Keywords: تحول مدل; Business processes; Model-driven Engineering; Model transformation; Model execution; Service-oriented development

دانلود رایگان متن کامل مقاله ISI 19 صفحه سال انتشار : 2012 سفارش ترجمه

Correct transformation: From object-based graph grammars to PROMELA

Keywords: تحول مدل; Graph grammars; Model transformation; PROMELA; Correctness

دانلود رایگان متن کامل مقاله ISI 33 صفحه سال انتشار : 2012 سفارش ترجمه

A formal approach to the specification and transformation of constraints in MDE

Keywords: تحول مدل; Model-driven engineering; Model transformation; Constraints; Category theory; Graph transformation; Diagram Predicate Framework;

دانلود رایگان متن کامل مقاله ISI 36 صفحه سال انتشار : 2012 سفارش ترجمه

System-level model integration of design and simulation for mechatronic systems based on SysML

Keywords: تحول مدل; SysML; System dynamics; Simulink; Model-based systems engineering; Simulation; Model transformation; Simscape

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2011 سفارش ترجمه

A synergistic model-driven approach for persistence modeling with UML

Keywords: تحول مدل; Model Driven Development; Object-relational mapping; Unified Modeling Language profile; Model transformation; Persistence; Java Persistence API

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2011 سفارش ترجمه

A framework for evolution of modelling languages

Keywords: تحول مدل; Evolution; Modelling languages; Language engineering; Model-driven engineering; Model transformation

دانلود رایگان متن کامل مقاله ISI 24 صفحه سال انتشار : 2011 سفارش ترجمه

A new model transformation method and its application to extending a class of stability criteria of neutral type systems

Keywords: تحول مدل; Model transformation; Neutral type system; Nonlinear matrix inequality; Optimization;

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2010 سفارش ترجمه

Authoring and verification of clinical guidelines: A model driven approach

Keywords: تحول مدل; Clinical guidelines; Formal verification; Computer assisted tools; Model driven development; Model transformation

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2010 سفارش ترجمه

From UML/OCL to SBVR specifications: A challenging transformation

Keywords: تحول مدل; UML; OCL; SBVR; Model transformation

دانلود رایگان متن کامل مقاله ISI 24 صفحه سال انتشار : 2010 سفارش ترجمه

Model-driven development for early aspects

Keywords: تحول مدل; Early aspects; Model-driven development; Aspect-Oriented Software Development; Model transformation

دانلود رایگان متن کامل مقاله ISI 25 صفحه سال انتشار : 2010 سفارش ترجمه

Model-driven business process security requirement specification

Keywords: تحول مدل; Web service security; Business process; Model transformation; Security annotations; Access control

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2009 سفارش ترجمه

Supporting user-oriented analysis for multi-view domain-specific visual languages

Keywords: تحول مدل; Domain-specific visual languages; Consistency; Back-annotation; Formal methods; Model transformation; Modelling environments

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2009 سفارش ترجمه

A transformation model from DEVS to SMP2 based on MDA

Keywords: تحول مدل; Discrete Event System Specification; Simulation Model Portability standard 2; Model transformation; Model Driven Architecture; Simulation model reuse

دانلود رایگان متن کامل مقاله ISI 20 صفحه سال انتشار : 2009 سفارش ترجمه

ATL: A model transformation tool

Keywords: تحول مدل; Model engineering; Model transformation; M2M (model-to-model transformation)

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2008 سفارش ترجمه

Transformation techniques can make students excited about formal methods

Keywords: تحول مدل; Teaching; Metamodeling; Model transformation; Graph grammars; Petri-Nets

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2008 سفارش ترجمه

New delay-dependent global asymptotic stability criteria of delayed Hopfield neural networks

Keywords: تحول مدل; Global asymptotic stability; Delayed Hopfield neural networks; Linear matrix inequality; Lyapunov method; Model transformation

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2008 سفارش ترجمه

Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach

Keywords: تحول مدل; Performance analysis; Reliability analysis; Model transformation; Component-based systems;

دانلود رایگان متن کامل مقاله ISI 31 صفحه سال انتشار : 2007 سفارش ترجمه

Two methods for computing bounds for the distribution of cumulative reward for large Markov models

Keywords: تحول مدل; Fault-tolerant computer systems; Degradable systems; Continuous-time Markov chains; Distribution of cumulative reward; Bounds; Model transformation

دانلود رایگان متن کامل مقاله ISI 31 صفحه سال انتشار : 2006 سفارش ترجمه

Predicting Incompatibility of Transformations in Model-driven Development

Keywords: تحول مدل; MDA; Model Transformation; Consistency and Co-Evolution;

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2005 سفارش ترجمه

Leveraging UML Profiles to Generate Plugins From Visual Model Transformations

Keywords: تحول مدل; Refactoring; Model Transformation; SDM; JMI;

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2005 سفارش ترجمه

Evolution Through Architectural Reconciliation

Keywords: تحول مدل; software architecture; architectural design; model transformation; architectural recovery; architectural reconciliation;

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2005 سفارش ترجمه

Refinement Patterns for UML

Keywords: تحول مدل; UML-RSDS; Refinement; Model Transformation;

دانلود رایگان متن کامل مقاله ISI 19 صفحه سال انتشار : 2005 سفارش ترجمه