cbd_runtime.mvc 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. import models/SimpleClassDiagrams as SCD
  2. include "primitives.alh"
  3. SCD CausalBlockDiagrams_Runtime{
  4. AttributeValue Float {
  5. $
  6. if (bool_not(is_physical_float(self))):
  7. return "Float has no float value"!
  8. else:
  9. return "OK"!
  10. $
  11. }
  12. AttributeValue String {
  13. $
  14. if (bool_not(is_physical_string(self))):
  15. return "String has no string value"!
  16. else:
  17. return "OK"!
  18. $
  19. }
  20. Class Block{
  21. signal : Float
  22. }
  23. Class ICBlock{
  24. last_in : Float
  25. }
  26. Class ConstantBlock{
  27. value : Float
  28. }
  29. Class ProbeBlock{
  30. name : String
  31. }
  32. Class AdditionBlock{}
  33. Class NegatorBlock{}
  34. Class MultiplyBlock{}
  35. Class InverseBlock{}
  36. Class DelayBlock{}
  37. Class IntegratorBlock{
  38. last_out? : Float
  39. }
  40. Class DerivatorBlock{}
  41. Class Time{
  42. lower_cardinality = 1
  43. upper_cardinality = 1
  44. start_time : Float
  45. current_time : Float
  46. }
  47. Association Link(Block, Block){
  48. }
  49. Association InitialCondition(Block, ICBlock){
  50. source_lower_cardinality = 0
  51. source_upper_cardinality = 1
  52. }
  53. Inheritance (ConstantBlock, Block){}
  54. Inheritance (AdditionBlock, Block){}
  55. Inheritance (NegatorBlock, Block){}
  56. Inheritance (MultiplyBlock, Block){}
  57. Inheritance (InverseBlock, Block){}
  58. Inheritance (ICBlock, Block){}
  59. Inheritance (DelayBlock, ICBlock){}
  60. Inheritance (DerivatorBlock, ICBlock){}
  61. Inheritance (IntegratorBlock, ICBlock){}
  62. Inheritance (ProbeBlock, Block){}
  63. }
  64. export CausalBlockDiagrams_Runtime to models/CausalBlockDiagrams_Runtime