Ada бағдарламалық ортасы үшін интерфейс спецификациясы (ASIS)
Ada Semantic Interface Specification
Ada тіліндегі бағдарламаларды талдау үшін ASIS интерфейсі – қабатталған, ашық архитектура. CASE құралдарына қолжетімділік, ортаны жеңілдетуге көмектеседі.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Интерфейс
Interface
Ada семантикалық интерфейс спецификациясы (ASIS) – Ada кітапхана ортасына тәуелсіз қолжетімділікті қамтамасыз ететін қабатты, ашық архитектура. Ол Ada бағдарламалары мен кітапханаларын статикалық талдауға мүмкіндік береді. Бұл Ada ортасы мен оның құралдары мен қосымшаларынан тұратын ашық, жарияланған интерфейс кітапханасы. ASIS жұмыс тобы түсіндіргендей:
The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor independent access to the Ada Library Environment. It allows for the static analysis of Ada programs and libraries. It is an open, published interface library that consists of the Ada environment and their tools and applications. As explained by the ASIS Working Group:
«ASIS – ISO/IEC 8652:1995 (Ada анықтамалық нұсқаулығы) бойынша анықталған Ada ортасы мен осы ортадан ақпарат қажет ететін кез келген құрал арасындағы интерфейс» (SIGAda, 2020).
“ASIS is an interface between an Ada environment as defined by ISO/IEC 8652:1995 (the Ada Reference Manual) and any tool requiring information from this environment” (SIGAda, 2020)
Ол тек бағдарламалау тілінің қосымшалары мен Ada бағдарламаларының статикалық талдауы үшін ғана қолданылады, сондықтан компьютерлік көмекпен жасалған бағдарламалық жасақтама (CASE) және тиісті әзірлеушілерге қажетті ақпаратты және қолжетімділікті ұсынады. ASIS сонымен қатар, Ada ортасының күрделілігін оңай түсінуді қамтамасыз ете отырып, тиісті бағдарламалық инженерия құралдарын пайдалану мүмкіндігіне ие. Бұған қоса, ол анықтамалық нұсқаулықтар мен Абстрактілік Синтаксис Ағашындағы (AST) эксклюзивті ақпаратқа қол жеткізу үшін маңызды рәсімдер, функциялар мен тиісті ақпаратты ұсынады. Бұл өз кезегінде ASIS-ті Ada құралдарының ақпарат пен терминологиясын тасымалдауға және сақтауға қабілетті, портативтілікке жеткізеді. «ASIS 21 пакеттен тұрады, оның 2-сі міндетті емес, ал осы пакеттерде 349 сұраныс анықталған». ASIS сонымен қатар, ішінде «Қателер, құрастыру бірліктері, Ada орталары, іске асыру, ерекшеліктер, элементтер, итераторлар, декларациялар, өрнектер, шарттар, анықтамалар, мәлімдемелер, мәтін және ID-лер» кіретін қосалқы пакеттерді қамтитын пакеттен де тұрады. Жалпы, ASIS – ADA бағдарламасынан деректерді жинаудың қарапайым тәсілі және кез келген Ada құралының тасымалдануын арттырады.
It is exclusively used for programming language applications and static analysis on Ada programs, therefore giving the relevant information and access to Computer aided software engineering (CASE) and applicable developers. ASIS also has the ability in utilizing the relevant software engineering tools whilst also embodying an easy understanding of the complexities of an Ada environment display. In addition, it provides procedures, functions and relevant information that can be significantly used to access exclusive information found in reference manuals and the Abstract Syntax Tree (AST). Which in return will advance ASIS to the capability of being portable to transport and retain information and terminology of Ada tools. “ASIS consists of 21 packages, 2 are optional and within these packages define 349 queries”. ASIS will also consist of a package which within it includes child packages that include “Errors Compilation units, Ada environments, implementation, exceptions, elements, iterator, declarations, expressions, clauses, definitions, statements, text and Ids”. Overall ASIS is simply a straightforward way to collect data from an ADA program and increases any of the Ada tools portability.
ASIS-тің ерекшеліктері
Ada Semantic Interphase Specification ISO/IEC 8652 Ada 95 анықтамалық нұсқаулығы (Ada Language Referencing Manual, 1994) бойынша Aria ортасы мен Aria ортасынан ақпарат алатын басқа құралдар арасындағы интерфейс ретінде анықталады. ASIS-ке негізделген құралдардың мүмкіндіктері мыналарды қамтиды: Қосымша абстракция түрлері де бар, бірақ аталған 3 түрі негізгі болып табылады. Контекст ASIS-тің Контекст абстракциясы ASIS сұраныстарында қолжетімді анықтамалар, терминдер және шарттардан тұрады. Ол сондай-ақ Ada ортасы үшін жол және логикалық тұтқа ретінде де қолданылады.
Ada Semantic Interphase Specification under the ISO/IEC 8652 Ada 95 Reference Manual (Ada Language Referencing Manual, 1994) is defined as an interface amidst an Aria environment and other tools requiring information from the Aria environment. Features of ASIS based tools could include: While there are additional types of abstractions also involved but the 3 mentioned are the fundamentals. ContextThe Context abstraction of ASIS consists of the definitions, terms and conditions that are available in ASIS enquiries. It is also used as a way and logical handle for the Ada environment.
1. Көпшілік таныған
Ол осы критерий бойынша жобаланып, ASIS жүйесі үшін әртүрлі құралдарды пайдалануға мүмкіндік беруі керек. Мұндай жобалау интерфейс кітапханасын икемдірек етеді және оны басқа платформалардағы құралдар мен Ada өндірушілерінің нұсқаларында қолдануға болады. Бұл құрал пайдаланушылары мен бағдарламашыларының оқу кезеңін де қысқартады.
It must be designed according to this criterion so that a wide variety of tools can be used for ASIS. Designing it with this allows the interface library to be more flexible and available for tools across other platforms, Ada vendor implementations. It also allows for it to reduce training time for tool users and developers.
2. Тасымалдану мүмкіндігі
ASIS сондай-ақ бір компьютерден екінші компьютерге немесе бір ортадан екінші ортаға көшірілу мүмкіндігімен жобалануы керек.
ASIS must also be designed so it has the capability to be transferred from one computer to another computer or another environment to another.
3. Біркелкілік пен бірігушілік
Сонымен қатар, оның қасиеттері, түсініктер, түрлері және амалдары тұрақты болуы керек, сонымен бірге қарапайым және үйлесімді операция ретінде сақталуы тиіс.
It should also be consistent in properties, concepts, types and operations but also be kept as a simple and coherent operation.
4. Іске асыру мүмкіндігі
ASIS сондай-ақ, "көптеген Ada компиляторын жеткізушілердің шамалы күш-жігермен іске асыруы мүмкін" деп сынға ұшырайды.
ASIS is also criticised so that it is "implementable by any Ada Compiler Vendor with a reasonable effort".
7. Ада терминологиясы мен стилі
ASIS сонымен қатар Ada анықтамалық нұсқаулығының стильдік талаптары мен анықтамаларына бейімделуі керек.
ASIS should also adapt to the terms and conditions of style and definitions to the Ada Reference Manual.
AdaControl (Қосымша бақылау)
AdaControl – Ada бағдарламаларында түрлі конструкциялардың қолданылуын анықтайтын тегін (GMGPL) құрал. Оның мүмкіндіктері кодтау стандарттарын тексеру, Ada мүмкіндіктерін зерттеу, статистикалық мәліметтер жинау және тағы да басқалар. Ол ASIS-тің толық мүмкіндіктерін пайдаланады және ASIS қолданбаларының ең кең таралғаны саналады.
AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its uses include checking of coding standards, exploring the use of Ada features, making statistics, and more. It exploits all the power of ASIS, and can be considered as the most typical ASIS application.