1、BRITISH STANDARD BS ISO/IEC 15476-6:2006 Information technology CDIF semantic metamodel Part 6: State/event models ICS 35.080 BS ISO/IEC 15476-6:2006 This British Standard was published under the authority of the Standards Policy and Strategy Committee on 16 March 2006 BSI 16 March 2006 ISBN 0 580 4
2、7960 9 National foreword This British Standard reproduces verbatim ISO/IEC 15476-6:2006 and implements it as the UK national standard. The UK participation in its preparation was entrusted to Technical Committee IST/15, Software and systems engineering, which has the responsibility to: aid enquirers
3、 to understand the text; present to the responsible international/European committee any enquiries on the interpretation, or proposals for change, and keep UK interests informed; monitor related international and European developments and promulgate them in the UK. A list of organizations represente
4、d on this committee can be obtained on request to its secretary. Cross-references The British Standards which implement international publications referred to in this document may be found in the BSI Catalogue under the section entitled “International Standards Correspondence Index”, or by using the
5、 “Search” facility of the BSI Electronic Catalogue or of British Standards Online. This publication does not purport to include all the necessary provisions of a contract. Users are responsible for its correct application. Compliance with a British Standard does not of itself confer immunity from le
6、gal obligations. Summary of pages This document comprises a front cover, an inside front cover, the ISO/IEC title page, pages ii to vi, pages 1 to 17 and a back cover. The BSI copyright notice displayed in this document indicates when the document was last issued. Amendments issued since publication
7、 Amd. No. Date CommentsReference number ISO/IEC 15476-6:2006(E) INTERNATIONAL STANDARD ISO/IEC 15476-6 First edition 2006-02-15 Information technology CDIF semantic metamodel Part 6: State/event models Technologies de linformation Mtamodle smantique CDIF Partie 6: Modles state/event BS ISO/IEC 15476
8、-6:2006iiiii Contents Foreword iv Introduction .v 1 Scope.1 2 Conformance.2 2.1 General2 2.2 Input conformance2 2.3 Output conformance.2 2.4 Round-trip conformance3 3 Normative references.3 4 Terms and definitions.3 4.1 From other International Standards 4 5 Symbols (and abbreviated terms)4 5.1 Nami
9、ng, diagramming and definition conventions 4 5.2 Abbreviations4 6 State/Event subject area overview.4 6.1 Introduction.4 6.2 Diagram.5 6.3 State/Event model.5 6.4 State.5 6.5 Transition.6 6.6 Condition.6 6.7 Action.6 7 State/Event subject area summary6 7.1 AttributableMetaObject hierarchy6 7.2 MetaE
10、ntity summary.7 7.3 MetaRelationship summary8 8 State/Event subject area specification10 8.1 Introduction.10 8.2 Subject area definition10 8.3 Meta-entity definitions10 8.4 Meta-relationship definitions.15 BS ISO/IEC 15476-6:2006iv Foreword ISO (the International Organization for Standardization) an
11、d 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 established by the respective organization to deal wi
12、th 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 the field of information technology, ISO and IEC ha
13、ve established a joint technical committee, ISO/IEC JTC 1. International Standards are drafted in accordance with the rules given in the ISO/IEC Directives, Part 2. The main task of the joint technical committee is to prepare International Standards. Draft International Standards adopted by the join
14、t 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 drawn to the possibility that some of the elements of this document may be the subject of patent rights.
15、 ISO and IEC shall not be held responsible for identifying any or all such patent rights. ISO/IEC 15476-6 was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 7, Software and system engineering. ISO/IEC 15476 consists of the following parts, under the gene
16、ral title Information technology CDIF semantic metamodel: Part 1: Foundation Part 2: Common Part 3: Data definitions Part 4: Data models Part 5: Data flow models Part 6: State/event models BS ISO/IEC 15476-6:2006Introduction This International Standard will assist the vendors and users of modelling
17、tools and meta-data repositories in developing mechanisms for interchanging information. This International Standard specifies an element of a family of related International Standards. When used together, these International Standards specify a mechanism for transferring information between tools.
18、ISO/IEC 15474-1:2002, Information technology - CDIF framework - Part 1: Overview and ISO/IEC 15474-2:2002, Information technology - CDIF framework - Part 2: Modelling and extensibility should be read first when initially exploring CDIF. The first explains the overall CDIF architecture and how the fa
19、mily of International Standards fits together. The second explains the scope, and modelling approach in CDIF. The CDIF meta-metamodel and extensibility mechanism are also defined in that document. This International Standard explains the State/event models subject area of the CDIF semantic metamodel
20、, that defines objects in state transition diagrams and state transition tables. The CDIF semantic metamodel is used to ensure that the information transferred by tools communicating using CDIF is expressed with an agreed meaning. This International Standard has been developed with the wide support
21、and participation of vendors, users, academia and government involved in or familiar with the CASE industry, its products and the general requirements associated with interchanging information between these products. This document is organized into the following Clauses: Clause 1 to 5 are prescribed
22、 ISO/IEC Clauses. Clause 6: Subject area overview: This Clause gives an overview of the coverage of this subject area. Clause 7: Subject area summary: This Clause gives an overview of the content of this subject area. Clause 8: Subject area specification: This Clause gives the formal specification o
23、f all the objects defined in the subject area, and the formal reference to those used, but not defined in the subject area. This document is intended to be used by anyone wishing to understand and/or use CDIF. This document provides a definition of a single subject area of the CDIF semantic metamode
24、l. It is suitable for: Those evaluating CDIF; Those who wish to understand the principles and concepts of a CDIF transfer; and Those developing importers and exporters. This document, ISO/IEC 15474-1:2002, Information technology - CDIF framework - Part 1: Overview, and the framework document ISO/IEC
25、 15474-2:2002, Information technology - CDIF framework - Part 2: Modelling and extensibility, should be read first when initially exploring CDIF and before attempting to read other documents in the CDIF family of standards. v BS ISO/IEC 15476-6:2006While there are no specific prerequisites for readi
26、ng this document, it will be helpful for the reader to have familiarity with the following: Entity-Relationship-Attribute modelling; Modelling (CASE) tools; Information repositories; Data dictionaries; Multiple meta-layer modelling. vi BS ISO/IEC 15476-6:20061 1 Scope The CDIF family of Internationa
27、l Standards is primarily designed to be used as a description of a mechanism for transferring information between modelling tools. It facilitates a successful transfer when the authors of the importing and exporting tools have nothing in common except an agreement to conform to CDIF. The language th
28、at is defined for the transfer format also has applicability as a general language for import/export from repositories. The CDIF semantic metamodel defined for CASE also has applicability as the basis of standard definitions for use in repositories. The International Standards which form the complet
29、e family of CDIF standards are documented in ISO/IEC 15474-1:2002, Information technology CDIF framework Part 1: Overview. These standards cover the overall framework, the transfer format and the CDIF semantic metamodel. 15476 CDIF Semantic Metamodel 15474 CDIF Framework Part 1 : Overview Part 2 : M
30、odeling and Extensibility Part 1 : Foundation Part 6 : State/event models Part 3 : Data definitions Part 4 : Data models Part 5 : Data flow models 15475 CDIF Transfer Format Part 1 : General rules for syntaxes and encodings Part 2 : Syntax SYNTAX.1 Part 3 : Encoding ENCODING.1 Part n : . Part n : .
31、Part 2 : Common Figure 1 CDIF family of International Standards The diagram in Figure 1 depicts the various International Standards that comprise the CDIF family of standards. The shaded box depicts this International Standard and its position in the CDIF family of standards. Information technology
32、CDIF semantic metamodel Part 6: State/event models BS ISO/IEC 15476-6:2006BS ISO/IEC 15476-6:2006 2 This International Standard defines the State/Event Subject Area of the CDIF semantic metamodel. This subject area contains meta-objects that describe the entities of state transition diagrams and sta
33、te transition tables, and also meta-relationships and meta-attributes that are necessary for available state transition. 2 Conformance 2.1 General A product is fully standards conformant to a CDIF subject area standard if and only if it is input-conformant, output- conformant and round-trip conforma
34、nt to each and every MetaEntity, MetaRelationship, MetaAttribute, and AttributableMetaObject which is defined and/or used in that standard, and it is also CDIF architecture conformant. A product may be partially input-conformant, and/or partially output-conformant, and/or partially round-trip confor
35、mant to a CDIF subject area standard. 2.2 Input conformance Input conformance for a specific MetaEntity, MetaRelationship, MetaAttribute,o r AttributableMetaObject (short: CollectableMetaObject) is determined by applying the following test: A set of meta-data containing all meanings and structures s
36、tandardized by a CDIF subject area is imported by the product under test. Then the meta-data which has arrived in the product is examined. The following options exist for the relation between the input (CDIF) meta-data and the imported (product) meta-data: For a specific CollectableMetaObject: 1 The
37、 product is input conformant if each instance of the specific CollectableMetaObject has arrived in the product without change of meaning or structure. If the CollectableMetaObject is a meta-entity or meta-relationship, its structural relationships to other CollectableMetaObjects have been preserved.
38、 If the CollectableMetaObjecti sa meta-attribute, the value of the meta-attribute has been preserved. 2 The product is input morphing conformant if each instance of the specific CollectableMetaObject has arrived in the product, but with some changes in meaning or structure. If the CollectableMetaObj
39、ect is a meta-attribute, the value(s) for some instances of the meta-attribute have changed. 3 The product is not input conformant for that CollectableMetaObject if neither of the previous tests is satisfied. 2.3 Output conformance Output conformance for a specific CollectableMetaObject is determine
40、d by applying the following test: For the product being tested, a set of meta-data that includes all possible meanings and structures representable in that product is exported. Then the meta-data that has been exported is examined. The following options exist for the relation between the products me
41、ta-data and the exported (CDIF) meta-data: For a specific CollectableMetaObject: 1 The product is output conformant if all of the meaning and structure for the specific CollectableMetaObject has been represented as meta-data in the product and has been exported as one or more instances of that Colle
42、ctableMetaObject. If the CollectableMetaObject is a meta-attribute, the correct value of the meta-attribute has been exported. 2 The product is output morphing conformant if each instance of meta-data in the product that has the same meaning and structure as the CollectableMetaObject has been export
43、ed, but some instances have been exported as a different CollectableMetaObject or some of the meaning and structure has been changed. 3 If the product does not represent the meaning and structure associated with the CollectableMetaObject,o u t p u t conformance for that CollectableMetaObject is not
44、applicable to the product. BS ISO/IEC 15476-6:2006 3 4 In all other cases, the product is not output conformant for that CollectableMetaObject. 2.4 Round-trip conformance Round-trip conformance for a specific CollectableMetaObject is determined by applying the following test: A set of meta-data cont
45、aining all meanings and structures standardized by a CDIF subject area is imported by the product under test. Then the meta-data is exported again. The following options exist for the relation between the input meta-data and the output meta-data: For a specific CollectableMetaObject: 1 The product i
46、s round-trip conformant if the meaning and structure of each instance of the CollectableMetaObject is preserved without changes during the round-trip. For a vendor to claim round-trip conformance, it is also necessary for the tool to be able to perform create, read, update, and delete operations on
47、the imported (product) meta-data corresponding to the instances of the CollectableMetaObject. 2 The product is round-trip morphing conformant if each instance of the input CollectableMetaObject is preserved, but with some changes in meaning and/or structure. If the CollectableMetaObject is a meta-en
48、tity or meta- relationship, some of its instances structural relationships to other CollectableMetaObjects have changed, or some instances have been transformed into other CollectableMetaObjects, or instances of other CollectableMetaObjects have been transformed into instances of the CollectableMeta
49、Object. If the CollectableMetaObject is a meta-attribute, the values of some instances of the meta-attribute have changed or the domain of the meta-attribute has changed. 3 In all other cases, the product is not round-trip conformant for that CollectableMetaObject. 3 Normative references The following referenced documents are indispensable for the application of this document. For dated r
