KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Update Kernel Semantic Library for validateRedefinitionDirectionConformance constraint

Open Closed All
  • Key: KERML-182
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The approved resolution to issue KERML-20 added the validationRedefinitionDirectionConformance constraint. However, the Occurrences and TransitionPerformances models in the Kernel Model Library actually violate that constraint. They need to be updated so they do not.

    1. Occurrences::ObserveChange::transfer::source::sourceOutput should have direction out.
    2. TransitionPerformances::TransitionPerformance::accept should have direction in.
  • Reported: KerML 1.0b1 — Sat, 23 Sep 2023 20:56 GMT
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    Update the library models as necessary

    The Observation and TransitionPerformances models need to be updated as given.
  • Updated: Tue, 1 Jul 2025 15:01 GMT