A rule markup language and its application to UML

Authors:
Joost Jacob
Affiliations:
Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands
Venue:
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Year:
2004

Citing 4
Cited 0

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
RML - A New Language and Implementation for Natural Semantics

PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Python reference manual

Python reference manual

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, variables containing parts of the XML such as variables for element names or variables for lists of elements. Any XML vocabulary can be combined with RML to define transformations that can be performed by RML tools also discussed in this paper. As an application of RML we show how it can be used to specify semantics for statecharts and class–diagrams in UML models. The static structure is defined in XML and the dynamic behavior of the model is captured with RML. The RML tools then provide an XML–based execution platform for UML models. This approach therefore can be used to simulate and analyze UML models.