SysML/UML Prolog Model

The SysML/UML parser is a set of post-processing rules for the xmi parser (xmlrev). It takes XML prolog predicates as input and produces a list of SysML and UML prolog predicates as output. These rules have been automatically generated by UML2LMP, another LMP tool that processes UML metamodels.

Current version of the SysML/UML parser complies with UML 2.5.1, SysML 1.5 and MagicDraw(tm) extensions.

This page describes the SysML/UML prolog API that can be used to create processing tools with LMP or LAMP

SysML predicates