Eclipse Community Forums: VIATRA » Check Class Diagram with Modal Object Diagram Specifications

Home » Modeling » VIATRA » Check Class Diagram with Modal Object Diagram Specifications

Check Class Diagram with Modal Object Diagram Specifications [message #1810095]

Tue, 30 July 2019 16:46

Eclipse User

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 07:17] by Moderator

Previous Topic:	Using JUnit to test Viatra transformations
Next Topic:	Viatra evaluation benchmark, execution time

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Nov 09 17:50:21 EST 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter