API-Calculus

API Calculus to program, który rozwiązuje problemy z rachunkiem różniczkowym przy użyciu systemów operacyjnych w urządzeniu, które rozwiązuje problemy z rachunkiem różniczkowym. W 1989 r. Robin Milner stworzył program PI-Calculus, który przez lata cieszył się dużym powodzeniem. Rachunek PI jest rozszerzeniem algebry procesów CCS , narzędzia, które ma języki algebraiczne, które są specyficzne dla przetwarzania i formułowania instrukcji. Rachunek PI zapewnia formalną teorię modelowania systemów i wnioskowania o ich zachowaniach. W rachunku PI istnieją dwie określone zmienne, takie jak nazwa i procesy. Jednak dopiero w 2002 roku Shahram Rahimi zdecydował się stworzyć ulepszoną wersję PI-Calculus i nazwać ją API Rachunek. Milner twierdził, że szczegółowymi cechami rachunku API są jego „zdolność komunikacji, zdolność do współpracy, zdolność rozumowania i uczenia się, zachowanie adaptacyjne i wiarygodność”. Głównym celem stworzenia tego mobilnego postępu jest lepsza sieć i komunikacja z innymi operatorami podczas wykonywania zadania. Niestety API Calculus nie jest doskonały i napotkał problem z systemem bezpieczeństwa. Język ma siedem funkcji utworzonych w urządzeniu, których nie ma rachunek PI . Ponieważ ten program jest tak zaawansowany ze względu na sposób tworzenia oprogramowania i różne możliwości oferowane w programie, wymagana jest konwersja na inne języki programowania, aby można go było używać na różnych urządzeniach i innych językach komputerowych. Chociaż API Calculus jest obecnie używany przez różne inne języki programowania, modyfikacje są nadal dokonywane, ponieważ bezpieczeństwo API Calculus powoduje problemy dla użytkowników.

Co to robi?

API Calculus to główna demonstracja modelowania migracji, inteligencji, naturalnego grupowania i bezpieczeństwa w systemach opartych na agentach. Ten język programowania rachunku różniczkowego jest zwykle używany w różnych innych językach programowania, takich jak Java . W Javie, słynnym języku programowania używanym przez różne korporacje, takie jak IBM , TCS i Google, API Rachunek jest powszechnie używany do rozwiązywania równań i programów obejmujących rachunek różniczkowy.

Cechy

Rachunek API ma wiele funkcji podobnych do Rachunku PI , ale ma nowe i ulepszone funkcje, takie jak:

• akceptuje procesy, które mają być przekazywane przez łącza komunikacyjne
• zajęto się naturalnym grupowaniem procesów mobilnych
• zawiera słownik rachunku różniczkowego
• obejmuje środowisko — poziom abstrakcji między pojedynczym agentem mobilnym (kombinacją oprogramowania komputerowego i danych, które mogą niezależnie przenosić się z jednego komputera na drugi i nadal mogą pracować na ostatnim komputerze, na który dane zostały przesłane) a urządzenie jako całość. Jest to bardzo ograniczone środowisko, które obejmuje zero lub wielu agentów lub inne środowiska, które ściśle ze sobą współpracują w celu rozwiązywania problemów komputerowych.
• zdolność grupowania hostów ( węzeł fizyczny - punkt połączenia - lub program) i procesów (działający program komputerowy), które są podobne
• zawiera różne języki programowania
• jednostki wiedzy

Strategia weryfikacji

Język oprogramowania używany w programie API Calculus jest tłumaczony na dwa inne języki. Najpierw jest tłumaczony ze składni API Calculus na ATEL/ATL , a następnie na MOCHA . Wynik modułu tłumaczenia jest podobny do wspomnianego wcześniej kroku.

1. Moduł wejściowy (odbiera model API Calculus)
2. Model tłumaczenia (konwertuje składnię API na składnię ATEL/ATL)
3. Weryfikacja modelu (MOCHA)
4. Tryb wyświetlania

Przeniesienie składni API do ATEL/ATL wymaga wiedzy o transformacji kodowania, aby pomyślnie przenieść.

Składnia

Program API ma własną składnię, której przestrzega, aby program działał płynnie. Program jest podzielony na cztery główne kategorie, takie jak terminy, procesy, jednostki wiedzy i środowisko. Terminami mogą być nazwy, terminy, fakty, reguły lub funkcje, które są przypisane do nazw zmiennych programu. Proces to lista wyrażeń używanych w programie do rozwiązywania problemu lub równania rachunku różniczkowego. Jednostki wiedzy lub powszechnie znane jako parametry to fakty i reguły, które można wykorzystać do rozwiązania programu. Wreszcie, środowisko to zdolność do niezależnego przesyłania danych komputerowych i informacji z jednego komputera do drugiego.

Wady

Jedyną wadą API Calculus jest brak obsługi systemu bezpieczeństwa na urządzeniach mobilnych, takich jak laptopy . Problem polega na tym, że żadne zewnętrzne źródło, które próbuje wejść do środowiska, nie może wejść, ponieważ API Rachunek wymaga dowodu, że może to być zaufane źródło.