Kenneth J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437--456, March ####.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....pieces of information collected from the preceding steps, the system may be represented as in Fig. 6 (see also Fig. 8) Step 2.3: parallel composition (Fig. 7) Processes composition often follows already known patterns, such as the synchronization schemata or the architectural styles given in [21, 18, 31]. Therefore we suggest to use a library of Control Port In Data Port In out data m:Msg m:Msg r:RouteNumber in data id:PortNumber in cmde m:Msg ports : List[PortNumber] routes : List[Route] faulties : List[Msg] Control Port Out out cmde l:List[Msg] Data Port Out Fig. 6. Transit node ....

K. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437--456, 1997.

....among concurrent processes such as multi point broadcast communication and mutual exclusion for accessing shared resources (e.g. FIFO queue) can be represented in a straightforward way. Since a lot of verification validation techniques and the corresponding tools for FDTs are now available [2], hardware synthesis from protocol specifications in FDTs is useful to improve reliability of hardware circuits. Several hardware implementation techniques for SDL and Estelle specifications have been proposed [3, 6, 14] However, they require complicated operations for mutual exclusion in ....

S. Chanson, H. Rudin, K. Turner, and S. Vuong. Formal description technique (FDT) concepts and tools. Computer Networks and ISDN Systems, 25(1), 1992.

....that all data types introduced in this step should be later specified. B.4. Parallel composition. The components are composed using LOTOS parallel operators. We propose to use composition patterns when possible. See [19, 10, 18, 14] for examples. The pattern instantiation has to be simulated (see [25] for example) since LOTOS has no way to parameterize behaviours (apart from the gate names and data parameters) B.5. Abstraction. When necessary, communications between components can be hidden using the hide operator. C. Sequential Components. As noted by [26] the use of automata is ....

K. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437--456, 1997.

.... System 5 Lotos is a constructive specication language: any specication will exhibit some structure (usually hierarchic, though a monolithic style is also possible) The subject of specication style has been investigated in considerable depth for Lotos [Cla92, FLS97, Que90, SL93, Tur93a, Tur97a, Tur97b, TS95, Eij89, Sin89, VSS91, VSSB90] Indeed it might be fairly said that Lotos speciers are pre occupied with specication style The choice of an appropriate style for specifying requirements has a big impact on how the specication is structured. Another way of putting this is to say that Lotos ....

Kenneth J. Turner. Relating Architecture and Specication. Computer Networks and ISDN Systems, 29(4):437456, March 1997.

....for adopting a more specific interpretation. LOTOS is a constructive specification language: any specification will exhibit some structure (usually hierarchic, though a monolithic style is also possible) The subject of specification style has been investigated in considerable depth for LOTOS [2, 4, 9, 13, 15, 16, 17, 19, 20, 21, 22, 23]. Indeed it might be fairly said that LOTOS specifiers are pre occupied with specification style The choice of an appropriate style for specifying requirements has a big impact on how the specification is structured. Another way of putting this is to say that LOTOS specifiers care about the ....

Kenneth J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437-- 456, March 1997.

....be analysed in LOTOS. Thomas [22] also uses LOTOS, focussing like the present paper on the user interface to a telephone system, but detecting interactions by checking temporal properties against a LOTOS specification. So why not write LOTOS specifications directly It is the author s experience [21, 23, 27, 29] that LOTOS offers rather general features for specifying behaviour. In a particular application domain such as telecommunications services the specifier must bootstrap him herself to the architectural level at which systems should be described. Telecommunications services, for example, are ....

Kenneth J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437-- 456, March 1997.

....problem can be analysed in LOTOS. Thomas [8] also uses LOTOS but with particular interest in formulating a theory of features, and in detecting interactions by checking temporal logic properties against a LOTOS specification. The author s experience of using LOTOS for architectural specification [11] is that LOTOS is rather general. Although LOTOS is fairly abstract, it is nonetheless too low level in terms of a typical application domain. For this reason, the author has found it more productive to specify problems in a given domain using a meta language that directly supports domain ....

Kenneth J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437--456, March 1997.

No context found.

Kenneth J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437--456, March ####.

No context found.

Kenneth J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437--456, March ####.

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