A. A. R. Cockburn, W. Citrin, R. F. Hauser and J. von Kaenel, `An environment for interactive design of communications architectures', Proc. 10th International Symposium on Protocol Specification, Testing, and Verification, 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....into a semantics for Message Sequence Charts, shown in [LL94] and similarly for Time Sequence Diagrams. Structures which may be interpreted by MFGs are found in the following references. In formal or semi formal use in telecommunications systems: CC91] temporal message flow diagrams ) CCHK90] Sie88] message sequence charts ) Tan89] many examples) VFV92] primitive sequences ) in object oriented analysis: RBP 91] event traces ) in analysis of parallel code: LS92a] LS94b] LS94a] The object oriented development methods of [SGW94] explicitly use Message Sequence ....

A. A. R. Cockburn, W. Citrin, R. F. Hauser, and J. Kanel. An environment for interactive design of communication architectures. In [LPU91], 1990.

....chapter different types of SCs which served as precursor for MSCs are compared. The investigated SCs are Extended Sequence Charts [7] Time Sequence Diagrams according to [11] Arrow Diagrams according to [15] Information Flow Diagrams [14] Sequence Charts according to [3] Message Flow Diagrams [4], Synchronous Interworkings [13] and Siemens SCs [16] At the end of this chapter similarities and differences of the investigated SC variants are summarized in tabular form. It was the aim of the MSC standardization that MSC should cover the most common language concepts of various SC variants. ....

....system states by means of conditions can be specified. Also there exist a possibility to parameterize messages and conditions. Special symbols may be used to express time delay or time supervision. 3. 7 Message Flow Diagrams Message Flow Diagrams (MFDs) are the user interface of the CARA system [4] for developing protocol specifications. A MFD shows the message flow between protocol entities (PEs) which are represented by vertical lines. Messages are represented by arrows. They are sent and received at ports which are owned by PEs. Messages are transmitted via so called links. A link may ....

Cockburn, A.A.R.; Citrin, W.; Hauser, R.F.; von Kanel, J.: An Environment for Interactive Design of Communication Architectures, IBM research division, Zurich Research Laboratry, 1990

.... are used both formally and informally to describe fragments of message passing behavior in telecommunications systems, networks in general, or even in object oriented analysis [19] temporal message flow diagrams ) 44] many examples) 47] primitive sequences ) 43] event traces ) 1] [20] [13] 14] MSCs are subject to standardization by CCITT [16] Figure 1 shows a simple MSC. Processes are represented by vertical lines with time progressing downwards. Messages exchanged between processes are represented by horizontal or sloping directed lines. Work supported by IBM Almaden ....

A. A. R. Cockburn, W. Citrin, R. F. Hauser, and J. Kanel. An environment for interactive design of communication architectures. In Proceedings of the IFIP symposium on Protocol Specification, Testing and Verification, X, 1990.

....into a semantics for Message Sequence Charts, shown in [LL94] and similarly for Time Sequence Diagrams. Structures which may be interpreted by MFGs are found in the following references. In formal or semi formal use in telecommunications systems: CC91] temporal message flow diagrams ) CCHK90] Sie88] message sequence charts ) Tan89] many examples) VFV92] primitive sequences ) in object oriented analysis: RBP 91] event traces ) in analysis of parallel code: LS92a] Correspondence and offprint requests to: Peter Ladkin, Technische Fakult at, Universit at Bielefeld, ....

A. A. R. Cockburn, W. Citrin, R. F. Hauser, and J. KĻanel. An environment for interactive design of communication architectures. In [LPU91], 1990.

....are preliminary in the sense that further study is needed on the relationship between FDTs, SCs and TTCN. The combined use of sequence charts and protocol specifications for the purpose of test case generation has to be supported by tools. Existing tools such as the ones described in [BrHo89] and [Co 91] could serve as a starting point. To show the feasibility of the approach a larger case study has to be performed. There are a number of projects on this subject which are worthwhile mentioning. One of these is the PROVE project [CATG90] within the EEC RACE program. The PROVE consortium defines a ....

Cockburn, A, et.al.: An environment for interactive design of communication architectures, Protocol Specification, Verification and Testing 10, North-Holland, 1991.

....a signal. MSCs focus entirely on the signals exchanged, and are regarded as a particularly simple, intuitive way of specifying telecommunications protocols. MSCs are the subject of an international standardisation effort by CCITT [X92] For use of MSCs in industrial practice, see [AG88] [CCHK91], CCI88a] and [CCI88b] We shall argue that this simplicity is obtained at the expense of precision, and suggest a remedy, namely that one can add temporal logic statements to an MCS specification via the connection given in this paper. We shall also show that MSC specifications are much more ....

A.A.R. Cockburn, W. Citrin, R.F. Hauser, and J. Kanel. An environment for interactive design of communication architectures. In Protocol Specification, Verification and Testing, volume 11 of Proceedings of the IFIP WG 6.1 11th Symposium on Protocol Specification, Verification and Testing. North Holland, 1991.

No context found.

A. A. R. Cockburn, W. Citrin, R. F. Hauser and J. von Kaenel, `An environment for interactive design of communications architectures', Proc. 10th International Symposium on Protocol Specification, Testing, and Verification, 1990.

No context found.

A. A. R. Cockburn, W. Citrin, R. F. Hauser, and J. von Kaenel, "An environment for interactive design of communications architectures," in Proceedings of the 10th International Symposium on Protocol Specification, Testing, and Verification, 1990.

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