Кіріспе

API Calculus - құрылғыдағы операциялық жүйелерді пайдалана отырып, есептеу мәселелерін шешетін бағдарлама. 1989 жылы PI Calculus-ті Робин Милнер құрды және жылдар бойы өте сәтті болды. PI Calculus - процесс алгебрасы CCS кеңейтімі, алгебралық тілдермен ерекшеленетін, сөйлемдерді өңдеуге және тұжырымдауға арналған құрал. Ол жүйелерді модельдеу және олардың мінез-құлқы туралы ойлау үшін ресми теорияны ұсынады. PI Calculus-та екі нақты айнымалы бар: атау және процестер. 2002 жылы Шахрам Рахими PI Calculus-тің жаңартылған нұсқасын жасауға шешім қабылдады және оны API Calculus деп атады. Милнер API Calculus-тің егжей-тегжейлі сипаттамаларын "байланыс қабілеті, ынтымақтастық қабілеті, ойлау және үйрену қабілеті, бейімделу мінез-құлқы және сенімділік" деп мәлімдеді. Бұл мобильді құрылғылардың негізгі мақсаты - тапсырманы орындау кезінде басқа операторлармен жақсы байланыс орнату және байланыс орнату. Өкінішке қарай, API Calculus кемелді емес және оның қауіпсіздік жүйесінде проблема туындады. Тілде PI Calculus-те жоқ құрылғыда жасалған жеті мүмкіндік бар. Бұл бағдарлама бағдарламалық жасақтаманың құрылуы мен бағдарламада ұсынылған әртүрлі мүмкіндіктерге байланысты өте озық болғандықтан, оны басқа бағдарламалау тілдеріне түрлендіруді қажет етеді, сондықтан оны әртүрлі құрылғыларда және басқа есептеу тілдерінде қолдануға болады. Қазіргі уақытта API Calculus басқа да бағдарламалау тілдерінде қолданылып жүрсе де, API Calculus-тің қауіпсіздігі пайдаланушыларға проблемалар туғызатындықтан, өзгерістер әлі де жасалуда.

Синтаксисі

API бағдарламасының өз синтаксисі бар, ол бағдарламаны тегіс орындау үшін орындалады. Бағдарлама терминдер, процестер, білім бірліктері және орта сияқты төрт негізгі санатқа бөлінеді. Терминдер бағдарламаның айнымалы атауларына берілген атаулар, терминдер, фактілер, ережелер немесе функциялар болуы мүмкін. Процесс - бұл программада калькуль проблемасын немесе теңдеуді шешу үшін қолданылатын өрнектердің тізімі. Білім бірліктері немесе жалпыға белгілі параметрлер - бұл бағдарламаны шешу үшін қолданылатын фактілер мен ережелер. Соңында, орта - бұл компьютерлік деректер мен ақпаратты бір компьютерден екіншісіне дербес беру мүмкіндігі. < Бұл сілтемелер автоматты түрде осы жерде пайда болады.