Develop

README.md

@@ -125,11 +125,11 @@ Example payloads that follow these schemas live in `examples/`.
     Production notes:
     *   **Nginx** listens on ports **80/443**.
     *   `frontend-prod` generates static assets; only Nginx serves them publicly.
-    *   Configure DNS for `openbinding.score.us.es` and `openbinding.us.es`.
     *   Place TLS files in `nginx/ssl/` (or override `NGINX_SSL_DIR`) with names:
         - `fullchain.pem`
         - `privkey.pem`
     *   Gateway is exposed only internally behind Nginx.
+    *   Take into account that the production environment is currently configured for `openbinding.score.us.es` and `openbinding.us.es` domains (the domains where we are hosting the service in production). You may need to manually adjust nginx and docker compose configurations for your own domain or local testing.
 
 4.  **Stop the Stack**:
     ```bash

examples/literature/README.md

@@ -12,7 +12,7 @@ The instances are adapted from the following key papers and datasets:
     *   **Note**: This work reviews the service-composition literature and highlights these scenarios as representative examples used across prior research.
 
 *   **Benatallah et al. (2002)**: *Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services*.
-    *   **DOI**: [10.1109/ICDE.2002.994701](https://doi.org/10.1109/ICDE.2002.994701)
+    *   **DOI**: [10.1109/ICDE.2002.994738](https://doi.org/10.1109/ICDE.2002.994738)
     *   **Source**: Derived from the "Travel Solution" motivating example (CTS and ITAS statecharts).
 
 *   **Bultan et al. (2003)**: *Conversation Specification: A New Approach to Design and Analysis of Web Service Composition*.

examples/literature/benatallah.json

@@ -9,7 +9,7 @@
       "title": "Declarative Compositionand Peer-to-PeerProvisioning of Dynamic WebServices",
       "authors": "B. Benatallah et al.",
       "year": 2002,
-      "doi": "10.5555/876875.878987"
+      "doi": "10.1109/ICDE.2002.994738"
     }
   },
   "features": [
@@ -45,6 +45,30 @@
         "min": 0,
         "max": 1
       }
+    },
+    {
+      "id": "reliability",
+      "name": "Reliability",
+      "direction": "MAXIMIZE",
+      "unit": "percent",
+      "scale": "RATIO",
+      "valid_range": {
+        "min": 0,
+        "max": 100
+      },
+      "description": "Successful execution percentage."
+    },
+    {
+      "id": "security",
+      "name": "Security",
+      "direction": "MAXIMIZE",
+      "unit": "score",
+      "scale": "ORDINAL",
+      "valid_range": {
+        "min": 1,
+        "max": 5
+      },
+      "description": "Security score on a 1-5 ordinal scale."
     }
   ],
   "providers": [
@@ -132,7 +156,9 @@
       "features": {
         "latency_ms": 180,
         "cost_usd": 0,
-        "availability": 0.995
+        "availability": 0.995,
+        "reliability": 99.3,
+        "security": 3
       }
     },
     {
@@ -143,7 +169,9 @@
       "features": {
         "latency_ms": 120,
         "cost_usd": 5,
-        "availability": 0.99
+        "availability": 0.99,
+        "reliability": 98.8,
+        "security": 4
       }
     },
     {
@@ -154,7 +182,9 @@
       "features": {
         "latency_ms": 650,
         "cost_usd": 420,
-        "availability": 0.985
+        "availability": 0.985,
+        "reliability": 98.3,
+        "security": 3
       }
     },
     {
@@ -165,7 +195,9 @@
       "features": {
         "latency_ms": 520,
         "cost_usd": 460,
-        "availability": 0.99
+        "availability": 0.99,
+        "reliability": 98.8,
+        "security": 4
       }
     },
     {
@@ -176,7 +208,9 @@
       "features": {
         "latency_ms": 780,
         "cost_usd": 820,
-        "availability": 0.98
+        "availability": 0.98,
+        "reliability": 97.8,
+        "security": 4
       }
     },
     {
@@ -187,7 +221,9 @@
       "features": {
         "latency_ms": 610,
         "cost_usd": 900,
-        "availability": 0.988
+        "availability": 0.988,
+        "reliability": 98.6,
+        "security": 5
       }
     },
     {
@@ -198,7 +234,9 @@
       "features": {
         "latency_ms": 240,
         "cost_usd": 55,
-        "availability": 0.997
+        "availability": 0.997,
+        "reliability": 99.5,
+        "security": 3
       }
     },
     {
@@ -209,7 +247,9 @@
       "features": {
         "latency_ms": 190,
         "cost_usd": 70,
-        "availability": 0.999
+        "availability": 0.999,
+        "reliability": 99.7,
+        "security": 4
       }
     },
     {
@@ -220,7 +260,9 @@
       "features": {
         "latency_ms": 430,
         "cost_usd": 950,
-        "availability": 0.992
+        "availability": 0.992,
+        "reliability": 99,
+        "security": 5
       }
     },
     {
@@ -231,7 +273,9 @@
       "features": {
         "latency_ms": 350,
         "cost_usd": 1100,
-        "availability": 0.995
+        "availability": 0.995,
+        "reliability": 99.3,
+        "security": 3
       }
     },
     {
@@ -242,7 +286,9 @@
       "features": {
         "latency_ms": 310,
         "cost_usd": 260,
-        "availability": 0.99
+        "availability": 0.99,
+        "reliability": 98.8,
+        "security": 5
       }
     },
     {
@@ -253,7 +299,9 @@
       "features": {
         "latency_ms": 260,
         "cost_usd": 320,
-        "availability": 0.996
+        "availability": 0.996,
+        "reliability": 99.4,
+        "security": 3
       }
     }
   ],
@@ -355,6 +403,9 @@
         },
         "loop": {
           "fn": "SCALED_SUM"
+        },
+        "xor": {
+          "fn": "SCALED_SUM"
         }
       }
     },
@@ -369,6 +420,9 @@
         },
         "loop": {
           "fn": "SCALED_SUM"
+        },
+        "xor": {
+          "fn": "SCALED_SUM"
         }
       }
     },
@@ -383,17 +437,62 @@
         },
         "loop": {
           "fn": "SCALED_PRODUCT"
+        },
+        "xor": {
+          "fn": "SCALED_SUM"
+        }
+      }
+    },
+    "reliability": {
+      "neutral": 1,
+      "compose": {
+        "seq": {
+          "fn": "PRODUCT"
+        },
+        "and": {
+          "fn": "PRODUCT"
+        },
+        "loop": {
+          "fn": "SCALED_PRODUCT"
+        },
+        "xor": {
+          "fn": "SCALED_SUM"
+        }
+      }
+    },
+    "security": {
+      "neutral": 5,
+      "compose": {
+        "seq": {
+          "fn": "MIN"
+        },
+        "and": {
+          "fn": "MIN"
+        },
+        "loop": {
+          "fn": "MIN"
+        },
+        "xor": {
+          "fn": "SCALED_SUM"
         }
       }
     }
   },
   "objective": {
     "type": "MONO",
-    "targets": ["latency_ms", "cost_usd", "availability"],
+    "targets": [
+      "cost_usd",
+      "latency_ms",
+      "availability",
+      "reliability",
+      "security"
+    ],
     "weights": {
-      "latency_ms": 0.3,
-      "cost_usd": 0.4,
-      "availability": 0.3
+      "cost_usd": 0.28,
+      "latency_ms": 0.21,
+      "availability": 0.21,
+      "reliability": 0.15,
+      "security": 0.15
     }
   }
 }