search

saeaadl / emv2

AADL Error Model V2 annex language
0 stars 0 forks source link

Error states in component error behavior #84

Open joeseibel opened 2 years ago

joeseibel commented 2 years ago

Should we allow error states to be declared in a component error behavior? Currently they can only be declared in a state machine in an EMV2 annex library. Events and transitions can be declared in both state machines and component error behaviors, but why are state declarations not permitted in component error behavior? Was this an intentional decision or an oversight?

brlarson commented 1 year ago

I don't recall the reason for defining error states only in libraries, but suppose the number of state machines (w/o transitions) will be small, and state labels will be used consistently in component-specific transitions.