Gant Protocol

Формальная спецификация для машиночитаемого представления иерархических проектных структур

Современные системы управления проектами (PMS) страдают от фундаментальной проблемы vendor lock-in на уровне представления данных. Gant Protocol предлагает решение через унифицированное формальное представление проектных артефактов с сохранением полной семантической информации.

Теоретические основы

Gant Protocol базируется на направленном ациклическом графе (DAG) с типизированными рёбрами, где узлы представляют проектные сущности (phases, tasks, subtasks), а рёбра кодируют отношения зависимости, иерархии и семантические связи.

G = (V, E, T, S)
где:
V = {v₁, v₂, ..., vₙ} — множество вершин (проектные сущности)
E ⊆ V × V × R — множество типизированных рёбер
R = {hierarchy, dependency, semantic} — типы отношений
T: V → {planned, in-progress, done, blocked} — функция состояния
S: V → [0, 1] — функция прогресса

Онтология briefing

Каждая вершина графа аннотируется триадой (What, How, Why), формируя самодокументируемую онтологию:

Технологический стек

Обоснование выбора технологий

Архитектурные принципы

Формальная спецификация (YAML Schema)

plan_id: string
timeline:
  start_date: date-time
  due_date: date-time
phases:
  - status: planned | in-progress | done | blocked
    progress: 0.0 - 1.0
    briefing: "Что/Как/Зачем"
    depends_on: [task_ids]

Конечный автомат состояний

Допустимые переходы между состояниями задач строго определены:

• planned → in-progress (событие: start_execution)
• in-progress → done (событие: complete_task)
• in-progress → blocked (событие: dependency_failed)
• blocked → in-progress (событие: unblock_dependency)
• * → planned (событие: reset_to_initial)

Семантические расширения

Temporal Logic для валидации зависимостей

Используя Linear Temporal Logic (LTL), можно формализовать корректность последовательности выполнения:

□(task_A.status = done → ◊task_B.status ≠ blocked)

(Всегда: если задача A завершена, то в будущем задача B не будет заблокирована)

Constraint Satisfaction Problem (CSP)

Расписание проекта представимо как CSP, где:

• • Переменные = {start_time(task) | task ∈ V}
• • Домены = временные интервалы [t_min, t_max]
• • Ограничения = depends_on + deadline + resource_capacity

Решение CSP даёт оптимальное расписание при заданных ограничениях.

Интероперабельность и экосистема

Адаптеры для существующих форматов:

• • MS Project XML → Gant Protocol (структурная конвертация)
• • Jira REST API → Gant Protocol (семантический маппинг)
• • Trello JSON → Gant Protocol (трансформация Kanban → Gantt)

Референсная имплементация (Presynth)

Клиент-серверная архитектура с FastAPI backend и React frontend:

• • Parser Layer: YAML → Abstract Syntax Tree (AST)
• • Validation Layer: JSON Schema + custom semantic rules
• • Rendering Layer: AST → React Flow DAG visualization
• • Persistence Layer: Git-backed version control

Теоретические гарантии

API контракт

@dataclass
class GantPlan:
    plan_id: str
    phases: List[Phase]
    timeline: Timeline

    def validate(self) -> ValidationResult:
        """Проверка инвариантов графа и временных ограничений"""

    def compute_critical_path(self) -> List[Task]:
        """Алгоритм поиска критического пути (O(V + E))"""

    def serialize(self, format: Format) -> bytes:
        """Сериализация в YAML | JSON | MessagePack"""

Области применения

• • Формальная верификация проектных планов через model checking
• • Автоматическое планирование на основе AI (constraint optimization)
• • Distributed project management с eventual consistency
• • Академические исследования в области project management theory

Техническая документация

API Документация: Интерактивная спецификация доступна на /docs
Автогенерируется FastAPI с полным описанием endpoints

Валидация данных: Pydantic models обеспечивают type safety
Автоматическая проверка на стороне сервера

Для вопросов по интеграции: contact@gorizont.ai