Skip to end of metadata
Go to start of metadata

Meeting Details

  • Moderator: als
  • Protocol: lgr
  • Attendees:
    • als
    • dlu
    • lgr
    • nre
    • rvh
    • ssm
  • Start: 9:56
  • End:

Agenda

Updates on Blech (dlu)

  • Some more steps in the optimization now work
  • Activities visualized in SCCharts are now flattened/inlined, not overloaded by unnecessary hierarchy
    • often activities are just a couple of lines or states
    • It is not always useful to flatten hierarchy - game example
    • This is configurable 
  • Labels can now be put onto states
  • Overall goal is to show the stateful nature
    • labels are passed along until a state is reached
  • Maybe regions want to get labels too?
    • probably another lable keyword would be needed to remove possible problems with other labels
    • labels are "gathered" and merged until the next stateful statement ist reached
  • States resulting from awaits should maybe be labeled and other not
  • Cobegin with a weak abort that identifies abortion condition is an often used pattern
    • Maybe this pattern should preserve some structure and create a complex state
  • No labels