Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Attributed graph transformation with node type inheritance
Theoretical Computer Science
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Proofs-as-Model-Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Analysing Graph Transformation Rules through OCL
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
The maude formal tool environment
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
An algebraic semantics for MOF
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Satisfiability of high-level conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Automatic support for traceability in a generic model management framework
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
On the behavioral semantics of real-time domain specific visual languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented systems
Reusing model transformations while preserving properties
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
On the specification of non-functional properties of systems by observation
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Defining and analysing resource assignments in business processes with RAL
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Towards a model transformation intent catalog
Proceedings of the First Workshop on the Analysis of Model Transformations
On the definition and design-time analysis of process performance indicators
Information Systems
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
There is a growing need to explicitly represent the behavioral semantics of Modeling Languages in a precise way, something especially important in industrial environments in which simulation and verification are critical issues. Graph transformation provides one way to specify the semantics of Domain Specific Visual Languages (DSVLs), with the advantage of being intuitive and easy to use for the system designer. Even though its theory has been extensively developed during the last 30 years, it has some limitations concerning specific analysis capabilities. On the contrary, Maude is a rewriting logic-based language with very good formal analysis support, but which requires specialized knowledge. In this paper we show how a mapping between graph transformation-based specifications of DSVL semantics and Maude is possible. This allows performing simulation, reachability and model-checking analysis on the models, using the tools and techniques that Maude provides.