Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
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)
The meta-object facility typed
Proceedings of the 2006 ACM symposium on Applied computing
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
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
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Realizing graph transformations by pre- and postconditions and command sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
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
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Algebraic specification of a model transformation engine
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Enhancing UML extensions with operational semantics behaviored profiles with templates
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Towards a rewriting logic semantics for ATL
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Simulating domain specific visual models by observation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Embedding domain-specific modelling languages in maude specifications
ACM SIGSOFT Software Engineering Notes
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
Lightweight testing of communication networks with e-motions
TAP'11 Proceedings of the 5th international conference on Tests and proofs
On the specification of non-functional properties of systems by observation
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
A K-based formal framework for domain-specific modelling languages
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Specification and simulation of queuing network models using Domain-Specific Languages
Computer Standards & Interfaces
Hi-index | 0.00 |
Modeling languages play a cornerstone role in model-driven software development for representing models and metamodels. Modeling languages are usually defined in terms of their abstract and concrete syntax. This allows the rapid development of languages and some associated tools (e.g. editors), but does not allow the representation of their behavioral semantics, something especially important in certain industrial environments in which simulation and verification are critical issues. In this paper we explore the use of Maude as a formal notation for describing models, metamodels, and their dynamic behavior, making models amenable to formal analysis, reasoning, and simulation.