BS ISO IEC IEEE 31320-1-2013 Information technology Modeling Languages Syntax and Semantics for IDEF0《信息技术 建模语言 IDEFO用句法和语义学》.pdf

1、BSI Standards Publication BS ISO/IEC/IEEE 31320-1:2012 Information technology Modeling Languages Part 1: Syntax and Semantics for IDEF0BS ISO/IEC/IEEE 31320-1:2012 BRITISH STANDARD National foreword This British Standard is the UK implementation of ISO/IEC/IEEE 31320-1:2012. The UK participation in

2、its preparation was entrusted to Technical Committee IST/15, Software and systems engineering. A list of organizations represented on this committee can be obtained on request to its secretary. This publication does not purport to include all the necessary provisions of a contract. Users are respons

3、ible for its correct application. The British Standards Institution 2013. Published by BSI Standards Limited 2013 ISBN 978 0 580 81152 4 ICS 35.080 Compliance with a British Standard cannot confer immunity from legal obligations. This British Standard was published under the authority of the Standar

4、ds Policy and Strategy Committee on 31 August 2013. Amendments/corrigenda issued since publication Date Text affectedBS ISO/IEC/IEEE 31320-1:2012Reference number ISO/IEC/IEEE 31320-1:2012(E) IEEE 1998INTERNATIONAL STANDARD ISO/IEC/ IEEE 31320-1 First edition 2012-09-15 Information technology Modelin

5、g Languages Part 1: Syntax and Semantics for IDEF0 Technologies de linformation Langages de modlisation Partie 1: Syntaxe et smantique pour IDEF0 BS ISO/IEC/IEEE 31320-1:2012 ISO/IEC/IEEE 31320-1:2012(E) COPYRIGHT PROTECTED DOCUMENT IEEE 1998 All rights reserved. Unless otherwise specified, no part

6、of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from ISO, IEC or IEEE at the respective address below. ISO copyright office IEC Central Office Institute of Electrical and Elec

7、tronics Engineers, Inc. Case postale 56 3, rue de Varemb 3 Park Avenue, New York CH-1211 Geneva 20 CH-1211 Geneva 20 NY 10016-5997, USA Tel. + 41 22 749 01 11 Switzerland E-mail stds.iprieee.org Fax + 41 22 749 09 47 E-mail inmailiec.ch Web www.ieee.org E-mail copyrightiso.org Web www.iec.ch Web www

8、.iso.org Published in Switzerland ii IEEE 1998 All rights reservedBS ISO/IEC/IEEE 31320-1:2012 ISO/IEC/IEEE 31320-1:2012(E)BS ISO/IEC/IEEE 31320-1:2012 ISO/IEC/IEEE 31320-1:2012(E) IEEE 1998 All rights reserved iiiForeword ISO (the International Organization for Standardization) and IEC (the Interna

9、tional Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fiel

10、ds of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non- governmental, in liaison with ISO and IEC, also take part in the work. In the field of information technology, ISO and IEC have established a

11、joint technical committee, ISO/IEC JTC 1. IEEE Standards documents are developed within the IEEE Societies and the Standards Coordinating Committees of the IEEE Standards Association (IEEE-SA) Standards Board. The IEEE develops its standards through a consensus development process, approved by the A

12、merican National Standards Institute, which brings together volunteers representing varied viewpoints and interests to achieve the final product. Volunteers are not necessarily members of the Institute and serve without compensation. While the IEEE administers the process and establishes rules to pr

13、omote fairness in the consensus development process, the IEEE does not independently evaluate, test, or verify the accuracy of any of the information contained in its standards. The main task of ISO/IEC JTC 1 is to prepare International Standards. Draft International Standards adopted by the joint t

14、echnical committee are circulated to national bodies for voting. Publication as an International Standard requires approval by at least 75 % of the national bodies casting a vote. Attention is called to the possibility that implementation of this standard may require the use of subject matter covere

15、d by patent rights. By publication of this standard, no position is taken with respect to the existence or validity of any patent rights in connection therewith. ISO/IEEE is not responsible for identifying essential patents or patent claims for which a license may be required, for conducting inquiri

16、es into the legal validity or scope of patents or patent claims or determining whether any licensing terms or conditions provided in connection with submission of a Letter of Assurance or a Patent Statement and Licensing Declaration Form, if any, or in any licensing agreements are reasonable or non-

17、discriminatory. Users of this standard are expressly advised that determination of the validity of any patent rights, and the risk of infringement of such rights, is entirely their own responsibility. Further information may be obtained from ISO or the IEEE Standards Association. ISO/IEC/IEEE 31320-

18、1 was prepared by the Software (978) 750-8400. Permis- sion to photocopy portions of any individual standard for educational classroom use can also be obtained through the Copyright Clearance Center. Note: Attention is called to the possibility that implementation of this standard may require use of

19、 subject matter covered by patent rights. By publication of this standard, no position is taken with respect to the existence or validity of any patent rights in connection therewith. The IEEE shall not be responsible for identifying patents for which a license may be required by an IEEE standard or

20、 for conducting inquiries into the legal validity or scope of those patents that are brought to its attention. Copyright 1998 IEEE. All rights reserved. i BS ISO/IEC/IEEE 31320-1:2012 ISO/IEC/IEEE 31320-1:2012(E)BS ISO/IEC/IEEE 31320-1:2012 ISO/IEC/IEEE 31320-1:2012(E) Copyright 1998 IEEE. All right

21、s reserved. iii Introduction (This introduction is not part of IEEE Std 1320.1-1998, IEEE Standard for Functional Modeling LanguageSyntax and Semantics for IDEF0.) This standard formally documents the Integration Definition 0 (IDEF0) language for function models in two parts. The body of this standa

22、rd describes the syntax and semantics of the IDEF0 language that are required to draw the physical diagrams of a specific IDEF0 model. Annex B describes the syntax and semantics of the IDEF0 language as an abstract formal structure and, therefore, provides the foundation for the specifics found in t

23、he body of the standard. The diagrams discussed by the standard are real instantiations in a concrete model of the mathematical formalisms of the IDEF0 Language Abstract Formalization (the “language formalization”). Background During the 1970s, the US Air Force Program for Integrated Computer Aided

24、Manufacturing (ICAM) sought to increase manufacturing productivity through systematic application of computer technology. The ICAM program identified the need for better analysis and communication techniques for people involved in improving manufacturing productivity. As a result, the ICAM program d

25、eveloped a series of modeling methodologies known as the ICAM Definition (IDEF) methods, which include a) IDEF0, used to produce a function model. A function model is a structured representation of the functions within a system or subject area. b) IDEF1, used to produce an information model. An info

26、rmation model represents the structure and semantics of information within a system or subject area. c) IDEF2, used to produce a dynamics model. A dynamics model represents the behavior of a system or subject area as it varies over time. IDEF0 was derived from a well-established graphical modeling m

27、ethod known as the Structured Analysis and Design Technique (SADT). IDEF0 was developed by the originators of SADT, notably Douglas T. Ross, under the ICAM program. In 1983, the US Air Force Integrated Information Support System program enhanced the IDEF1 information modeling technique to develop ID

28、EF1 extended (IDEF1X), a semantic data modeling method. Continued IDEF method developments followed to address needs for additional analytic methods. These follow-on developments have been directed toward providing a mutually supportive family of methods that are applicable to a broad range of enter

29、prise improvement and integration strategies (e.g., concurrent engineering, total quality management, business reengineering). Reflecting this general applicability, the IDEF acronym has been recast to refer to an integrated family of Integration Definition methods. Currently, IDEF0 and IDEF1X techn

30、iques are widely used in the government, industrial, and commercial sectors, supporting modeling efforts for a wide range of enterprises and application domains. IDEF0 has been widely adopted as the function modeling method of choice in large number of both military and nonmilitary organizations in

31、both North America and Europe. In 1991, the National Institute of Standards and Technology (NIST) received support from the US Department of Defense, Office of Corporate Information Management (DoD/CIM), to develop Federal Information Processing Standards (FIPS) for modeling techniques for use by the federal government. One BS ISO/IEC/IEEE 31320-1:2012 ISO/IEC/IEEE 31320-1:2012(E)