Twenty years of rewriting logic

J Meseguer - The Journal of Logic and Algebraic Programming, 2012 - Elsevier
Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …

[图书][B] Some tools

M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet… - 2007 - Springer
This chapter describes some existing Maude-based tools that are available for download.
The first section describes tools concerned with analysis of either Maude specifications, or of …

A survey of approaches for verifying model transformations

L Ab. Rahim, J Whittle - Software & Systems Modeling, 2015 - Springer
As with other software development artifacts, model transformations are not bug-free and so
must be systematically verified. Their nature, however, means that transformations require …

From UML and OCL to relational logic and back

M Kuhlmann, M Gogolla - … on model driven engineering languages and …, 2012 - Springer
Languages like UML and OCL are used to precisely model systems. Complex UML and
OCL models therefore represent a crucial part of model-driven development, as they …

Extensive validation of OCL models by integrating SAT solving into USE

M Kuhlmann, L Hamann, M Gogolla - International Conference on …, 2011 - Springer
Abstract The Object Constraint Language (OCL) substantially enriches modeling languages
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …

Incremental integrity checking of UML/OCL conceptual schemas

J Cabot, E Teniente - Journal of Systems and Software, 2009 - Elsevier
Integrity constraints play a key role in the specification and development of software systems
since they state conditions that must always be satisfied by the system at runtime. Therefore …

Generating repairs for inconsistent models

L Marchezan, R Kretschmer, WKG Assunção… - Software and Systems …, 2023 - Springer
There are many repair alternatives for resolving model inconsistencies, each involving one
or more model changes. Enumerating them all could overwhelm the developer because the …

[HTML][HTML] The rewriting logic semantics project: A progress report

J Meseguer, G Roşu - Information and Computation, 2013 - Elsevier
Rewriting logic is an executable logical framework well suited for the semantic definition of
languages. Any such framework has to be judged by its effectiveness to bridge the existing …

Initiating a benchmark for UML and OCL analysis tools

M Gogolla, F Büttner, J Cabot - International conference on tests and …, 2013 - Springer
Abstract The Object Constraint Language (OCL) is becoming more and more popular for
model-based engineering, in particular for the development of models and model …

OCL Rebuilt, From the Ground Up

F Steimann, R Clarisó, M Gogolla - 2023 ACM/IEEE 26th …, 2023 - ieeexplore.ieee.org
The Object Constraint Language (OCL) serves the expression of complex conditions and
queries over UML-based models in an object-oriented style. We note that OCL's grounding …