using Exnovation

@exnovate LegacySystem begin
    legacy_process :: Process(legacy=true, cost=1000, risk=0.8)
    new_process :: Process(legacy=false, cost=500, risk=0.2)

    transition = legacy_process --> new_process
    @ensure transition.cost < 1500
    @ensure transition.risk < 0.5
end

strategy = LegacySystem()
result = simulate(strategy, horizon=5)

@exnovate EnergyTransition begin
    coal :: EnergySource(legacy=true, emissions=1000)
    solar :: EnergySource(legacy=false, emissions=0)

    transition = coal --> solar
    @ensure transition.emissions_reduction > 90%
end

dependencies = map_dependencies(legacy_system, new_system)
plot(dependencies)

@exnovate ComplianceCheck begin
    old_policy :: Policy(legacy=true, compliance_risk=0.9)
    new_policy :: Policy(legacy=false, compliance_risk=0.1)

    transition = old_policy --> new_policy
    @prove transition.compliance_risk < 0.2
end

using DataFrames, Plots

results = simulate(exnovation_strategy, iterations=1000)
df = DataFrame(results)
plot(df, x=:time, y=:cost, group=:scenario)

using Pkg
Pkg.add("Exnovation")

using Exnovation

@exnovate SimpleTransition begin
    old :: System(legacy=true, cost=100)
    new :: System(legacy=false, cost=50)

    transition = old --> new
    @ensure transition.cost < 120
end

strategy = SimpleTransition()
result = simulate(strategy)