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

Help

Home

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

Show: Today's Messages :: Show Polls :: Message Navigator

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

Tue, 30 July 2019 20:46

Tejesh Kimidi

Messages: 1
Registered: July 2019

Junior Member

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

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat Apr 27 03:46:54 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter