Filters








375 Hits in 4.1 sec

Page 7 of Journal of Research and Practice in Information Technology Vol. 27, Issue 1 [page]

1995 Journal of Research and Practice in Information Technology  
LAGEMAAT, J.V.D. and SCOLLO, G. (1988): On the use of LOTOS for the formal description of a transport protocol, Proc. Int. Conf. FORTE 88, Stirling Scotland, 6-9 September, North-Holland.  ...  NAJM, E. (1989): A verification oriented specification in LOTOS of the transport protocol, Van EIJK, P.H.J., VISSERS, C.A. and DIAZ, M. (Eds.), The formal description technique LOTOS, North-Holland.  ... 

Protocol specification for OSI

Gregor V Bochmann
1990 Computer networks and ISDN systems  
Special attention is given to the specification formalisms used for OSI protocol and service descriptions, including semi-formal languages such as state tables, ASN.1 and TTCN, and formal description techniques  ...  The collection of Open Systems Interconnection (OSI) standards are intended to allow the connection of heterogeneous computer systems for a variety of applications.  ...  In addition, formal description techniques have been developed for application to OSI (see Section 3) and have been used for the description of certain OSI protocols and services.  ... 
doi:10.1016/0169-7552(90)90132-c fatcat:avhuude4dbclfiz5j5yellrqkm

Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol

Hazem Mostafa El-Gendy, Ihab ElSayed Talkhan
2013 INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY  
The protocol is formally specified in Lotos; the ISO/IEC Formal Description Technique for computer/communications protocols and distributed systems.  ...  We use formal methods for the generation of testing sequences to make the results sound.  ...  We use formal methods for the generation of testing sequences and formal specification of the protocol in the ISO/IEC Lotos standard Formal Description Technique for protocols.  ... 
doi:10.24297/ijct.v12i2.3291 fatcat:h3ofk2geabfctpptfzjsjpfzcu

Introduction to the PSTV-IX

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
1991 Computer networks and ISDN systems  
All of the four papers that form the present collection were improved by acute, constructive criticism by the referees, to whom, also on behalf of the readers, we extend a hearty thanks for their outstanding  ...  contribution to the quality of this selection.  ...  Since 1985, he is IEC/ISO Project Editor for the Formal Description of OSI Transport Standards in LOTOS. Chris A.  ... 
doi:10.1016/0169-7552(91)90078-q fatcat:abmyrcfipbhprdrlrgvlcjbxwa

A Method for Applying LOTOS at an Early Design Stage and Its Application to the ISO Transport Protocol [chapter]

Guy Leduc
1994 The OSI95 Transport Service with Multimedia Support  
Having proved the feasibility of the method on this protocol, it was then used to specify (parts of) the new transport protocol TPX of OSI95.  ...  It is illustrated on a substantial part of the ISO Transport Protocol class 4 which is considered as a complex and stable case study.  ...  Therefore, a formal proof of correctness starts with TWO formal descriptions: the first one is the specification that has to be verified (e.g. a protocol), whereas the second one is a simpler reference  ... 
doi:10.1007/978-3-642-85165-0_9 fatcat:c6hgrnjs35ea5nyw5v67cfn5mi

Specifications of a simplified transport protocol using different formal description techniques

Gregor V Bochmann
1990 Computer networks and ISDN systems  
Formal description techniques have been developed for the specification of OSI communication protocols and services, and can also be used as specification langnages for other application areas.  ...  This paper presents two complete example specifications of a simplified Transport protocol (class 2) written in Estelle and LOTOS, and the outline of a similar specification in SDL.  ...  In this context, the use of formal description techniques (FDTs) for the specification of communication protocols and services has received much attention, since such techniques allow a more systematic  ... 
doi:10.1016/0169-7552(90)90121-8 fatcat:xmroigha7nfeni5zrl4lys3dwq

The formal description technique Estelle

Robert E. Milne
1990 Science of Computer Programming  
The project extended existing work on two formal description languages, LOTOS and Estelle, by producing detailed designs, case studies and implemented tools.  ...  These two books present the work done on an ESPRIT project, SEDOS (Software Environment for the Design of Distributed Open Systems).  ...  The LOTOS book contains several formal descriptions (including, in particular, the IS0 session and transport services and protocols).  ... 
doi:10.1016/0167-6423(90)90049-j fatcat:rkaufanexfgf5mw443wesac5re

A Synthesis Algorithm of a Protocol Model from a Single Entity [chapter]

Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori
1995 IFIP Advances in Information and Communication Technology  
A protocol is desired tobe formal, precise and unambiguous, in other words, it is described using FDTs (Formal Description Techniques).  ...  Unlike previous works, where FSMs (Finite State Machines) were used to synthesize partial protocols, we use LOTOS, which is one of FDTs developed by ISO, in our proposed synthesis algorithm.  ...  LOTOS LOTOS (Language Of Temporal Ordering Specificat ion) is an FDT (Formal Description Technique) developed by ISO (International Organization for Standardization) [2] for the formal description  ... 
doi:10.1007/978-0-387-34878-0_40 fatcat:5bxvaqrx2bhx5mc2sflkyr3zvm

A LOTOS Data Facility Compiler (DAFY) [chapter]

Eric Lallemand, Guy Leduc
1992 Formal Description Techniques, IV  
If we take a look at existing LOTOS specifications, we notice that the description of the needed data types is very often huge.  ...  First, we define extensions to the LOTOS language allowing short definitions of most of the data types used in practical LOTOS specifications.  ...  The use of DAFY for the specification of the Transport Protocol showed us that this program allows the reduction of the size of the data type descriptions to about 60 % of the length of those using only  ... 
doi:10.1016/b978-0-444-89402-1.50031-x fatcat:gygc46rpl5f63hlpkqgiqjmiwe

Behavioural specification of middleware systems

Nelson Souto Rosa, Paulo Roberto Freire Cunha
2006 Journal of the Brazilian Computer Society  
In order to illustrate our approach, we present a LOTOS specification of the wellknown object-oriented middleware CORBA..  ...  The adoption of software architecture principles makes explicit structural aspects of the middleware. Meanwhile, the formalisation enables us to check behavioural properties of the middleware.  ...  In terms of formal description of middleware systems, the basic idea is to use a formal description technique for specifying several aspects of middleware.  ... 
doi:10.1590/s0104-65002006000300006 fatcat:qgp5ptxosrfvzhfv4oyooh6u6a

Behavioural specification of middleware systems

Nelson Souto Rosa, Paulo Roberto Freire Cunha
2006 Journal of the Brazilian Computer Society  
In order to illustrate our approach, we present a LOTOS specification of the wellknown object-oriented middleware CORBA..  ...  The adoption of software architecture principles makes explicit structural aspects of the middleware. Meanwhile, the formalisation enables us to check behavioural properties of the middleware.  ...  In terms of formal description of middleware systems, the basic idea is to use a formal description technique for specifying several aspects of middleware.  ... 
doi:10.1007/bf03192395 fatcat:fdzururwmzapfjzqqovpd767wa

Specification and verification of various distributed leader election algorithms for unidirectional ring networks

Hubert Garavel, Laurent Mounier
1997 Science of Computer Programming  
LOTOS is a formal language intended for the specification of communication protocols and distributed systems.  ...  The design of LOTOS was motivated by the need for a language with a high abstraction level and a strong mathematical basis, which could be used for the description and analysis of complex systems.  ...  election algorithms, and would like to thank Guy Leduc (University of Liege, Belgium) and the anonymous referees for their insightful comments about this article.  ... 
doi:10.1016/s0167-6423(96)00034-2 fatcat:ga4pghyvj5hlnftws4obvajj4y

Addressing performance requirements in the FDT-based design of distributed systems

Jeroen Schot
1992 Computer Communications  
The development of distributed systems is generally regarded as a complex and costly task, and for this reason formal description techniques such as LOTOS and ESTELLE (both standardized by the ISO) are  ...  This paper discusses a methodology for communications systems design which aims to incorporate performance requirements in the design process using a formal language like LOTOS 1.  ...  Standardization bodies (ISO, CCITT) cope with the complexity problem by using architectural models, while more and more they favour the use of FDTs for the unambiguous description of protocols and services  ... 
doi:10.1016/0140-3664(92)90106-o fatcat:cezofvft55gwvlx6fjlcvqti4a

On the introduction of gate typing in E-LOTOS [chapter]

Hubert Garavel, Inria Rhône-Alpes
1996 IFIP Advances in Information and Communication Technology  
The definition of the Formal Description Technique LOTOS (ISO standard 8807) is currently under revision.  ...  It is shown to increase• both the reliability and modularity of formal descriptions.  ...  ACKNOWLEDGEMENTS The author is grateful t.o Aloin I\erhrat, Rad11 i\]at.cc·scu, LamPnt Monnier, and Abdelbarim Nimour for their helpful comnwnts and suggc•st ions.  ... 
doi:10.1007/978-0-387-34892-6_18 fatcat:lthiladlpfegfhycthblnjby7u

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma
1987 Computer networks and ISDN systems  
LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent  ...  He has participated to the ISO activities for the definition of LOTOS since 1984, and has collaborated with the University of Twente on the LOTOS part of the ESPRIT project SEDOS, from 1984 to 1987.  ...  The first author also wishes to thank Rocco De Nicola for useful discussions during the writing of parts of this paper.  ... 
doi:10.1016/0169-7552(87)90085-7 fatcat:qlq6zheq7jh5vn5xayj6xnojn4
« Previous Showing results 1 — 15 out of 375 results