首页>
外国专利>
VALIDATION OF A SYSTEM MODEL INCLUDING AN ACTIVITY DIAGRAM
VALIDATION OF A SYSTEM MODEL INCLUDING AN ACTIVITY DIAGRAM
展开▼
机译:包含活动图的系统模型的验证
展开▼
页面导航
摘要
著录项
相似文献
摘要
Validating a system model. An embodiment can include receiving the system model. The system model can include at least one activity diagram. Via a processor, computer-readable program code corresponding to the system model, including the at least one activity diagram of the system model, can be generated. The computer-readable program code can be executed, and the execution of the computer-readable program code can be analyzed to perform a validation of the system model. A result of the validation can be output.
展开▼