fsa_runtime.mvc 852 B

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. import models/SimpleClassDiagrams as SCD
  2. include "primitives.alh"
  3. SCD FiniteStateAutomata_Runtime{
  4. AttributeValue String {
  5. $
  6. if (bool_not(is_physical_string(self))):
  7. return "String has no string value"!
  8. else:
  9. return "OK"!
  10. $
  11. }
  12. Class State {
  13. name : String
  14. }
  15. Class InitialState {
  16. lower_cardinality = 1
  17. upper_cardinality = 1
  18. }
  19. Association Transition (State, State){
  20. event : String
  21. raise? : String
  22. }
  23. Inheritance (InitialState, State){}
  24. Class CurrentState{
  25. lower_cardinality = 1
  26. upper_cardinality = 1
  27. }
  28. Association CurrentStateLink{
  29. lower_cardinality = 1
  30. upper_cardinality = 1
  31. }
  32. }
  33. export FiniteStateAutomata_Runtime to models/FiniteStateAutomata_Runtime