Using deferred operations in the Model Verifier

homepage Forums BridgePoint/xtUML Usage and Training Using deferred operations in the Model Verifier

Viewing 2 posts - 1 through 2 (of 2 total)
  • Author
    Posts
  • #7446
    ablair
    Participant

    Does 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.

    #7447
    cort
    Keymaster

    The 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/10129

    It is a nice feature; it just needs a bit of time and resource to complete.

Viewing 2 posts - 1 through 2 (of 2 total)
  • You must be logged in to reply to this topic.