7 citations found. Retrieving documents...
Basic Reference Model of ODP --- Part 3: Prescriptive Model, Draft International Standard 10746-3, Draft ITU-T Recommendation X.903, 1994.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Applying Formal Methods to Standard Development: The Open.. - Sinnott, Turne (1995)   (2 citations)  (Correct)

....well advanced in the standards making process. It should be noted that there is no insistence on a given FDT being able to model all (or any ) of the concepts of the RM ODP. However, a given FDT must also keep up with the scope of the architectural semantics work. For instance when the documents, [2, 3], on which the architectural semantics are based are modified, then the text of the architectural semantics should be modified also. Also if a given FDT is used to describe a certain concept or viewpoint, then other FDTs should attempt to describe this also. Thus there should be a consistency of ....

Basic Reference Model of ODP --- Part 3: Prescriptive Model, Draft International Standard 10746-3, Draft ITU-T Recommendation X.903, 1994.


Applying Formal Methods to Standard Development: The Open.. - Sinnott, Turne (1995)   (2 citations)  (Correct)

....well advanced in the standards making process. It should be noted that there is no insistence on a given FDT being able to model all (or any ) of the concepts of the RM ODP. However, a given FDT must also keep up with the scope of the architectural semantics work. For instance when the documents, [2, 3], on which the architectural semantics are based are modified, then the text of the architectural semantics should be modified also. Also if a given FDT is used to describe a certain concept or viewpoint, then other FDTs should attempt to describe this also. Thus there should be a consistency of ....

Basic Reference Model of ODP --- Part 2: Descriptive Model, Draft International Standard 10746-2, Draft ITU-T Recommendation X.902, 1994.


Applying the architectural semantics of ODP to develop a.. - Sinnott, Turner (1997)   (Correct)

....of conformance and the way it may be applied to ODP. In effect Part 2 provides the vocabulary with which distributed systems may be reasoned about and developed, i.e. it is used as the basis for understanding the concepts contained within Part 3 of the RM ODP. Part 3 Prescriptive Model ([3]) contains the specification of the required characteristics that qualify distributed system as open, i.e. constraints to which ODP systems 2 must conform. One particular part of Part 3 which is currently the focus of much of the recent architectural semantics work, is that of the viewpoint ....

....that is exchangeable amongst users. Although information will necessarily have a representation form to make it more communicable, it is the interpretation of this representation (the meaning) that is relevant in the first place. To give a representation free way of modelling information, [3] uses the notion of invariant, dynamic and static schema. These represent respectively, the properties of information that are independent of behaviour, dependent upon behaviour and give the state and structure of information at some particular time. In LOTOS, exchange of data can only occur ....

Basic Reference Model of ODP --- Part 3: Prescriptive Model, Draft International Standard 10746-3, Draft ITU-T Recommendation X.903, August 1994.


Applying the architectural semantics of ODP to develop a.. - Sinnott, Turner (1997)   (Correct)

....advantages of this with regard to systems development generally are well documented in the literature, e.g. 11, 12, 13] The RM ODP itself is divided into four main parts. Part 1 Overview and Guide to Use ( 1] contains an overview and guide to use of the RM ODP. Part 2 Descriptive Model ([2]) contains the definition of concepts and gives the framework for descriptions of distributed systems. It also introduces the principles of conformance and the way it may be applied to ODP. In effect Part 2 provides the vocabulary with which distributed systems may be reasoned about and ....

....That is, FDTs may not easily allow for such general statements to be made about a given system. These notions are normally given in the informal commentary associated with a specification. Formal techniques can be applied to develop explicit policy rules, however. A policy is defined in [2] as a set of rules related to a particular purpose . These rules may be: obligations; prohibitions; or permissions. The definitions of the concepts and their representation in LOTOS may be found in section 3.3. As a result of the modelling consequences of these concepts in LOTOS, it can be seen ....

[Article contains additional citation context not shown here]

Basic Reference Model of ODP --- Part 2: Descriptive Model, Draft International Standard 10746-2, Draft ITU-T Recommendation X.902, August 1994.


Applying the architectural semantics of ODP to develop a.. - Sinnott, Turner (1997)   (Correct)

....may be regarded as an identifiable encapsulated aspect of some real world entity. The advantages of this with regard to systems development generally are well documented in the literature, e.g. 11, 12, 13] The RM ODP itself is divided into four main parts. Part 1 Overview and Guide to Use ([1]) contains an overview and guide to use of the RM ODP. Part 2 Descriptive Model ( 2] contains the definition of concepts and gives the framework for descriptions of distributed systems. It also introduces the principles of conformance and the way it may be applied to ODP. In effect Part 2 ....

Basic Reference Model of ODP --- Part 1: Overview and Guide to Use of the Reference Model, Draft International Standard 10746-1, Draft ITU-T Recommendation X.901, August 1994.


G Numerics - The Numerics   (Correct)

....of the requirements. Ada 95 Rationale: Appendices Revisions To Drafts: Y 1 Appendix Y Revisions To Drafts The final International Standard for Ada 95 incorporates a number of changes to the Committee Draft [CD 93] of September 1993 (version 4. 0 of RM9X) and the Draft International Standard [DIS 94] of June 1994 (version 5.0) These were made in response to formal comments made by the ISO members as part of the ballots on these drafts and to informal comments made by individual reviewers. Although many of the changes are of an editorial nature several are of significance to the normal user. ....

Ada 9X Reference Manual, Version 5.0 (Draft International Standard). Intermetrics Inc, 1994.


Applying Formal Methods to Standard Development: The Open.. - Sinnott, Turne (1995)   (2 citations)  (Correct)

No context found.

Basic Reference Model of ODP --- Part 1: Overview and Guide to Use of the Reference Model, Draft International Standard 10746-1, Draft ITU-T Recommendation X.901, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC