Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » VIATRA » Consistency Checking - Viatra
Consistency Checking - Viatra [message #1827753] Fri, 22 May 2020 14:23 Go to next message
Weslley Torres is currently offline Weslley TorresFriend
Messages: 6
Registered: May 2020
Junior Member
Dear All,

I have already sent a very similar question in the - Epsilon - forum ( https://www.eclipse.org/forums/index.php?t=msg&th=1103881&goto=1827750&#msg_1827750 ). But of course, that question was related to Epsilon, and this one to Viatra. (I hope it is not seem as SPAM)

Can anyone please clarify whether VIATRA can check consistency between models? In case the answer is positive, does the consistency checking is performed between models from different domains or only between the same domain?

Finally, in case this tool can check consistency between models from different domains. Can you please specify what kind of consistency these tools provide? Bellow you can find some kind of consistency to help you answering this last question:

Behavioral inconsistencies - occur between components that request and provide services whose names and interfaces match, but whose behaviors do not.

Information Consistency - It checks if the data that can be presented on different media, remain the same regardless of how they are presented. Example of Information inconsistency would be when the distance is presented in different units without respecting the conversion calculation

Interaction inconsistencies - occur when a component's provided operations are accessed in a manner that violates certain interaction constraints, such as the order in which the component's operations are to be accessed.

Interface inconsistencies - happen when connected interface elements have mismatching values, terminologies or schemes.

Name inconsistencies - happen when components, connectors or services have the same name.

Refinement inconsistencies - occur between models of different abstraction levels due to the fact the some elements are suppressed/inserted to fit the corresponding abstraction level.

Requirement Consistency - It checks whether the requirements from a requirement list are related to some model element and if this relationship is valid.
Thank you in advance,

Re: Consistency Checking - Viatra [message #1827757 is a reply to message #1827753] Fri, 22 May 2020 15:01 Go to previous messageGo to next message
Istvan Rath is currently offline Istvan RathFriend
Messages: 2
Registered: April 2017
Junior Member
In a theoretical sense, the answer for VIATRA is pretty much the same as for EVL: https://www.eclipse.org/forums/index.php?t=msg&th=1103881&goto=1827751&#msg_1827751

From a practical point-of-view however, I don't think the above answer is of too much help, since in this theoretical sense, any programming language can address such consistency checking challenges...

For example, a lot of the consistency checking scenarios you describe (including behavioral, information, interface, name, refinement, requirement) are static analysis problems, which are the main use-cases for languages such as EVL or VQL.

A broader interpretation of behavioral and interaction consistency checks, however, may require dynamic analysis (i.e. state space exploration), which is the territory of model checking tools.
Re: Consistency Checking - Viatra [message #1828012 is a reply to message #1827757] Fri, 29 May 2020 07:09 Go to previous messageGo to next message
Hans van der Laan is currently offline Hans van der LaanFriend
Messages: 34
Registered: February 2020
Member
Hey Wesley,

The premises of the research sounds interesting! Would you mind sharing when it's published?
I'm curious where VIATRA stands compared to other tools/frameworks :)

- Hans
Re: Consistency Checking - Viatra [message #1828092 is a reply to message #1828012] Mon, 01 June 2020 12:49 Go to previous message
Weslley Torres is currently offline Weslley TorresFriend
Messages: 6
Registered: May 2020
Junior Member
Hi Hans,

Yes, sure.. actually we already published a paper about it, but later we found some problems.. that's the reason we decided to contact the tools maker/forum/dev .. and ask the same questions to fix the problems we found.

Kind regards,
Previous Topic:Matches not send to change listener
Next Topic:Evolving Set of Model Invariants
Goto Forum:
  


Current Time: Fri Nov 27 18:55:35 GMT 2020

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

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

Back to the top