Filters








270 Hits in 2.6 sec

Detecting feature interactions with Cæsar/Aldébaran

Henri Korver
1997 Science of Computer Programming  
Bouma and Zuidweg (Dutch PTT) formalised a simple example of feature interaction between two telephone services in LOTOS.  ...  The interaction takes place between the Abbreviated Dialling and Originating Call Screening service in the IN CS-1 Global Functional Plane.  ...  Values of the detection-point type are used to identify particular points in the Basic Call Process where telephone services are invoked. All interactions in the LOTOS model are of the form: poi!  ... 
doi:10.1016/s0167-6423(96)00037-8 fatcat:sj7ridsnmvasfbp7tqhyb7vs2e

An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system [chapter]

L. Andriantsiferana, J.-P. Courtiat, R. C. Oliveira, L. Picci
1997 Formal Description Techniques and Protocol Specification, Testing and Verification  
The formal method used for the experiment is RT-LOTOS, a temporal extension of the LOTOS standard Formal Description Technique (FDT in short) .  ...  More specifically, the experiment is devoted to the formal specification and verification of the distributed scheduling algorithm managing the hot redundancy between the two computers composing the system  ...  The use of a LOTOS-based approach has also greatly simplified the specification development.  ... 
doi:10.1007/978-0-387-35271-8_27 fatcat:zcibsu3hhrbblj2zgxbmkihtbq

Formalising Web Services [chapter]

Kenneth J. Turner
2005 Lecture Notes in Computer Science  
Despite the popularity of web services, creating them manually is an intricate task. Composite web services are defined using the evolving standard for BPEL (Business Process Execution Logic).  ...  Sample CRESS descriptions are presented of web services. These are automatically translated into LOTOS, permitting rigorous analysis and automated validation.  ...  Interaction among Services Scenario-based validation is also a useful way of checking for interference among supposedly independent services.  ... 
doi:10.1007/11562436_34 fatcat:ubkaw3dwkvfyvdncp3shxhw43e

Specifying and Realising Interactive Voice Services [chapter]

Kenneth J. Turner
2003 Lecture Notes in Computer Science  
CRESS (Chisel Representation Employing Systematic Specification) can be used to give a more abstract, language-independent view of interactive voice services.  ...  CRESS is automatically compiled into VoiceXML for implementation, and into LOTOS (Language Of Temporal Ordering Specification) or SDL (Specification and Description Language) for automated analysis.  ...  For example, a feature that introduces extra choices in a menu can interfere with current use of DTMF digits to select from the menu.  ... 
doi:10.1007/978-3-540-39979-7_2 fatcat:rxfgz5gt6veiheztdbvt2jluzq

Formal Test Automation: A Simple Experiment [chapter]

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe Feijs, Sjouke Mauw, Lex Heerink
1999 IFIP Advances in Information and Communication Technology  
The test scenarios are derived from multiple specification languages: LOTOS, Promela and SDL. A central theme of this study is the usability of batch-oriented and on-the-fly testing approaches.  ...  In this paper 1 we study the automation of test derivation and execution in the area of conformance testing.  ...  This is not explicitly modeled in our LOTOS specification, and therefore these mutants are ioco-correct with respect to the LOTOS specification, which is why we can not detect them.  ... 
doi:10.1007/978-0-387-35567-2_12 fatcat:bnbwpazevbb2jg7anb2ryhchea

A rigorous approach to orchestrating grid services

Kenneth J. Turner, Koon Leai Larry Tan
2007 Computer Networks  
This is achieved using the technique of CRESS (Communication Representation Employing Systematic Specification) to describe the composition of grid services.  ...  CRESS descriptions are automatically translated into LOTOS (Language Of Temporal Ordering Specification), allowing systematic checks for interoperability and logical errors prior to implementation.  ...  of Glasgow).  ... 
doi:10.1016/j.comnet.2007.06.020 fatcat:icggsfsyrfecfimbgb6a626a4q

Analysing interactive voice services

Kenneth J. Turner
2004 Computer Networks  
For this paper, IVR services are described with CRESS and translated into LOTOS (Language Of Temporal Ordering Specification) for automated analysis.  ...  MUSTARD (Multiple-Use Scenario Test And Refusal Description) is introduced as a language for defining scenario-based tests of services. The approach is illustrated with sample tests of IVR services.  ...  Acknowledgements Nuance Corporation kindly provided an academic licence for use of Nuance V-Builder T M in this work.  ... 
doi:10.1016/j.comnet.2004.03.005 fatcat:xxsgjvpfe5h2pkrlh2wxqvgq5e

The Feature Interaction Problem in the IN: In search of a global solution [chapter]

Nadir Belarbi, Dominique Gaiti
1997 Intelligent Networks and Intelligence in Networks  
Telecommunication operators are looking for new types of services to be introduced in multimedia networks.  ...  The toll free number is a key service that first permitted to realize that the introduction of new services in classical telecommunication networks is a difficult task.  ...  Logic The concepts of constraints and knowledge goals [Halpern 90 ] are also used to detect feature interactions [Faci 94 ]. Con~traint-oriented specifications are developed in LOTOS [ISO 8807] .  ... 
doi:10.1007/978-0-387-35066-0_6 fatcat:celugxyp3fdy7lplcuw4va2yhm

Feature Interaction Detection using Backward Reasoning with LOTOS [chapter]

Bernard Stepien, Luigi Logrippo
1995 IFIP Advances in Information and Communication Technology  
The method proposed involves specification of the features in LOTOS, and uses an analysis technique called backward reasoning.  ...  Features are specified in LOTOS, and the specification is analyzed by using backward reasoning [DB78] [Hol85] [Lin 90].  ...  SPECIFICATION OF FEATURES USING THE STATUS ORIENTED STYLE There are several published LOTOS specifications of telephones with features [BL93] [Najm93] .  ... 
doi:10.1007/978-0-387-34867-4_5 fatcat:4og5obd42jc2vpxoak2g6isl5e

Representing and analysing composed web services using Cress

Kenneth J. Turner
2007 Journal of Network and Computer Applications  
It is outlined how they are automatically implemented and systematically analysed using the target languages BPEL and LOTOS (Language Of Temporal Ordering Specification).  ...  CRESS supports straightforward graphical descriptions of composite web services. Sample descriptions are presented of these.  ...  However, the focus has been on standardised languages used in communications: LOTOS (Language Of Temporal Ordering Specification [10] ) and SDL (Specification and Description Language [12] ).  ... 
doi:10.1016/j.jnca.2006.02.001 fatcat:xo67alb3pjbm5nfzgshti4r2bq

Rigorous development of composite grid services

Kenneth J. Turner, Koon Leai Larry Tan
2012 Journal of Network and Computer Applications  
A straightforward graphical notation is used to describe grid services. These are then automatically specified, analysed and implemented.  ...  CRESS (Communication Representation Employing Systematic Specification) is introduced as notation, a methodology and a toolset for service development.  ...  CRESS differs in that no specification is required of either BPEL or LOTOS.  ... 
doi:10.1016/j.jnca.2012.01.015 fatcat:fljrvznybzea7foud7w45is5fm

Incremental requirements specification withLotos

K. J. Turner
1997 Requirements Engineering  
Small introductory examples lead to the incremental specification of a file access system using the approach in the paper.  ...  The nature of constraint-oriented specification is discussed at some length, and guidelines for how to use it effectively with LOTOS are presented.  ...  Hubert Garavel, INRIA Rhône-Alpes, kindly undertook independent checks on the LOTOS specification of the file access system.  ... 
doi:10.1007/bf02802772 fatcat:hm7c2noairdcrofekote6lcb74

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip

Gwen Salaun, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
2007 Advanced Research in Asynchronous Circuits and Systems (ASYNC) Proceedings of the International Symposium on  
Our proposal is based on an automatic translation from CHP into LOTOS, the process algebra used in CADP.  ...  In this paper, we describe a new approach for the formal verification of asynchronous architectures described in the high-level language CHP, by using model checking techniques provided by the CADP toolbox  ...  Acknowledgements This collaborative work has been supported by the common laboratory of INRIA Rhône-Alpes and CEA/Leti as well as the Minalogic EmSoC MULTIVAL project.  ... 
doi:10.1109/async.2007.18 dblp:conf/async/SalaunSTV07 fatcat:qcvjfcn23bddzjpld6ldkibtc4

Modelling SIP Services Using Cress [chapter]

Kenneth J. Turner
2002 Lecture Notes in Computer Science  
CRESS (CHISEL Representation Employing Systematic Specification) is a notation and set of tools for graphical specification and analysis of services.  ...  Preliminary work has been presented on service interaction detection using the specifications generated by CRESS.  ...  Formal analysis of services is based on a translation to LOTOS (Language Of Temporal Ordering Specification) or SDL (Specification and Description Language).  ... 
doi:10.1007/3-540-36135-9_11 fatcat:osvezoqsyjhv3c6aajisipmgzi

Lockout and Tagout in a Manufacturing Setting from a Situation Awareness Perspective

Prasanna Illankoon, Yamuna Manathunge, Phillip Tretten, John Abeysekara, Sarbjeet Singh
2019 Safety  
In spite of regulations, serious accidents continue to occur due to lapses during lockout and tagout (LOTO) applications. Few studies have examined LOTO effectiveness from a user perspective.  ...  Qualitative content analysis revealed perceptual, comprehension and projection challenges associated with different phases of LOTO applications.  ...  Acknowledgments: We gratefully acknowledge the employees of the manufacturing organization where the study was carried out. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/safety5020025 fatcat:yebt7xlt6nebrf3cwf7tziosfa
« Previous Showing results 1 — 15 out of 270 results