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 …
computation and logical deduction with great generality. This paper provides a gentle …
[图书][B] Some tools
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 …
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 …
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 …
OCL models therefore represent a crucial part of model-driven development, as they …
Extensive validation of OCL models by integrating SAT solving into USE
Abstract The Object Constraint Language (OCL) substantially enriches modeling languages
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …
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 …
since they state conditions that must always be satisfied by the system at runtime. Therefore …
Generating repairs for inconsistent models
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 …
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 …
languages. Any such framework has to be judged by its effectiveness to bridge the existing …
Initiating a benchmark for UML and OCL analysis tools
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 …
model-based engineering, in particular for the development of models and model …
OCL Rebuilt, From the Ground Up
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 …
queries over UML-based models in an object-oriented style. We note that OCL's grounding …