Source-derived document; reported behaviour, inference and evidence gaps are identified in the text.

Return to: Deployment evidence

Deployment evidence

What is deployed where, and is that known from repository declarations or a verified runtime observation?

This view identifies deployment assignments explicitly supported by repository declarations. The Java application is declared to run in a Java environment, and the demo database is declared to be installed inside an Informix Docker container E0014. The supplied material contains no verified runtime observation, so the view does not claim that these deployments were actually executed or inspected E0012. Connection strings, framework details, and classpaths are treated as runtime or resource evidence rather than proof of additional host assignments E0012E0013.

Diagram

flowchart LR
  n23264b58b19db480371c["D4_Main Java application"]
  n5b5c0636dbaf44e03a2e["Demo runtime libraries"]
  n010859ae514affbe02fc["Stores7 demo database"]
  n272bba14327bd38bed9f["Java runtime"]
  n406f4599f3c7e7505747["Informix Docker container"]
  n23264b58b19db480371c -->|"Application runs in Java"| n272bba14327bd38bed9f
  n5b5c0636dbaf44e03a2e -->|"Runtime libraries are on Java classpath"| n272bba14327bd38bed9f
  n010859ae514affbe02fc -->|"Demo database is installed in container"| n406f4599f3c7e7505747

Elements

D4_Main Java application

Kind: component
Basis: reported
Description: The demo is launched with the com.ais.demo.D4_Main Java class, and the main entry point initializes the application and database-related global data before entering the main menu E0014E0011.
Evidence: E0014, E0011

Demo runtime libraries

Kind: component
Basis: reported
Description: The declared Java classpath includes the demo classes and the SwingX, Informix JDBC, JFCLIX, and iText libraries E0014.
Evidence: E0014

Stores7 demo database

Kind: component
Basis: reported
Description: The demo database is installed using dbaccessdemo7 stores7 inside the Informix container E0014. Other supplied evidence describes the application as targeting an Informix database or stores7 schema, while a properties summary reports a stores_demo database name, so the exact database naming relationship remains unresolved E0011E0013.
Evidence: E0014, E0011, E0013

Java runtime

Kind: target
Basis: reported
Description: Repository run scripts invoke Java to execute com.ais.demo.D4_Main E0014.
Evidence: E0014

Informix Docker container

Kind: target
Basis: reported
Description: The repository documentation specifies an Informix Docker container for the demo database and identifies the ibmcom/informix-developer-database:latest image E0014.
Evidence: E0014

Relationships

Application runs in Java

From: D4_Main Java application
To: Java runtime
Relation: deployed_to
Basis: reported
Description: The repository run scripts execute the application with Java and the com.ais.demo.D4_Main class E0014.
Evidence: E0014
Evidence type: repository declaration

Runtime libraries are on Java classpath

From: Demo runtime libraries
To: Java runtime
Relation: deployed_to
Basis: reported
Description: The repository run scripts place the listed JAR files on the Java execution classpath E0014.
Evidence: E0014
Evidence type: repository declaration

Demo database is installed in container

From: Stores7 demo database
To: Informix Docker container
Relation: deployed_to
Basis: reported
Description: The repository documentation directs installation of the demo database inside the Informix Docker container using dbaccessdemo7 stores7 E0014.
Evidence: E0014
Evidence type: repository declaration

Gaps

No supplied evidence provides a runtime observation confirming that the Java application, libraries, or database were successfully started or deployed E0012E0014. The Java target is only identified at the runtime level; no source declaration assigns the application to a specific machine, workspace, or container E0014. The database naming is inconsistent: one source describes a stores7 schema, another reports a stores_demo connection database, and the repository instructions install stores7 E0011E0013E0014. The supplied material does not establish that the Java runtime and Informix container are on the same host, nor does it prove that the application’s configured connection reaches the database installed in the container E0012E0013.

Sources

• E0011 — SHA256 be5e6746cc70e5b5af8caf785fb6efb113f28a7ab2080be3603561a173bbcb0c
• E0012 — SHA256 b17ef2d84bcd51af76724530e686489917c4271029456ef08648f9aa518bfa2b
• E0013 — SHA256 112de6889543e63b72f8ca740358ab46bcef10193b22310ea1cdeb85dbf5ba0e
• E0014 — SHA256 e5d61550897f3f357225936593a023fb98f078b01e2cd2c44f20a866fb0a3fef