extended analysis

2026-06-14 16:32:51 +02:00
parent 2251a587d9
commit ab474c0766
125 changed files with 4180 additions and 317 deletions
--- a/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.dot
+++ b/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.dot
@@ -0,0 +1,22 @@
+digraph statemachine {
+  rankdir=LR;
+  node [shape=rounded, style=filled, fillcolor=white, fontname="Arial"];
+  edge [fontname="Arial", fontsize=10];
+
+  CHECK_AVAILABILITY_choice [shape=diamond, label="", fillcolor="blue", width=0.2, height=0.2];
+  CHECK_AVAILABILITY -> CHECK_AVAILABILITY_choice [style=dotted, color="blue"];
+  _start [shape=circle, label="", fillcolor=black, width=0.1];
+  _start -> NEW;
+  CANCELLED [fillcolor=lightgray];
+  DELIVERED [fillcolor=lightgray];
+  RETURNED [fillcolor=lightgray];
+  NEW -> CHECK_AVAILABILITY [label="PLACE_ORDER", style="solid", color="black"];
+  CHECK_AVAILABILITY_choice -> PENDING_PAYMENT [label="[λ] (order=0)", style="solid", color="blue"];
+  CHECK_AVAILABILITY_choice -> CANCELLED [label="(order=1)", style="solid", color="blue"];
+  PENDING_PAYMENT -> PAID [label="PAY_ORDER", style="solid", color="black"];
+  PAID -> SHIPPED [label="SHIP_ORDER", style="solid", color="black"];
+  SHIPPED -> DELIVERED [label="FINALIZE", style="solid", color="black"];
+  PAID -> CANCELLED [label="CANCEL_ORDER", style="solid", color="black"];
+  DELIVERED -> RETURNED [label="RETURN_ORDER", style="solid", color="black"];
+}
+
--- a/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.json
+++ b/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.json
@@ -0,0 +1,284 @@
+{
+  "metadata" : {
+    "triggers" : [ {
+      "event" : "AUDIT_EVENT",
+      "className" : "click.kamil.examples.enterprise.api.SecurityInterceptor",
+      "methodName" : "preHandle",
+      "sourceModule" : null,
+      "stateMachineId" : null,
+      "lineNumber" : 17
+    }, {
+      "event" : "PLACE_ORDER",
+      "className" : "click.kamil.examples.enterprise.service.OrderServiceImpl",
+      "methodName" : "place",
+      "sourceModule" : null,
+      "stateMachineId" : null,
+      "lineNumber" : 16
+    }, {
+      "event" : "CANCEL_ORDER",
+      "className" : "click.kamil.examples.enterprise.service.OrderServiceImpl",
+      "methodName" : "cancel",
+      "sourceModule" : null,
+      "stateMachineId" : null,
+      "lineNumber" : 21
+    }, {
+      "event" : "PAY_ORDER",
+      "className" : "click.kamil.examples.enterprise.service.ReactivePaymentService",
+      "methodName" : "processPayment",
+      "sourceModule" : null,
+      "stateMachineId" : null,
+      "lineNumber" : 18
+    }, {
+      "event" : "SHIP_ORDER",
+      "className" : "click.kamil.examples.enterprise.messaging.ShippingJmsListener",
+      "methodName" : "onShippingReady",
+      "sourceModule" : null,
+      "stateMachineId" : null,
+      "lineNumber" : 17
+    }, {
+      "event" : "RETURN_ORDER",
+      "className" : "click.kamil.examples.enterprise.messaging.ReturnsRabbitListener",
+      "methodName" : "onReturn",
+      "sourceModule" : null,
+      "stateMachineId" : null,
+      "lineNumber" : 17
+    } ],
+    "entryPoints" : [ {
+      "type" : "REST",
+      "name" : "POST /api/enterprise/orders/place",
+      "className" : "click.kamil.examples.enterprise.api.OrderController",
+      "methodName" : "placeOrder",
+      "metadata" : {
+        "path" : "/api/enterprise/orders/place",
+        "verb" : "POST"
+      }
+    }, {
+      "type" : "REST",
+      "name" : "POST /api/enterprise/orders/{id}/cancel",
+      "className" : "click.kamil.examples.enterprise.api.OrderController",
+      "methodName" : "cancelOrder",
+      "metadata" : {
+        "path" : "/api/enterprise/orders/{id}/cancel",
+        "verb" : "POST"
+      }
+    }, {
+      "type" : "CUSTOM",
+      "name" : "INTERCEPTOR: SecurityInterceptor.preHandle",
+      "className" : "click.kamil.examples.enterprise.api.SecurityInterceptor",
+      "methodName" : "preHandle",
+      "metadata" : {
+        "interceptorType" : "Spring MVC Interceptor"
+      }
+    }, {
+      "type" : "REST",
+      "name" : "POST /api/enterprise/payments",
+      "className" : "click.kamil.examples.enterprise.api.ReactivePaymentController",
+      "methodName" : "pay",
+      "metadata" : {
+        "path" : "/api/enterprise/payments",
+        "verb" : "POST"
+      }
+    } ],
+    "callChains" : [ {
+      "entryPoint" : {
+        "type" : "REST",
+        "name" : "POST /api/enterprise/orders/place",
+        "className" : "click.kamil.examples.enterprise.api.OrderController",
+        "methodName" : "placeOrder",
+        "metadata" : {
+          "path" : "/api/enterprise/orders/place",
+          "verb" : "POST"
+        }
+      },
+      "methodChain" : [ "click.kamil.examples.enterprise.api.OrderController.placeOrder", "click.kamil.examples.enterprise.service.OrderServiceImpl.place" ],
+      "triggerPoint" : {
+        "event" : "PLACE_ORDER",
+        "className" : "click.kamil.examples.enterprise.service.OrderServiceImpl",
+        "methodName" : "place",
+        "sourceModule" : null,
+        "stateMachineId" : null,
+        "lineNumber" : 16
+      }
+    }, {
+      "entryPoint" : {
+        "type" : "REST",
+        "name" : "POST /api/enterprise/orders/{id}/cancel",
+        "className" : "click.kamil.examples.enterprise.api.OrderController",
+        "methodName" : "cancelOrder",
+        "metadata" : {
+          "path" : "/api/enterprise/orders/{id}/cancel",
+          "verb" : "POST"
+        }
+      },
+      "methodChain" : [ "click.kamil.examples.enterprise.api.OrderController.cancelOrder", "click.kamil.examples.enterprise.service.OrderServiceImpl.cancel" ],
+      "triggerPoint" : {
+        "event" : "CANCEL_ORDER",
+        "className" : "click.kamil.examples.enterprise.service.OrderServiceImpl",
+        "methodName" : "cancel",
+        "sourceModule" : null,
+        "stateMachineId" : null,
+        "lineNumber" : 21
+      }
+    }, {
+      "entryPoint" : {
+        "type" : "CUSTOM",
+        "name" : "INTERCEPTOR: SecurityInterceptor.preHandle",
+        "className" : "click.kamil.examples.enterprise.api.SecurityInterceptor",
+        "methodName" : "preHandle",
+        "metadata" : {
+          "interceptorType" : "Spring MVC Interceptor"
+        }
+      },
+      "methodChain" : [ "click.kamil.examples.enterprise.api.SecurityInterceptor.preHandle" ],
+      "triggerPoint" : {
+        "event" : "AUDIT_EVENT",
+        "className" : "click.kamil.examples.enterprise.api.SecurityInterceptor",
+        "methodName" : "preHandle",
+        "sourceModule" : null,
+        "stateMachineId" : null,
+        "lineNumber" : 17
+      }
+    }, {
+      "entryPoint" : {
+        "type" : "REST",
+        "name" : "POST /api/enterprise/payments",
+        "className" : "click.kamil.examples.enterprise.api.ReactivePaymentController",
+        "methodName" : "pay",
+        "metadata" : {
+          "path" : "/api/enterprise/payments",
+          "verb" : "POST"
+        }
+      },
+      "methodChain" : [ "click.kamil.examples.enterprise.api.ReactivePaymentController.pay", "click.kamil.examples.enterprise.service.ReactivePaymentService.processPayment" ],
+      "triggerPoint" : {
+        "event" : "PAY_ORDER",
+        "className" : "click.kamil.examples.enterprise.service.ReactivePaymentService",
+        "methodName" : "processPayment",
+        "sourceModule" : null,
+        "stateMachineId" : null,
+        "lineNumber" : 18
+      }
+    } ],
+    "properties" : { }
+  },
+  "name" : "click.kamil.examples.enterprise.config.EnterpriseStateMachineConfig",
+  "renderChoicesAsDiamonds" : true,
+  "startStates" : [ "NEW" ],
+  "transitions" : [ {
+    "type" : "EXTERNAL",
+    "sourceStates" : [ {
+      "rawName" : "\"NEW\"",
+      "fullIdentifier" : "NEW"
+    } ],
+    "targetStates" : [ {
+      "rawName" : "\"CHECK_AVAILABILITY\"",
+      "fullIdentifier" : "CHECK_AVAILABILITY"
+    } ],
+    "event" : "PLACE_ORDER",
+    "guard" : null,
+    "actions" : [ ],
+    "order" : null
+  }, {
+    "type" : "CHOICE",
+    "sourceStates" : [ {
+      "rawName" : "\"CHECK_AVAILABILITY\"",
+      "fullIdentifier" : "CHECK_AVAILABILITY"
+    } ],
+    "targetStates" : [ {
+      "rawName" : "\"PENDING_PAYMENT\"",
+      "fullIdentifier" : "PENDING_PAYMENT"
+    } ],
+    "event" : null,
+    "guard" : {
+      "expression" : "(c) -> true",
+      "isLambda" : true
+    },
+    "actions" : [ ],
+    "order" : 0
+  }, {
+    "type" : "CHOICE",
+    "sourceStates" : [ {
+      "rawName" : "\"CHECK_AVAILABILITY\"",
+      "fullIdentifier" : "CHECK_AVAILABILITY"
+    } ],
+    "targetStates" : [ {
+      "rawName" : "\"CANCELLED\"",
+      "fullIdentifier" : "CANCELLED"
+    } ],
+    "event" : null,
+    "guard" : null,
+    "actions" : [ ],
+    "order" : 1
+  }, {
+    "type" : "EXTERNAL",
+    "sourceStates" : [ {
+      "rawName" : "\"PENDING_PAYMENT\"",
+      "fullIdentifier" : "PENDING_PAYMENT"
+    } ],
+    "targetStates" : [ {
+      "rawName" : "\"PAID\"",
+      "fullIdentifier" : "PAID"
+    } ],
+    "event" : "PAY_ORDER",
+    "guard" : null,
+    "actions" : [ ],
+    "order" : null
+  }, {
+    "type" : "EXTERNAL",
+    "sourceStates" : [ {
+      "rawName" : "\"PAID\"",
+      "fullIdentifier" : "PAID"
+    } ],
+    "targetStates" : [ {
+      "rawName" : "\"SHIPPED\"",
+      "fullIdentifier" : "SHIPPED"
+    } ],
+    "event" : "SHIP_ORDER",
+    "guard" : null,
+    "actions" : [ ],
+    "order" : null
+  }, {
+    "type" : "EXTERNAL",
+    "sourceStates" : [ {
+      "rawName" : "\"SHIPPED\"",
+      "fullIdentifier" : "SHIPPED"
+    } ],
+    "targetStates" : [ {
+      "rawName" : "\"DELIVERED\"",
+      "fullIdentifier" : "DELIVERED"
+    } ],
+    "event" : "FINALIZE",
+    "guard" : null,
+    "actions" : [ ],
+    "order" : null
+  }, {
+    "type" : "EXTERNAL",
+    "sourceStates" : [ {
+      "rawName" : "\"PAID\"",
+      "fullIdentifier" : "PAID"
+    } ],
+    "targetStates" : [ {
+      "rawName" : "\"CANCELLED\"",
+      "fullIdentifier" : "CANCELLED"
+    } ],
+    "event" : "CANCEL_ORDER",
+    "guard" : null,
+    "actions" : [ ],
+    "order" : null
+  }, {
+    "type" : "EXTERNAL",
+    "sourceStates" : [ {
+      "rawName" : "\"DELIVERED\"",
+      "fullIdentifier" : "DELIVERED"
+    } ],
+    "targetStates" : [ {
+      "rawName" : "\"RETURNED\"",
+      "fullIdentifier" : "RETURNED"
+    } ],
+    "event" : "RETURN_ORDER",
+    "guard" : null,
+    "actions" : [ ],
+    "order" : null
+  } ],
+  "endStates" : [ "CANCELLED", "DELIVERED", "RETURNED" ]
+}
--- a/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.png
+++ b/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.png
--- a/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.puml
+++ b/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.puml
@@ -0,0 +1,78 @@
+@startuml
+!pragma layout smetana
+hide empty description
+hide stereotype
+state NEW
+state CHECK_AVAILABILITY
+state PENDING_PAYMENT
+state CANCELLED
+state PAID
+state SHIPPED
+state DELIVERED
+state RETURNED
+
+<style>
+  state {
+    .choice {
+      BackgroundColor LightYellow
+    }
+  }
+  arrow {
+    LineThickness 1
+    .external { LineColor #1E90FF }
+    .internal { LineColor #32CD32 }
+    .local { LineColor #FFA500 }
+    .junction { LineColor #FF69B4 }
+    .join { LineColor #8A2BE2 }
+    .fork { LineColor #20B2AA }
+    .choice_type { LineColor #000000 }
+    .choice_color_0 { LineColor #FF6347 }
+    .choice_color_1 { LineColor #4682B4 }
+    .choice_color_2 { LineColor #32CD32 }
+    .choice_color_3 { LineColor #FFD700 }
+    .choice_color_4 { LineColor #6A5ACD }
+    .choice_color_5 { LineColor #FF69B4 }
+
+  }
+  /* Example: Highlight all transitions for a specific event */
+  /* .e_MY_EVENT { LineColor red } */
+</style>
+
+hide <<external>> stereotype
+hide <<internal>> stereotype
+hide <<local>> stereotype
+hide <<junction>> stereotype
+hide <<join>> stereotype
+hide <<fork>> stereotype
+hide <<choice_type>> stereotype
+hide <<choice_color_0>> stereotype
+hide <<choice_color_1>> stereotype
+hide <<choice_color_2>> stereotype
+hide <<choice_color_3>> stereotype
+hide <<choice_color_4>> stereotype
+hide <<choice_color_5>> stereotype
+
+[*] --> NEW
+
+state CHECK_AVAILABILITY <<choice>>
+
+NEW -[#1E90FF,bold]-> CHECK_AVAILABILITY <<external>> <<e_PLACE_ORDER>> : PLACE_ORDER
+CHECK_AVAILABILITY -[#FF6347,bold]-> PENDING_PAYMENT <<choice_color_0>> : [λ] (order=0)
+CHECK_AVAILABILITY -[#FF6347,bold]-> CANCELLED <<choice_color_0>> : (order=1)
+PENDING_PAYMENT -[#1E90FF,bold]-> PAID <<external>> <<e_PAY_ORDER>> : PAY_ORDER
+PAID -[#1E90FF,bold]-> SHIPPED <<external>> <<e_SHIP_ORDER>> : SHIP_ORDER
+SHIPPED -[#1E90FF,bold]-> DELIVERED <<external>> <<e_FINALIZE>> : FINALIZE
+PAID -[#1E90FF,bold]-> CANCELLED <<external>> <<e_CANCEL_ORDER>> : CANCEL_ORDER
+DELIVERED -[#1E90FF,bold]-> RETURNED <<external>> <<e_RETURN_ORDER>> : RETURN_ORDER
+hide <<e_PLACE_ORDER>> stereotype
+hide <<e_PAY_ORDER>> stereotype
+hide <<e_SHIP_ORDER>> stereotype
+hide <<e_FINALIZE>> stereotype
+hide <<e_CANCEL_ORDER>> stereotype
+hide <<e_RETURN_ORDER>> stereotype
+
+CANCELLED --> [*]
+DELIVERED --> [*]
+RETURNED --> [*]
+@enduml
+
--- a/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.scxml.xml
+++ b/state_machine_exporter/src/test/resources/golden/EnterpriseStateMachineConfig/EnterpriseStateMachineConfig.scxml.xml
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" initial="NEW">
+  <state id="NEW">
+    <transition target="CHECK_AVAILABILITY" event="PLACE_ORDER"/>
+  </state>
+  <state id="CHECK_AVAILABILITY">
+    <transition target="PENDING_PAYMENT" cond="λ">
+      <!-- order=0 -->
+    </transition>
+    <transition target="CANCELLED">
+      <!-- order=1 -->
+    </transition>
+  </state>
+  <state id="PENDING_PAYMENT">
+    <transition target="PAID" event="PAY_ORDER"/>
+  </state>
+  <state id="CANCELLED">
+  </state>
+  <state id="PAID">
+    <transition target="SHIPPED" event="SHIP_ORDER"/>
+    <transition target="CANCELLED" event="CANCEL_ORDER"/>
+  </state>
+  <state id="SHIPPED">
+    <transition target="DELIVERED" event="FINALIZE"/>
+  </state>
+  <state id="DELIVERED">
+    <transition target="RETURNED" event="RETURN_ORDER"/>
+  </state>
+  <state id="RETURNED">
+  </state>
+</scxml>
+