docker-compose.yaml

version: "3"

# Options:

# -n : number of nodes
# -p : port used by all containers to communicate
# -c : [NODE] the coordinator hostname
# -s : [COORD] statistical model checking parameters: probability of success as a percentage, confidence interval

services:

  coordinator:
    build:
      context: .
      dockerfile: Dockerfile_coordinator
    image: protocoord
    command: java Coordinator -n ${NODE_COUNT} -p ${PORT} -s ${PERC_SUCCESS} ${CONFIDENCE}
    networks: 
      - pk_net
    expose:
      - ${PORT}
    hostname: ${COORDINATOR_NAME}

  node:
    build:
      context: .
      dockerfile: Dockerfile_node
    image: protonode
    command: java Node -n ${NODE_COUNT} -p ${PORT} -c "${COMPOSE_PROJECT_NAME}_${COORDINATOR_NAME}_1.${COMPOSE_PROJECT_NAME}_pk_net"
    networks: 
      - pk_net
    expose:
      - ${PORT}
    scale: ${NODE_COUNT}
    depends_on:
      - coordinator

networks:
  pk_net: