oneisolve Logo
SPECIFICATION RFC v1.0.4โ€ข Published: 2026 Editionโ€ข Classification: Declarative DSL & Computational Mobility

LifeUML: A Declarative Domain-Specific Language and Mathematical Formulation for Human Mobility and Career Architecture

Formal mathematical indices, EBNF grammar specifications, and client-side deterministic evaluation algorithms bridging human aspirations with global immigration gazettes.

Author: oneisolve Open Life Architecture Initiative
Core License: MIT (Parser & CLI) / CC-BY 4.0 (Spec)
Interactive Engine: oneisolve.com/lifeuml
1. Abstract & Paradigm Shift

The Declarative Abstraction Revolution for Human Architecture

In modern software engineering, declarative modeling paradigms transformed unwieldy, proprietary visual artifacts into lightweight, version-controlled code. System architects declare structures in plain text, enabling deterministic compilers to synthesize topological models, interaction graphs, and execution pipelines.

LifeUML (@startlife ... @endlife) introduces this exact computational rigor to human life architecture, cross-border mobility, and career engineering. Historically, personal relocation, career pivots, and global transitions have been paralyzed by qualitative ambiguity, subjective advice, and static personality typologies that completely omit financial solvencies and sovereign legal realities.

LifeUML bridges this chasm by coupling declarative systems modeling with empirically validated psychometrics (IPIP Big-Five, Holland RIASEC) and verified statutory immigration data across 40+ sovereign nations. Autonomous AI agents can synthesize ambiguous qualitative human aspirations into structured LifeUML Abstract Syntax Trees (AST), allowing in-browser mathematical engines to compute feasibility indices, solvency runway, and deterministic task Directed Acyclic Graphs (DAG).

2. The Mathematical Indices

Deterministic Formulations for Human Mobility

2.1 Life Mobility Index (LMI)

Comprehensive legal, financial, and cultural feasibility metric (Range: 0 to 100).

LMI(p, d) = 100 ยท [ wโ‚ ยท ฮฆ( (I_remote - I_statutory(d)) / ฯƒ_I ) + wโ‚‚ ยท R(p, d) + wโ‚ƒ ยท (1 - ฯ„_drag(p, d)) + wโ‚„ ยท ฮจ_adapt(p) ]
ฮฆ(z) โ€” Statutory Solvency Margin:

Evaluates the probability density margin by which the remote monthly inflow exceeds the sovereign statutory minimum floor, normalized by standard deviation ฯƒ_I = $1,500 USD via logistic sigmoid approximation.

R(p, d) โ€” Emergency Cash Runway Factor:

R = min(1.0, RunwayMonths / 24). Ratios liquid buffer to local net living expenses under complete remote income cessation (capped at 24 months = 1.0).

1 - ฯ„_drag โ€” Fiscal Net Retention:

Reflects tax drag reductions from bilateral double-taxation avoidance treaties (DTA) and territorial exemption regimes (e.g. Dubai 0%, Portugal IFICI 15%, Thailand remittance rules).

ฮจ_adapt(p) โ€” Cross-Cultural Adaptability:

Derived from empirical Big-Five psychometrics: ฮจ_adapt = 0.6 ยท Openness + 0.4 ยท (1 - Neuroticism). Quantifies emotional resilience and low culture-shock drag.

Standard Weights: wโ‚ = 0.35, wโ‚‚ = 0.25, wโ‚ƒ = 0.20, wโ‚„ = 0.20 (ฮฃ w_i = 1.0).

2.2 AI Transformation Quotient (AX-Q)

Measures location-independent leverage enabled by autonomous agent orchestration.

AX-Q = [ ฮฃ (ฮฒ_k ยท S_k ยท ฮบ_k) ] ร— 100 + GritBonus(C)

Quantifies whether a single knowledge worker can operate as an autonomous global enterprise without physical office dependencies. Evaluates proficiency S_k across LLM orchestration (weight 0.35), autonomous agent dispatch (weight 0.35), and fullstack delivery (weight 0.30), with GritBonus(C) = 10 ยท (Conscientiousness - 0.5) reflecting long-term execution follow-through.

2.3 Dream Convergence Index (DCI)

Multidimensional cosine vector alignment between personal aptitude and destination industry clusters.

DCI(p, Target) = [ (V_person ยท V_cluster) / ( ||V_person|| ยท ||V_cluster|| ) ] ร— 100

Designed for student career guidance and professional pivots. Computes the cosine angle between a candidate's Holland RIASEC aptitude vector (Realistic, Investigative, Artistic, Social, Enterprising, Conventional) and global economic cluster requirements (e.g., Boston Biotech, Berlin Micro-SaaS, Dubai Web3, Singapore Fintech).

2.4 Temporal Decay & Action-Locking Model

Mathematical formalization of emotional willpower dissipation.

C(t) = Cโ‚€ ยท exp(-ฮป ยท t), where ฮป โ‰ˆ (ln 2) / 14 โ‰ˆ 0.0495 dayโปยน

Empirical psychology proves uncommitted resolutions decay exponentially with a median half-life of 14 to 21 days. LifeUML acts as a deterministic circuit breaker: before motivation drops below 50% (C(t) < 0.5 Cโ‚€), the compiler automatically locks intentions into a Directed Acyclic Graph (DAG) with binding calendar dates.

3. Declarative Grammar Specification (EBNF)

Formal Syntax Specification for Parser Compilers

Extended Backus-Naur Form (EBNF) - LifeUML v1.0RFC Conforming
LifeUMLDocument    ::= "@startlife" (StringLiteral)? (TitleStatement)? Statement* "@endlife" ;

Statement          ::= SubjectBlock
                     | TargetBlock
                     | DestinationsBlock
                     | EvaluateBlock
                     | RenderBlock ;

SubjectBlock       ::= "subject" Identifier "{" SubjectProperty* "}" ;
SubjectProperty    ::= "age" "=" Integer
                     | "citizenship" "=" CountryCode
                     | "psychometrics" "{" PsychometricDef* "}"
                     | "capital" "{" CapitalDef* "}"
                     | "ax_skills" "{" SkillDef* "}" ;

CapitalDef         ::= "liquid_savings" "=" Number CurrencyCode
                     | "monthly_remote_income" "=" Number CurrencyCode
                     | "income_type" "=" ("ContractRemote" | "SalariedRemote" | "PassiveInvestment") ;

DestinationsBlock  ::= "destinations" "{" CountryDeclaration* "}" ;
CountryDeclaration ::= "country" CountryCode "{" CountryProperty* "}" ;

EvaluateBlock      ::= "evaluate" "{" CalculateStatement* "}" ;
CalculateStatement ::= "calculate" ("LMI" | "AX_Q" | "DCI") "(" Identifier ("," Identifier)? ")" ;

RenderBlock        ::= "render" ("radar" | "runway" | "roadmap" | "dag") "{" RenderOption* "}" ;
Canonical AST Schema: /schemas/lifeuml-ast-v1.jsonView Raw JSON Schema
4. Canonical LifeUML Blueprint Script (.luml)

Executable Reference Implementation

blueprint.lumlOpen in Live Sandbox
@startlife "Digital Nomad & AI Founder Blueprint 2026"
  title Strategic Life Architecture: Seoul to Southern Europe / SE Asia

  subject Alex {
    age = 29
    citizenship = KR
    psychometrics {
      mbti = INTJ
      big5 = [O: 0.88, C: 0.82, E: 0.45, A: 0.60, N: 0.25]
      riasec = [I: 0.90, E: 0.75, R: 0.50]
      risk_tolerance = 0.70
    }
    capital {
      liquid_savings = 45000 USD
      monthly_remote_income = 3800 USD
      income_type = ContractRemote
    }
    ax_skills {
      llm_orchestration = 0.85
      autonomous_agents = 0.75
      fullstack_web = 0.80
    }
  }

  target FounderVoyage {
    type = AI_Solopreneurship
    timeframe = 24 months
    min_runway_months = 18
  }

  destinations {
    country PT { visa = "D8"; statutory_threshold = 3550 USD; col_monthly = 1900 USD }
    country TH { visa = "DTV"; statutory_threshold = 1400 USD; col_monthly = 1200 USD }
    country AE { visa = "Dubai Green"; statutory_threshold = 4100 USD; col_monthly = 2800 USD }
  }

  evaluate {
    calculate LMI(Alex, PT)
    calculate LMI(Alex, TH)
    calculate LMI(Alex, AE)
    calculate AX_Q(Alex)
    calculate DCI(Alex, FounderVoyage)
  }

  render radar {
    axes = [Mobility, GeoArbitrage, TaxOptimization, AXSynergy, LegalSafety]
  }
@endlife
5. Legal, Regulatory & Ethical Safeguards

Ethical Governance & Regulatory Alignment

Trademark & Non-Affiliation

LifeUML is an independent open-source domain-specific language inspired by the declarative text-to-diagram philosophy of PlantUML and the Unified Modeling Language. PlantUML is a registered trademark/open-source project of its respective authors, and UML is a trademark of the Object Management Group (OMG). LifeUML maintains no official affiliation or endorsement.

Open Science Psychometrics

LifeUML adopts the International Personality Item Pool (IPIP) 5-Factor Model and Holland RIASEC taxonomy, both of which exist in the public academic domain for commercial and research utility. Myers-Briggs Type Indicator (MBTI) is an exclusive trademark of The Myers-Briggs Company; LifeUML uses voluntary 4-letter archetype indicators strictly as user-supplied reference annotations.

Non-Advisory Statutory Intelligence

All qualification metrics are automated mathematical comparisons against verified 2026 sovereign immigration gazettes (e.g. Spain Ley 28/2022, Portugal Artigo 61-B, UAE Cabinet Resolution No. 65/2022). LifeUML does not provide legal representation, tax advice, or consular advocacy. Formal visa lodgement requires consultation with licensed immigration counsel.

Zero Server Storage & EU AI Act Stance

Under the EU Artificial Intelligence Act (EU AI Act 2024/1689), LifeUML is strictly architected as a candidate-empowering self-assessment and cross-cultural onboarding enablement tool, not a high-risk employment elimination algorithm. All personal financial and psychometric computations execute 100% inside client browser memory with zero server-side data persistence.

6. Academic Citation & BibTeX

Reference in Scholarly & Technical Literature

BibTeX Citation Entry
@article{oneisolve2026lifeuml,
  title={LifeUML: A Declarative Domain-Specific Language and Mathematical Formulation for Human Mobility and Career Architecture},
  author={oneisolve Open Life Architecture Research Initiative},
  year={2026},
  publisher={oneisolve.com},
  note={RFC Working Draft v1.0.4},
  url={https://oneisolve.com/lifeuml/doc}
}

Ready to compile your first LifeUML script?

Launch the zero-install interactive playground and test your mobility runway in real time.

Launch LifeUML Playground