homepage › Forums › BridgePoint/xtUML Usage and Training › Using deferred operations in the Model Verifier
- This topic has 1 reply, 2 voices, and was last updated 1 year, 9 months ago by
cort.
-
AuthorPosts
-
December 6, 2021 at 11:27 am #7446
ablair
ParticipantDoes the Model Verifier (latest version of BP as of end Nov 2021) support “deferred operations”?
I have found a mechanism in the BP menu system to define a “deferred operation”, and I appear to have found, within one of the BP guides, a description of the use of Properties to differentiate deferred operations at supertype and subtype levels using Action Language Dialects (specifically None & MASL). But I’ve yet to figure out how to actually use a “deferred operation” with the Model Verifier. Any help from a BP/Model Verifier user would be much appreciated.December 6, 2021 at 3:40 pm #7447cort
KeymasterThe Model Verifier does not (yet) support deferred operations.
The editor does support them.
The Ciera model compiler supports them.This issue in the issue tracker was raised about a year ago to track support of deferred operations for Verifier:
https://support.onefact.net/issues/10129It is a nice feature; it just needs a bit of time and resource to complete.
-
AuthorPosts
- You must be logged in to reply to this topic.