KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — FlowTransferBefore needs end feature declarations

  • Key: KERML-120
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The interaction FlowTransferBefore in the Transfers library package specializes both FlowTransfer and TransferBefore. Both FlowTransfer and TransferBefore are binary, so FlowTransferBefore has to be, too. However, in the normative Transfers.kerml file from the Kernel Semantic Library project, FlowTransferBefore is currently declared without owned end features, so it inherits two ends each from FlowTransfer and TransferBefore, for a total of four, which is incorrect. Instead, it needs to declare two nested end features that redefine the corresponding ends from each of the interactions it specializes.

    (Note that, in subclause 9.2.7.2.3 of the specification document, FlowTransferBefore is actually documented as properly having two owned ends.)

  • Reported: KerML 1.0b1 — Wed, 12 Jul 2023 21:35 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT