For the requirements of formal expression of the system engineering language: SysML, we proposes a translation approach from SysML block diagram to description logic (SHIOQ(D)) knowledge base which ...

Abstract: SysML is a graphical modeling language that is mostly used for the graphical representation of real-time systems, complex systems, safely critical systems, and embedded systems. In this ...