1、Information technology Prog ramming languagesAdaSemantic Interface Specification (ASIS)CAN/CSA-ISO/IEC 15291:12(ISO/IEC 15291:1999, IDT)National Standard of CanadaNOT FOR RESALE.PUBLICATION NON DESTINE LA REVENTE.Legal Notice for StandardsCanadian Standards Association (CSA) standards are developed
2、through a consensus standards development process approved by the Standards Council of Canada. This process brings together volunteers representing varied viewpoints and interests to achieve consensus and develop a standard. Although CSA administers the process and establishes rules to promote fairn
3、ess in achieving consensus, it does not independently test, evaluate, or verify the content of standards.Disclaimer and exclusion of liabilityThis document is provided without any representations, warranties, or conditions of any kind, express or implied, including, without limitation, implied warra
4、nties or conditions concerning this documents fitness for a particular purpose or use, its merchantability, or its non-infringement of any third partys intellectual property rights. CSA does not warrant the accuracy, completeness, or currency of any of the information published in this document. CSA
5、 makes no representations or warranties regarding this documents compliance with any applicable statute, rule, or regulation. IN NO EVENT SHALL CSA, ITS VOLUNTEERS, MEMBERS, SUBSIDIARIES, OR AFFILIATED COMPANIES, OR THEIR EMPLOYEES, DIRECTORS, OR OFFICERS, BE LIABLE FOR ANY DIRECT , INDIRECT, OR INC
6、IDENTAL DAMAGES, INJURY, LOSS, COSTS, OR EXPENSES, HOWSOEVER CAUSED, INCLUDING BUT NOT LIMITED TO SPECIAL OR CONSEQUENTIAL DAMAGES, LOST REVENUE, BUSINESS INTERRUPTION, LOST OR DAMAGED DATA, OR ANY OTHER COMMERCIAL OR ECONOMIC LOSS, WHETHER BASED IN CONTRACT, TORT (INCLUDING NEGLIGENCE), OR ANY OTHE
7、R THEORY OF LIABILITY , ARISING OUT OF OR RESUL TING FROM ACCESS TO OR POSSESSION OR USE OF THIS DOCUMENT, EVEN IF CSA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES, INJURY, LOSS, COSTS, OR EXPENSES.In publishing and making this document available, CSA is not undertaking to render professional
8、 or other services for or on behalf of any person or entity or to perform any duty owed by any person or entity to another person or entity. The information in this document is directed to those who have the appropriate degree of experience to use and apply its contents, and CSA accepts no responsib
9、ility whatsoever arising in any way from any and all use of or reliance on the information contained in this document. CSA is a private not-for-profit company that publishes voluntary standards and related documents. CSA h as no power, nor does it undertake, to enforce compliance with the contents o
10、f the standards or other documents it publishes. Intellectual property rights and ownershipAs between CSA and the users of this doc ument (whether it be i n printed or electronic form), CSA is the o wner, or the authorized licensee, of all works contained herein that are protected by copyright, all
11、trade-marks (except as otherwise noted to the contrary), and all inventions and trade secrets that may be contained in this document, whether or not such inventions and trade secrets are protected by patents and applications for patents. Without limitation, the unauthorized use, modification, copyin
12、g, or disclosure of this document may violate laws that protect CSAs and/or others intellectual property and may give rise to a right in CSA and/or others to seek legal redress for such use, modification, copying, or disclosure. To the extent permitted by licence or by law, CSA reserves all intellec
13、tual property rights in this document.Patent rightsAttention is drawn to the possibility that some of the elements of this standard may be the subject of patent rights. CSA shall not be held responsible for identifying any or all such patent rights. Users of this standard are expressly advised that
14、determination of the validity of any such patent rights is entirely their own responsibility.Authorized use of this documentThis document is being provided by CSA for informational and non-commercial use only. The user of this document is authorized to do only the following:If this document is in el
15、ectronic form:.load this document onto a computer for the sole purpose of reviewing it;.search and browse this document; and.print this document if it is in PDF format. Limited copies of this doc ument in print or paper form may be distributed only to persons who are authorized by CSA to h ave such
16、copies, and only if this Legal Notice appears on each such copy.In addition, users may not and may not permit others to.alter this document in any way or remove this Legal Notice from the attached standard;.sell this document without authorization from CSA; or.make an electronic copy of this documen
17、t.If you do not agree with any of the terms and conditions contained in this Legal Notice, you may not load or use this document or make any copies of the co ntents hereof, and if you do make such copies, you are required to destroy them immediately. Use of this document constitutes your acceptance
18、of the terms and conditions of this Legal Notice.CSA Standards Update ServiceCAN/CSA-ISO/IEC 15291:12March 2012Title:Information technology Programming languagesAdaSemantic Interface Specification (ASIS)Pagination:302 pages (CSA/1CSA/4, ixv preliminary, and 283 text)To register for e-mail notificati
19、on about any updates to this publication go on-line to shop.csa.caclick on E-mail Services under MY ACCOUNTclick on CSA Standards Update ServiceThe List ID that you will need to register for updates to this publication is 2421499.If you require assistance, please e-mail techsupportcsa.ca or call 416
20、-747-2233.Visit CSAs policy on privacy at csagroup.org/legal to find out how we protect your personal information.The Canadian Standards Association (CSA), under whose auspices this National Standard has been produced, was chartered in 1919 and accredited by the Standards Council of Canada to the Na
21、tional Standards system in 1973. It is a not-for-profit, nonstatutory, voluntary membership association engaged in standards development and certification activities. CSA standards reflect a national consensus of producers and users including manufacturers, consumers, retailers, unions and professio
22、nal organizations, and governmental agencies. The standards are used widely by industry and commerce and often adopted by municipal, provincial, and federal governments in their regulations, particularly in the fields of health, safety, building and construction, and the environment. Individuals, co
23、mpanies, and associations across Canada indicate their support for CSAs standards development by volunteering their time and skills to CSA Committee work and supporting the Associations objectives through sustaining memberships. The more than 7000 committee volunteers and the 2000 sustaining members
24、hips together form CSAs total membership from which its Directors are chosen. Sustaining memberships represent a major source of income for CSAs standards development activities. The Association offers certification and testing services in support of and as an extension to its standards development
25、activities. To ensure the integrity of its certification process, the Association regularly and continually audits and inspects products that bear the CSA Mark. In addition to its head office and laboratory complex in Toronto, CSA has regional branch offices in major centres across Canada and inspec
26、tion and testing agencies in eight countries. Since 1919, the Association has developed the necessary expertise to meet its corporate mission: CSA is an independent service organization whose mission is to provide an open and effective forum for activities facilitating the exchange of goods and serv
27、ices through the use of standards, certification and related services to meet national and international needs.For further information on CSA services, write toCanadian Standards Association5060 Spectrum Way, Suite 100Mississauga, Ontario, L4W 5N6CanadaThe Standards Council of Canada (SCC) is thecoo
28、rdinating body of the National StandardsSystem, a coalition of independent, autonomousorganizations working towards the furtherdevelopment and improvement of voluntarystandardization in the national interest.The principal objects of the SCC are to fosterand promote voluntary standardization as a mea
29、nsof advancing the national economy, benefiting thehealth, safety, and welfare of the public, assistingand protecting the consumer, facilitating domesticand international trade, and furthering internationalcooperation in the field of standards.A National Standard of Canada (NSC) is a standardprepare
30、d or reviewed by an accredited Standards Development Organization (SDO) and approved by the SCC according to the requirements of CAN-P-2. Approval does not refer to the technical content of the standard; this remains the continuing responsibility of the SDO. An NSC reflects a consensus of a number o
31、f capable individuals whose collective interests provide, to the greatest practicable extent, a balance of representation of general interests, producers, regulators, users (including consumers), and others with relevant interests, as may be appropriate to the subject in hand. It normally is a stand
32、ard which is capable of making a significant and timely contribution to the national interest.Those who have a need to apply standards areencouraged to use NSCs. These standards are subjectto periodic review. Users of NSCs are cautionedto obtain the latest edition from the SDO which publishes the st
33、andard.The responsibility for approving standards as National Standards of Canada rests with theStandards Council of Canada270 Albert Street, Suite 200Ottawa, Ontario, K1P 6N7CanadaAlthough the intended primary application of this Standard is stated in its Scope, it is importantto note that it remai
34、ns the responsibility of the users to judge its suitability for their particular purpose.Registered trade-mark of Canadian Standards AssociationCette norme est offerte en anglais seulement pour le moment. La CSA publiera la version enfranais ds quelle sera produite par lorganisme rdacteur.Reviewed b
35、yNational Standard of CanadaPublished in March 2012 by Canadian Standards AssociationA not-for-profit private sector organization5060 Spectrum Way, Suite 100, Mississauga, Ontario, Canada L4W 5N61-800-463-6727 416-747-4044Visit our Online Store at shop.csa.caApproved byStandards Council of CanadaCAN
36、/CSA-ISO/IEC 15291:12Information technology Programming languagesAdaSemantic Interface Specification (ASIS)Prepared by InternationalOrganizationforStandardization/ International Electrotechnical CommissionCAN/CSA-ISO/IEC 15291:12Information technology Programming languagesAdaSemantic Interface Speci
37、fication (ASIS)CSA/4 Canadian Standards Association March 2012CAN/CSA-ISO/IEC 15291:12Information technology Programming languagesAdaSemantic Interface Specification (ASIS)CSA PrefaceStandards development within the Information Technology sector is harmonized with international standards development
38、. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 on Information Technology (ISO/IEC JTC1) for the Standards Council of Canada (SCC), the ISO member body for Canada and sponsor of th
39、e Canadian National Committee of the IEC. Also, as a member of the International Telecommunication Union (ITU), Canada participates in the International Telegraph and Telephone Consultative Committee (ITU-T).At the time of publication, ISO/IEC 15291:1999 is available from ISO and IEC in English only
40、. CSA will publish the French version when it becomes available from ISO and IEC.This International Standard was reviewed by the CSA TCIT under the jurisdiction of the Strategic Steering Committee on Information Technology and deemed acceptable for use in Canada. From time to time, ISO/IEC may publi
41、sh addenda, corrigenda, etc. The CSA TCIT will review these documents for approval and publication. For a listing, refer to the CSA Information Products catalogue or CSA Info Update or contact a CSA Sales representative. This Standard has been formally approved, without modification, by the Technica
42、l Committee and has been approved as a National Standard of Canada by the Standards Council of Canada.March 2012 Canadian Standards Association 2012All rights reserved. No part of this publication may be reproduced in any form whatsoever without the prior permission of thepublisher. ISO/IEC material
43、 is reprinted with permission. Where the words “this International Standard” appear in the text, they should be interpreted as “this National Standard of Canada”.Inquiries regarding this National Standard of Canada should be addressed toCanadian Standards Association5060 Spectrum Way, Suite 100, Mis
44、sissauga, Ontario, Canada L4W 5N61-800-463-6727 416-747-4000http:/csa.caTo purchase CSA Standards and related publications, visit CSAs Online Store at shop.csa.ca or call toll-free 1-800-463-6727 or 416-747-4044.CSA Standards are subject to periodic review, and suggestions for their improvement will
45、 be referred to the appropriate committee. To submit a proposal for change to CSA Standards, please send the following information to inquiriescsa.ca and include “Proposal for change” in the subject line:(a) Standard designation (number);(b) relevant clause, table, and/or figure number;(c) wording o
46、f the proposed change; and(d) rationale for the change.bcReference numberISO/IEC 15291:1999(E)INTERNATIONALSTANDARDISO/IEC15291First edition1999-04-15Information technology Programminglanguages Ada Semantic InterfaceSpecification (ASIS)Technologies de linformation Langages de programmation, leursenv
47、ironnements et interfaces de logiciel de systme Spcificationdinterface pour la smantique Ada ISO/IEC ISO/IEC 15291:1999(E)iii3PACKAGE ASIS.273.1 type ASIS_Integer 283.2 type ASIS_Natural 283.3 type ASIS_Positive 283.4 type List_Index 283.5 type Context 283.6 type Element 293.7 type Element_List 303.
48、8 subtypes of Element and Element_List 303.9 Element Kinds 313.9.1 type Element_Kinds 313.9.2 type Pragma_Kinds 323.9.3 type Defining_Name_Kinds 333.9.4 type Declaration_Kinds 333.9.5 type Trait_Kinds 353.9.6 type Declaration_Origins 363.9.7 type Mode_Kinds 363.9.8 type Subprogram_Default_Kinds 363.
49、9.9 type Definition_Kinds 363.9.10type Type_Kinds 373.9.11type Formal_Type_Kinds 373.9.12type Access_Type_Kinds 383.9.13type Root_Type_Kinds 383.9.14type Constraint_Kinds 393.9.15type Discrete_Range_Kinds 393.9.16type Association_Kinds 393.9.17type Expression_Kinds 393.9.18type Operator_Kinds 403.9.19type Attribute_Kinds 413.9.20type Statement_Kinds 423.9.21type Path_Kinds 433.9.22type Clause_Kinds 443.9.23type Representation_Clause_Kinds 443.10 type Compilation_Unit 443.11 type Compilation_Unit_List 453.12 Unit Kinds 453.12.1
