Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
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 20:46
Tejesh Kimidi is currently offline Tejesh KimidiFriend
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:

Current Time: Tue Nov 24 21:11:49 GMT 2020

Powered by FUDForum. Page generated in 0.01878 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top