BS ISO IEC IEEE 31320-2-2013 Information technology Modeling Languages Syntax and Semantics for IDEF1X97 (IDEFobject)《信息技术 建模语言 IDEF1X97 (IDEF对象) 用句法和语义学》.pdf

《BS ISO IEC IEEE 31320-2-2013 Information technology Modeling Languages Syntax and Semantics for IDEF1X97 (IDEFobject)《信息技术 建模语言 IDEF1X97 (IDEF对象) 用句法和语义学》.pdf》由会员分享，可在线阅读，更多相关《BS ISO IEC IEEE 31320-2-2013 Information technology Modeling Languages Syntax and Semantics for IDEF1X97 (IDEFobject)《信息技术 建模语言 IDEF1X97 (IDEF对象) 用句法和语义学》.pdf（324页珍藏版）》请在麦多课文档分享上搜索。

1、BSI Standards Publication BS ISO/IEC/IEEE 31320-2:2012 Information technology Modeling Languages Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject) BS ISO/IEC/IEEE 31320-2:2012 Part 2: Syntax and Semantics for IDEF1X 97(IDEF object )BS ISO/IEC/IEEE 31320-2:2012 BRITISH STANDARD National foreword

2、 This British Standard is the UK implementation of ISO/IEC/IEEE 31320-2:2012. The UK participation in 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

3、 publication does not purport to include all the necessary provisions of a contract. Users are responsible for its correct application. The British Standards Institution 2013. Published by BSI Standards Limited 2013 ISBN 978 0 580 81153 1 ICS 35.080 Compliance with a British Standard cannot confer i

4、mmunity from legal obligations. This British Standard was published under the authority of the Standards Policy and Strategy Committee on 31 July 2013. Amendments issued since publication Date Text affectedBS ISO/IEC/IEEE 31320-2:2012Reference number ISO/IEC/IEEE 31320-2:2012(E) IEEE 1999INTERNATION

5、AL STANDARD ISO/IEC/ IEEE 31320-2 First edition 2012-09-15 Information technology Modeling Languages Part 2: Syntax and Semantics for IDEF1X 97(IDEF object ) Technologies de linformation Langages de modlisation Partie 2: Syntaxe et smantique pour IDEF1X 97(IDEF object ) BS ISO/IEC/IEEE 31320-2:2012

6、ISO/IEC/IEEE 31320-2:2012(E) COPYRIGHT PROTECTED DOCUMENT IEEE 1999 All rights reserved. Unless otherwise specified, no part 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 fr

7、om ISO, IEC or IEEE at the respective address below. ISO copyright office IEC Central Office Institute of Electrical and Electronics 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-ma

8、il 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.iso.org Published in Switzerland ii IEEE 1999 All rights reservedBS ISO/IEC/IEEE 31320-2:2012 ISO/IEC/IEEE 31320-2:2012(E) IEEE 1999 All rights reserved iiiForeword ISO (the

9、International Organization for Standardization) and IEC (the International 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 est

10、ablished by the respective organization to deal with particular fields 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

11、the field of information technology, ISO and IEC have established a 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

12、standards through a consensus development process, approved by the American 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

13、. While the IEEE administers the process and establishes rules to promote 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 Internati

14、onal Standards. Draft International Standards adopted by the joint technical 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 implemen

15、tation of this standard may require the use of 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. ISO/IEEE is not responsible for identifying essential patents or paten

16、t claims for which a license may be required, for conducting inquiries 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

17、 Form, if any, or in any licensing agreements are reasonable or non-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 obta

18、ined from ISO or the IEEE Standards Association. ISO/IEC/IEEE 31320-2 was prepared by the Software utilizes graphics to state the interface; and defines a declarative, directly executable Rule and Constraint Language for requests and realizations. IDEF1X 97conceptual modeling supports implementation

19、 by relational databases, extended relational databases, object databases, and object programming languages. IDEF1X 97is formally defined in terms of first order logic. A procedure is given whereby any valid IDEF1X 97model can be transformed into an equivalent theory in first order logic. That proce

20、dure is then applied to a meta model of IDEF1X 97to define the valid set of IDEF1X 97 models. Keywords: conceptual schema, data model, IDEF1X, IDEF1X 97 , identity style, information model, key style, object model The Institute of Electrical and Electronics Engineers, Inc. 345 East 47th Street, New

21、York, NY 10017-2394, USA Copyright 1997 by the Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Published 1997. Printed in the United States of America Print ISBN 0-7381-0341-1 SH94663 PDF ISBN 0-7381-1405-7 SS94663 No part of this publication may be reproduced in any for

22、m, in an electronic retrieval system or otherwise, without the prior written permission of the publisher. ISO/IEC/IEEE 31320-2:2012(E) BS ISO/IEC/IEEE 31320-2:2012 IEEE Std 1320.2-1998(R2004) IEEE Standard for Conceptual Modeling Language Syntax and Semantics for IDEF1X 97 (IDEF object ) Sponsor Sof

23、tware Engineering Standards Committee of the IEEE Computer Society Reaffirmed 25 March 2004 Approved Approved 25 June 1998 IEEE-SA Standards Board Abstract: IDEF1X 97consists of two conceptual modeling languages. The key-style language supports data/information modeling and is downward compatible wi

24、th the US governments 1993 standard, FIPS PUB 184. The identity-style language is based on the object model with declarative rules and constraints. IDEF1X 97identity style includes constructs for the distinct but related components of object abstraction: interface, requests, and realization; utilize

25、s graphics to state the interface; and defines a declarative, directly executable Rule and Constraint Language for requests and realizations. IDEF1X 97conceptual modeling supports implementation by relational databases, extended relational databases, object databases, and object programming language

26、s. IDEF1X 97is formally defined in terms of first order logic. A procedure is given whereby any valid IDEF1X 97model can be transformed into an equivalent theory in first order logic. That procedure is then applied to a meta model of IDEF1X 97to define the valid set of IDEF1X 97 models. Keywords: co

27、nceptual schema, data model, IDEF1X, IDEF1X 97 , identity style, information model, key style, object model The Institute of Electrical and Electronics Engineers, Inc. 345 East 47th Street, New York, NY 10017-2394, USA Copyright 1997 by the Institute of Electrical and Electronics Engineers, Inc. All

28、 rights reserved. Published 1997. Printed in the United States of America Print ISBN 0-7381-0341-1 SH94663 PDF ISBN 0-7381-1405-7 SS94663 No part of this publication may be reproduced in any form, in an electronic retrieval system or otherwise, without the prior written permission of the publisher.

29、ISO/IEC/IEEE 31320-2:2012(E) BS ISO/IEC/IEEE 31320-2:2012 ISO/IEC/IEEE 31320-2:2012(E)BS ISO/IEC/IEEE 31320-2:2012 IEEE Standards documents are developed within the IEEE Societies and the Standards Coordinat- ing Committees of the IEEE Standards Association (IEEE-SA) Standards Board. Members of the

30、committees serve voluntarily and without compensation. They are not necessarily members of the Institute. The standards developed within IEEE represent a consensus of the broad expertise on the subject within the Institute as well as those activities outside of IEEE that have expressed an inter- est

31、 in participating in the development of the standard. Use of an IEEE Standard is wholly voluntary. The existence of an IEEE Standard does not imply that there are no other ways to produce, test, measure, purchase, market, or provide other goods and services related to the scope of the IEEE Standard.

32、 Furthermore, the viewpoint expressed at the time a standard is approved and issued is subject to change brought about through developments in the state of the art and comments received from users of the standard. Every IEEE Standard is sub- jected to review at least every ve years for revision or r

33、eafrmation. When a document is more than ve years old and has not been reafrmed, it is reasonable to conclude that its contents, although still of some value, do not wholly reect the present state of the art. Users are cautioned to check to determine that they have the latest edition of any IEEE Sta

34、ndard. Comments for revision of IEEE Standards are welcome from any interested party, regardless of membership afliation with IEEE. Suggestions for changes in documents should be in the form of a proposed change of text, together with appropriate supporting comments. Interpretations: Occasionally qu

35、estions may arise regarding the meaning of portions of standards as they relate to specic applications. When the need for interpretations is brought to the attention of IEEE, the Institute will initiate action to prepare appropriate responses. Since IEEE Standards rep- resent a consensus of all conc

36、erned interests, it is important to ensure that any interpretation has also received the concurrence of a balance of interests. For this reason, IEEE and the members of its societies and Standards Coordinating Committees are not able to provide an instant response to interpretation requests except i

37、n those cases where the matter has previously received formal consideration. Comments on standards and requests for interpretations should be addressed to: Secretary, IEEE-SA Standards Board 445 Hoes Lane P.O. Box 1331 Piscataway, NJ 08855-1331 USA Authorization to photocopy portions of any individu

38、al standard for internal or personal use is granted by the Institute of Electrical and Electronics Engineers, Inc., provided that the appropriate fee is paid to Copyright Clearance Center. To arrange for payment of licensing fee, please contact Copyright Clearance Center, Customer Service, 222 Rosew

39、ood Drive, Danvers, MA 01923 USA; (978) 750-8400. Permission to photocopy portions of any individual standard for educational class- room 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

40、 of 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

41、 or for conducting inquiries into the legal validity or scope of those patents that are brought to its attention. ISO/IEC/IEEE 31320-2:2012(E) ii Copyright 1999 IEEE. All rights reserved. BS ISO/IEC/IEEE 31320-2:2012 Copyright 1999 IEEE. All rights reserved. iii Introduction This introduction is not

42、 a part of IEEE Std 1320.2-1998, IEEE Standard for Conceptual Modeling Language Syntax and Semantics for IDEF1X 97 (IDEF object ). Background The need for semantic models to represent conceptual schemas was recognized by the US Air Force in the mid 1970s as a result of the Integrated Computer Aided

43、Manufacturing (ICAM) Program. The objective of this program was to increase manufacturing productivity through the systematic application of computer technology. The ICAM program identied a need for better analysis and communication techniques for peo- ple involved in improving manufacturing product

44、ivity. As a result, the ICAM program developed a series of techniques known as the ICAM Denition (IDEF) methods, which included the following: a) IDEF0, a technique used to produce a “function model,” which is a structured representation of the activities or processes within the environment or syste

45、m. b) IDEF1, a technique used to produce an “information model,” which represents the structure and semantics of information within the environment or system. c) IDEF2, a technique used to produce a “dynamics model,” which represents the time-varying behav- ioral characteristics of the environment o

46、r system. IDEF0 and IDEF1X (the successor to IDEF1) continue to be used extensively in various government and industry settings. IDEF2 is no longer used to any signicant extent. The initial approach to IDEF information modeling (IDEF1) was published by the ICAM program in 1981, based on current rese

47、arch and industry needs B23. 1The theoretical roots for this approach stemmed from the early work of Dr. E. F. Codd on relational theory and Dr. P. P. S. Chen on the entity-relationship model. The initial IDEF1 technique was based on the work of Dr. R. R. Brown and Mr. T. L. Ramey of Hughes Air- cra

48、ft and Mr. D. S. Coleman of D. Appleton Company, with critical review and inuence by Mr. C. W. Bach- man, Dr. P. P. S. Chen, Dr. M. A. Melkanoff, and Dr. G. M. Nijssen. In 1983, the US Air Force initiated the Integrated Information Support System (I 2 S 2 ) project under the ICAM program. The object

49、ive of this project was to provide the enabling technology to integrate a network of het- erogeneous computer hardware and software both logically and physically. As a result of this project and industry experience, the need for an enhanced technique for information modeling was recognized. Application within industry had led to the development in 1982 of a Logical Database Design Technique (LDDT) by R. G. Brown of the Database Design Group. The technique was also based on the relational model of Dr. E. F. Codd and the entity-relationship mod