Model Non-conformance Interpretation

Potential interpretations for the non-conformance

Unused / Unreachable Code

The line of code that is responsible for triggering a flow of communication between the two component is not reachable or the line is not used at all in the implementation. It could be the case that the function that should call this line is not implemented, commented out or wrapped in a code-block (e.g. if-else statement or switch statement) that is never executed.

Misconfiguration of Service

One of the most common causes for failures in microservice systems is misconfiguration of services; usually different third-party services (or libraries) are used in project and each needs to be configured independently. If a service is not configured properly, it might not be reachable for other services that are trying to communicate with it.

Service Registration Issue

The service might not have been (correctly) registered at the service registry component. If it isn't registered at the service registry component, then other services do not which address and port they should use to initiate communication with this service.

The folowing information could help with understanding of the detected non-conformance:

The following line of code should produce a call between visits-service and discovery-server but no such call was seen during dynamic.

Type of evidence	File for evidence	Line number of evidence
Link	https://github.com/spring-petclinic/spring-petclinic-microservices/blob/master/spring-petclinic-visits-service/src/main/java/org/springframework/samples/petclinic/visits/VisitsServiceApplication.java#L20	20

Sequences extracted from the static model that should produce dynamic behavior for link between visits-service and discovery-server

github_repository → config_server → visits_service → discovery_server
visits_service → discovery_server → api_gateway → visits_service → discovery_server
discovery_server → api_gateway → visits_service → discovery_server
config_server → visits_service → tracing_server → discovery_server
config_server → visits_service → discovery_server
github_repository → config_server → api_gateway → visits_service → discovery_server
api_gateway →(implicit) user_service →(implicit) api_gateway → visits_service → discovery_server
api_gateway → visits_service → discovery_server
api_gateway → vets_service → discovery_server → api_gateway → visits_service → discovery_server
user_service →(implicit) api_gateway → visits_service → discovery_server
user_service →(implicit) api_gateway →(implicit) user_service →(implicit) api_gateway → visits_service → discovery_server
config_server → visits_service → discovery_server → api_gateway → customers_service → discovery_server
user_service →(implicit) api_gateway → visits_service → tracing_server → discovery_server
discovery_server → api_gateway →(implicit) user_service →(implicit) api_gateway → visits_service → discovery_server
vets_service → discovery_server → api_gateway → visits_service → discovery_server
visits_service → tracing_server → discovery_server
admin_server → discovery_server → api_gateway → visits_service → discovery_server
config_server → api_gateway →(implicit) user_service →(implicit) api_gateway → visits_service → discovery_server
github_repository → config_server → visits_service → tracing_server → discovery_server
config_server → admin_server → discovery_server → api_gateway → visits_service → discovery_server
config_server → api_gateway → visits_service → discovery_server
api_gateway → visits_service → tracing_server → discovery_server
visits_service → discovery_server → api_gateway → vets_service → discovery_server
customers_service → discovery_server → api_gateway → visits_service → discovery_server
config_server → visits_service → discovery_server → api_gateway → vets_service → discovery_server
visits_service → discovery_server → api_gateway → tracing_server → discovery_server
config_server → visits_service → discovery_server → api_gateway → visits_service → discovery_server
api_gateway → visits_service → discovery_server → api_gateway → vets_service → discovery_server
config_server → discovery_server → api_gateway → visits_service → discovery_server
github_repository → config_server → api_gateway → visits_service → tracing_server → discovery_server
visits_service → discovery_server → api_gateway → customers_service → discovery_server
config_server → vets_service → discovery_server → api_gateway → visits_service → discovery_server
api_gateway → visits_service → discovery_server → api_gateway → customers_service → discovery_server
tracing_server → discovery_server → api_gateway → visits_service → discovery_server

Sequences that occurred in the dynamic model that should produce dynamic behavior for link between visits-service and discovery-server

No sequences were found in the dynamic model that actually produced dynamic behavior for the link between visits-service and discovery-server

For the occurred sequences, these are the unique sequence of endpoints (parameters) that were used in the sequence

No sequences were found in the dynamic model and thus no unique sequences of endpoints could be extracted.

Non-conformance type: dynamic

Involved services