IEEE 1175 4-2008 en CASE Tool Interconnections Reference Model for Specifying System Behavior (IEEE Computer Society)《CASE工具互连推荐操作规程 规定系统行为用参考模型》.pdf

《IEEE 1175 4-2008 en CASE Tool Interconnections Reference Model for Specifying System Behavior (IEEE Computer Society)《CASE工具互连推荐操作规程 规定系统行为用参考模型》.pdf》由会员分享，可在线阅读，更多相关《IEEE 1175 4-2008 en CASE Tool Interconnections Reference Model for Specifying System Behavior (IEEE Computer Society)《CASE工具互连推荐操作规程 规定系统行为用参考模型》.pdf（98页珍藏版）》请在麦多课文档分享上搜索。

1、IEEE Std 1175.4-2008IEEE Standard for CASE Tool InterconnectionsReference Model for Specifying System BehaviorIEEE3 Park Avenue New York, NY 10016-5997, USA17 April 2009IEEE Computer SocietySponsored by theSoftware and Systems Engineering Standards Committee1175.4TMIEEE Std 1175.4-2008 IEEE Standard

2、 for CASE Tool InterconnectionsReference Model for Specifying System Behavior Sponsor Software and Systems Engineering Standards Committee of the IEEE Computer Society Approved 10 December 2008 IEEE-SA Standards Board Abstract: A reference model that provides a common interpretation basis by which t

3、ools can express and communicate the observable features of system/software behavior to users and to other tools is presented. This standard specifies a Conceptual Metamodel for understanding and describing the causal behavior for a system. The purpose of this Conceptual Metamodel is to express caus

4、al behavior and compositions of causal behavior in a model that integrates all observable operational features of a system into one behavior specification. This Conceptual Metamodel is useful for analyzing systems, for constructing particular system behavior models, and for using those models in the

5、 specification, design, and evaluation of engineered systems. It provides the necessary semantic elements for describing general hardware/software systems, including hardware-only, software-only, or mixed system components, and it allows these different types of components to be treated in a consist

6、ent manner, providing a basis for representing a wide variety of systems. Keywords: behavior model, behavior specification, Computer-Aided Software Engineering (CASE) tools, engineering model, model-based testing, modeling principles, requirements, software specification, specification-based testing

7、, system, system testing The Institute of Electrical and Electronics Engineers, Inc. 3 Park Avenue, New York, NY 10016-5997, USA Copyright 2009 by the Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Published 17 April 2009. Printed in the United States of America. IEEE a

8、nd POSIX are registered trademarks in the U.S. Patent +1 978 750 8400. Permission to photocopy portions of any individual standard for educational classroom use can also be obtained through the Copyright Clearance Center. iv Copyright 2009 IEEE. All rights reserved. Introduction This introduction is

9、 not part of IEEE Std 1175.4-2008, IEEE Standard for CASE Tool InterconnectionsReference Model for Specifying System Behavior. The 1175family of standards NOTEReferences to “P1175.X” in this standard refer to members of the 1175 family of standards that were not yet approved at the time that this st

10、andard was published. aThis standard is a member of the 1175 family of IEEE standards. The members of this family include the following: Standard number Title IEEE Std 1175.1-2002 B4 * IEEE Guide for CASE Tool InterconnectionsClassification and Description IEEE Std 1175.2-2006 B5 IEEE Recommended Pr

11、actice for CASE Tool InterconnectionCharacterization of Interconnections IEEE Std 1175.3-2004 B6 IEEE Standard for CASE Tool InterconnectionsReference Model for Specifying Software Behavior IEEE Std 1175.4-2008 IEEE Standard for CASE Tool InterconnectionsReference Model for Specifying System Behavio

12、r IEEE P1175.5 * Draft Standard for Computer-Aided Software Engineering (CASE) Tool InterconnectionsReference Data Metamodel for System Behavior Specifications * The numbers in brackets correspond to those of the bibliography in Annex A. IEEE publications are available from the Institute of Electric

13、al and Electronics Engineers, 445 Hoes Lane, Piscataway, NJ 08854-1331, USA (http:/standards.ieee.org/). This IEEE standards project was not approved by the IEEE-SA Standards Board at the time this publication went to press. For information about obtaining a draft, contact the IEEE. * The title and

14、description of IEEE P1175.5 are current as of the IEEE Std 1175.4-2008 publication date. Because the P1175.5 draft was not yet approved as of March 2009, this information is subject to change. For the most current P1175.5 information, please consult IEEE Xplore at http:/ieeexplore.ieee.org/xpl/stand

15、ards.jsp. This family of standards replaces IEEE Std 1175-1991 B3.b IEEE Std 1175-1991 was advanced to a full-use standard in 1994. It covered a number of closely related subjects, and the scope of material contained was able to serve a number of divergent interests. This family of standards restruc

16、tures and substantially augments the material in IEEE Std 1175-1991. It has been divided into several individually useful documents in order to facilitate its use by different communities of interest. These guides, recommended practices, and standards generally address issues involved in characteriz

17、ing the kinds of interconnections that exist between a computing system tool and its environment. Although particularly intended to address the implementation and use of Computer-Aided Software Engineering (CASE) tools, the discussion of interconnections in this family actually has wider applicabili

18、ty to computing system tools in general, beyond only CASE tools. aNotes in text, tables, and figures of a standard are given for information only and do not contain requirements needed to implement this standard. bAlthough approved in 1991, IEEE Std 1175-1991 was actually published in 1992 and is so

19、metimes found referenced as IEEE Std 1175-1992. It appears in the standards numerical listing on the IEEE Xplore Web site (http:/ieeexplore.ieee.org/) as IEEE Std 1175-1992, with the title IEEE Trial-Use Standard Reference Model for Computing System Tool Interconnections. In 1994, the term trial-use

20、 was removed from the title when the standard was approved for full-use status. The 1994 version, which was identical to the 1992 publication except for the title and minor editorial corrections, is not available on the IEEE Web site. v Copyright 2009 IEEE. All rights reserved. Four kinds of interco

21、nnections with a computing system tool are addressed: interconnections with organizations, users, platforms, and other computing system tools. Consideration of interconnections is important to understanding, selecting, implementing, and using computing system tools. Also, although many computing sys

22、tem tools do not need to communicate behavior descriptions of subject systems, their creators need to develop such behavior descriptions for the tools themselves. A brief summary overview of each of the members of this family of standards is given in the following paragraphs. A more complete overvie

23、w is available in IEEE Std 1175.1-2002 B4, which provides an integrated overview of the members of the 1175 family of standards, and it describes the fundamental concepts that provide a basis for organizing the material. IEEE Std 1175.1-2002, IEEE Guide for CASE Tool InterconnectionsClassification a

24、nd Description IEEE Std 1175.1-2002 B4 is a guide to the IEEE 1175 family of standards. It describes how these standards are intended to be used to accomplish the effective integration of computing system tools into a productive engineering environment and sets forth the fundamental concepts on whic

25、h these standards are based. These concepts establish the integrating framework for the other members of this family of standards. IEEE Std 1175.1-2002 describes the scope of application of each member standard, the various issues addressed in each standard, and the interrelationships among the memb

26、ers of the 1175 family of standards. IEEE Std 1175.2-2006, IEEE Recommended Practice for CASE Tool InterconnectionCharacterization of Interconnections The IEEE Std 1175.2-2006 B5 recommended practice presents four contexts for a computing system tools interconnections that offer insight into the ope

27、rational problems of interconnecting computing system tools with their environment. This recommended practice establishes recommended collections of standard contextual attributes describing relationships between a computing system tool and its organizational deployment, its human user, its executab

28、le platform, and its peer tools, as illustrated in Figure a. These contextual attributes are of the “news-story” form that includes: who, what, when, where, and why. The values of these contextual attributes are references to organizational, industrial, and professional standards. By assisting users

29、 to reach a clear understanding of the context of operation for a computing system tool, this recommended practice contributes to the effective implementation and application of computing system tools. IEEE Std 1175.3-2004, IEEE Standard for CASE Tool InterconnectionsReference Model for Specifying S

30、oftware Behavior IEEE Std 1175.3-2004 B6 is an expansion of Part 3 of IEEE Std 1175-1991. It focuses specifically on a common set of modeling concepts found in commercial CASE tools for describing the operational behavior of a software product, and it provides a formal, logical model for describing

31、this behavior. IEEE Std 1175.3-2004 also defines a Semantic Transfer Language (STL) for communicating software behavior descriptions from one tool to another. A notable feature of the STL is its design for human readability, which makes STL text files suitable for use in software design reviews by u

32、sers unfamiliar with computing system tool diagramming notations. In addition, the design of the STL syntax readily permits analysts to prepare and edit STL descriptions using a text editor or word processor. To permit backward compatibility with Part 3 of IEEE Std 1175-1991, IEEE Std 1175.3-2004 ma

33、kes no changes to the STL syntax or to the rules for conformance to this syntax as originally defined in that vi Copyright 2009 IEEE. All rights reserved. standard. However, some aspects of the 1991 syntax that were previously left as user-defined have now been specified in order to increase the con

34、sistency and reliability with which the STL may be used for exchanging software specification information. In addition, improvements have been made in how the STL syntax is defined and explained. Finally, the STL Interconnection Profile has been replaced with more straightforward, “user-friendly” ta

35、bular and comma-separated-value formats to define a Tool Interconnection Profile that can serve the same purpose as the original form of the profile. SubjectToolOtherToolPlatformOrganizationUserFigure a IEEE Std 1175.4-2008, IEEE Standard for CASE Tool InterconnectionsReference Model for Specifying

36、System Behavior IEEE Std 1175.4-2008 encompasses the description of the types of the computing systems supported by IEEE Std 1175.3-2004 B6, but it goes further, providing a basis for representing a wider variety of systems. Specifically, IEEE Std 1175.4-2008 provides the necessary semantic elements

37、 for describing general hardware/software systems, including hardware-only, software-only, or mixed system components, and it allows these different types of components to be treated in a consistent manner. IEEE P1175.5, Draft Standard for Computer-Aided Software Engineering (CASE) Tool Interconnect

38、ionsReference Data Metamodel for System Behavior Specifications This standard defines a Data Metamodel for system behavior specifications. Figure b illustrates one use for such a behavior specification metamodel in the context of supporting information transfer from one users tool to another users t

39、ool. The Data Metamodel provides explicit definitions of typed data elements, information representations, and relationships with which behavior models for subject systems can be instantiated. These elements, representations, and relations serve to reify the Conceptual Metamodel for system behavior

40、specification described in IEEE Std 1175.4-2008. vii Copyright 2009 IEEE. All rights reserved. Figure b When multiple tools are being used to describe a system, each may maintain its own information metamodel. However, as depicted in Figure b, to share information about a subject system, each tool m

41、ust map its own individual metamodel into a common Behavior Specification Metamodel. Notice to users Laws and regulations Users of these documents should consult all applicable laws and regulations. Compliance with the provisions of this standard does not imply compliance to any applicable regulator

42、y requirements. Implementers of the standard are responsible for observing or referring to the applicable regulatory requirements. IEEE does not, by the publication of its standards, intend to urge action that is not in compliance with applicable laws, and these documents may not be construed as doi

43、ng so. Copyrights This document is copyrighted by the IEEE. It is made available for a wide variety of both public and private uses. These include both use, by reference, in laws and regulations, and use in private self-regulation, standardization, and the promotion of engineering practices and meth

44、ods. By making this document available for use and adoption by public authorities and private users, the IEEE does not waive any rights in copyright to this document. viii Copyright 2009 IEEE. All rights reserved. Updating of IEEE documents Users of IEEE standards should be aware that these document

45、s may be superseded at any time by the issuance of new editions or may be amended from time to time through the issuance of amendments, corrigenda, or errata. An official IEEE document at any point in time consists of the current edition of the document together with any amendments, corrigenda, or e

46、rrata then in effect. In order to determine whether a given document is the current edition and whether it has been amended through the issuance of amendments, corrigenda, or errata, visit the IEEE Standards Association Web site at http:/ieeexplore.ieee.org/xpl/standards.jsp, or contact the IEEE at

47、the address listed previously. For more information about the IEEE Standards Association or the IEEE standards development process, visit the IEEE-SA Web site at http:/standards.ieee.org. Errata Errata, if any, for this and all other standards can be accessed at the following URL: http:/standards.ie

48、ee.org/reading/ieee/updates/errata/index.html. Users are encouraged to check this URL for errata periodically. Interpretations Current interpretations can be accessed at the following URL: http:/standards.ieee.org/reading/ieee/interp/ index.html. Patents Attention is called to the possibility that i

49、mplementation of this standard may require 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. The IEEE is not responsible for identifying Essential Patent Claims for which a license may be required, for conducting inquiries into the legal validity or scope of Patents Claims or determining whether any licensing terms or conditions provided in connection with submission of a Letter of As