ImageVerifierCode 换一换
格式:PDF , 页数:98 ,大小:1.19MB ,
资源ID:1248067      下载积分:10000 积分
快捷下载
登录下载
邮箱/手机:
温馨提示:
如需开发票,请勿充值!快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝扫码支付 微信扫码支付   
注意:如需开发票,请勿充值!
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【http://www.mydoc123.com/d-1248067.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(IEEE 1175 4-2008 en CASE Tool Interconnections Reference Model for Specifying System Behavior (IEEE Computer Society)《CASE工具互连推荐操作规程 规定系统行为用参考模型》.pdf)为本站会员(testyield361)主动上传,麦多课文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知麦多课文库(发送邮件至master@mydoc123.com或直接QQ联系客服),我们立即给予删除!

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

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

copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
备案/许可证编号:苏ICP备17064731号-1