Transformation language

XML-Based Tools and Processes

Published in Cliff Wootton, Developing Quality Metadata, 2009

XSLT is an XML-based document transformation language. The XSLT processor uses an XSLT stylesheet to guide the conversion of the XML document object tree into another tree that is then serialized as XML, HTML, plain text, or another format supported by the XSLT processor.

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

View Article

Journal Information

Published in Connection Science, 2022

Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang

The OCRA system specification generation for the SysML model is based on model transformation technology. Because SysML semantics is different from the OCRA system specification in terms of expressive power and scope, we only focus on a subset of the SysML model related to refinement, which specifically involves components, features, connections, and contract attribute sets. The global view of the mapping relationship between the SysML and OCRA Model elements is shown in Table 4. The detailed transformation rules are shown in Table 5, and Table 6. Especially, the model transformation language used in this paper is Xtend. Xtend can focus on the definition of model conversion rules without considering the pros and cons of the transformation algorithm and potential vulnerabilities in the design.

Transformation language

Explore chapters and articles related to this topic

XML-Based Tools and Processes

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems