Lekcja 01 · cel, rozmieszczenie i przepływ

Temperatura pokoju.
Widoczna w aplikacji.

Pomiar powstaje przy urządzeniu, serwer przekazuje wiadomość, a aplikacja pokazuje człowiekowi wynik.

Krok 1 z 4 · Cel

Co chcemy zobaczyć?

Osoba otwierająca aplikację ma zobaczyć temperaturę pokoju. Wartość ma pochodzić ze źródła i przejść przez serwer — każda część ma swoją rolę.

URZĄDZENIE · @embedded

Źródło pomiaru

TemperatureSource

Tworzy wiadomość z temperaturą.

→

SERWER · @server

Przekazanie

MeasurementRelay

Przyjmuje i przekazuje ten sam pomiar.

→

APLIKACJA · @report

Prezentacja

TemperatureReport

Pokazuje informację człowiekowi.

Wiadomość Measurement

urządzenie · numer pomiaru · temperatura · czas

Model poglądowy w przeglądarce · nie jest uruchomieniem systemu Junexis

Najpierw poznaj cel systemu.

Twój pierwszy sukces

Prześledź drogę pomiaru i zobacz tę samą temperaturę w trzech miejscach. Bez alarmów, progów i ukrytych reguł.

Język opisuje system

task — odpowiedzialność.
Adnotacja — miejsce wykonania.
Measurement — kontrakt danych.
pipeline — kierunek połączeń.

Pokaż rzeczywisty kod projektu

// Mój pierwszy system: jedno źródło, jeden serwer, jeden raport.
struct Measurement {
    device_id: Text
    sequence: Int
    celsius: Float
    observed_at: Time
}

task TemperatureSource() @embedded(esp32c3) -> chan<Measurement> {
    state sequence: Int = 0
    every 2s {
        sequence = sequence + 1
        send Measurement {
            device_id: "room-1",
            sequence: sequence,
            celsius: 21.0,
            observed_at: now()
        }
    }
}

task MeasurementRelay(readings: chan<Measurement>) @server -> chan<Measurement> {
    state last_sequence: Int = 0
    state last_celsius: Float = 0.0
    for reading in readings {
        last_sequence = reading.sequence
        last_celsius = reading.celsius
        send reading
    }
}

task TemperatureReport(readings: chan<Measurement>) @report {}

pipeline FirstSystem {
    use TemperatureSource -> MeasurementRelay
    use MeasurementRelay -> TemperatureReport
}

deployment FirstSystemLocations {
    target embedded { TemperatureSource @embedded(esp32c3) {} }
    target server { MeasurementRelay @server {} }
    target report { TemperatureReport @report {} }
}

Źródło przykładu „Mój pierwszy system”. To zapis projektu, nie kod wykonywany przez ten podgląd.

Co działa w tym podglądzie?

Przyciski aktualizują lokalny model w JavaScript. Nie uruchamiają kompilatora, C++, Go ani TypeScript wygenerowanego przez Junexis.

W repozytorium istnieje osobny przykład: urządzenie zastępuje adapter Python, serwer jest wygenerowanym programem Go, a raport pochodzi z generatora. Ta strona nie jest z nim połączona.

Brak logowania, trwałego zapisu postępu i synchronizacji. Odświeżenie rozpoczyna podgląd od nowa.

Dokładne reguły

Zadania ↗ · Platformy ↗ · Połączenia ↗

Temperatura pokoju.Widoczna w aplikacji.

Co chcemy zobaczyć?

Źródło pomiaru

Przekazanie

Prezentacja

Temperatura pokoju.
Widoczna w aplikacji.