Sciweavers

    278 search results - page 2 / 56
    » Semantical Correctness and Completeness of Model Transformat...
    Sort
    View
    ENTCS
    2008
    88views more  ENTCS 2008»
    Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
    13 years 4 months ago
    Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
    Download  tfs.cs.tu-berlin.de
    In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
    Claudia Ermel, Hartmut Ehrig
    claim paper
    Read More »
    SOSYM
    2010
    107views more  SOSYM 2010»
    A UML/OCL framework for the analysis of graph transformation rules
    13 years 3 months ago
    A UML/OCL framework for the analysis of graph transformation rules
    Download  astreo.ii.uam.es
    In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
    Jordi Cabot, Robert Clarisó, Esther Guerra,...
    claim paper
    Read More »
    ECEASST
    2006
    56views more  ECEASST 2006»
    Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
    13 years 4 months ago
    Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
    Download  tfs.cs.tu-berlin.de
    Claudia Ermel, Hartmut Ehrig, Karsten Ehrig
    claim paper
    Read More »
    ENTCS
    2006
    192views more  ENTCS 2006»
    Model Transformation From VisualOCL to OCL Using Graph Transformation
    13 years 4 months ago
    Model Transformation From VisualOCL to OCL Using Graph Transformation
    Download  tfs.cs.tu-berlin.de
    In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
    Karsten Ehrig, Jessica Winkelmann
    claim paper
    Read More »
    ENTCS
    2006
    161views more  ENTCS 2006»
    Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
    13 years 4 months ago
    Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
    Download  tfs.cs.tu-berlin.de
    In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
    Hartmut Ehrig, Karsten Ehrig
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.