A toolkit for model manipulation

Abstract

We present a toolkit to develop scripts to process software models. It can be used to create applications to check, transform and generate derived artifacts from a model. The toolkit is based on the current OMG standards and it can be used with the Unified Modeling Language (UML) and other user-defined languages based on the Meta Object Facility.

Rule-based update transformations and their application to model refactorings

“…In this article, we use System Modeling Workbench (SMW) scripts [12] to define the guard and body of a rule. SMW is based on the Python programming language [13].…”

“…each metaclass in a metamodel, as a class type that can be instantiated to create the corresponding model elements. The classes representing the metamodel have the same names, attributes and associations as defined in the UML standard since they are generated automatically from the standard UML metamodels [12].…”

“…We described in [12] the possibility of using a transaction-like mechanism to group model updates and trace the activity of a script. A transaction is a sequence of updates in a model; it can be reviewed, rolled back and reexecuted again.…”

“…In this case, the well-formed Fig. 15 Steps in the execution of a transformation rules of the model are evaluated as described in [12]. If this check fails, the transaction is reverted.…”

Modeling and Testing Legacy Data Consistency Requirements

“…The Coral modeling Framework [Iva02] is not based on Java but on the Python programming language; the meta-metamodel (MOF) is hard coded but different metamodels can be installed automatically; there is currently no support for the lowest level. The framework support some advanced features, like transaction control of model updates and scripting of queries in Python.…”