|Check Class Diagram with Modal Object Diagram Specifications [message #1810095]
||Tue, 30 July 2019 20:46
| Tejesh Kimidi
Registered: July 2019
Basically I have two questions.|
1. Can we check class diagram consistency with Modal Object Diagram specifications (positive/negative and example/invariant) using the viatra solver?
2. To test the class diagram, does the viatra can take the models automatically from the users? Like can we make configuration and logics of testing back end and just automate to take class diagrams from the user?
Thanks in advance :)
[Updated on: Fri, 16 August 2019 11:17]
Report message to a moderator
Powered by FUDForum
. Page generated in 0.01834 seconds