Keyword : LOTOS


On Optimization in Composition of Concurrent Formal Specifications
Bhed Bahadur BISTA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2905-2908
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems and Hybrid Systems)
Category: 
Keyword: 
formal specificationFDTLOTOScombining processesintermediate processes
 Summary | Full Text:PDF(168.4KB)

Composition of Service and Protocol Specifications in Asynchronous Communication System
Noppadol MANEERAT Ruttikorn VARAKULSIRIPUNTH Bhed Bahadur BISTA Kaoru TAKAHASHI Yasushi KATO Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/10/01
Vol. E87-D  No. 10 ; pp. 2306-2317
Type of Manuscript:  PAPER
Category: Networks
Keyword: 
LOTOSLTSweak bisimulationasynchronous model
 Summary | Full Text:PDF(702KB)

Method Integration with Formal Description Techniques
Sureerat SAEEIAB Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4 ; pp. 616-626
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
method integrationspecification and design methodsformal description techniqueLOTOSOMT
 Summary | Full Text:PDF(1.1MB)

Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS
Akira KITAJIMA Keiichi YASUMOTO Teruo HIGASHINO Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/03/25
Vol. E82-A  No. 3 ; pp. 487-494
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
LOTOSsynchronous EFSMstransformationmulti-rendezvousimplementation
 Summary | Full Text:PDF(406.3KB)

Composition of Protocol Functions
Bhed Bahadur BISTA Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 586-595
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
protocolmultiphasemultifunctiondisabling functionFDTLOTOS
 Summary | Full Text:PDF(914.6KB)

A Flexible Verifier of Temporal Properties for LOTOS
Kaoru TAKAHASHI Yoshiaki TOKITA Takehisa TANAKA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/01/25
Vol. E79-D  No. 1 ; pp. 8-21
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
specificationverificationprotocolLOTOSsoftware tool
 Summary | Full Text:PDF(1MB)

A New Approach for Protocol Synthesis Based on LOTOS
Bhed Bahadur BISTA Zixue CHENG Atsushi TOGASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1646-1655
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
protocolprotocol synthesisdeadlockFDTLOTOS
 Summary | Full Text:PDF(828.4KB)

Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems
kazuhito OHMAKI Yutaka SATO Ichiro OGATA Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1580-1590
Type of Manuscript:  Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design)
Category: 
Keyword: 
Petri netprocess algebraCCSLOTOSuser interface management system
 Summary | Full Text:PDF(891KB)

PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes
Keiichi YASUMOTO Teruo HIGASHINO Toshio MATSUURA Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1015-1023
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
LOTOSservice definitionprotocol specificationsimulatorcorrectness
 Summary | Full Text:PDF(843.8KB)

An Integrated User-Friendly Specification Environment for LOTOS
Norio SHIRATORI Eun-Seok LEE 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 931-941
Type of Manuscript:  INVITED PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
specification environmentLOTOSFDTprotocol human interfacesoftware productivity
 Summary | Full Text:PDF(813.8KB)

Formal Specification and Verification of ISDN Services in LOTOS
Keiichirou YAMANO Dusan JOKANOVIC Tsuyoshi ANDO Masataka OHTA Kaoru TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/08/25
Vol. E75-B  No. 8 ; pp. 715-722
Type of Manuscript:  Special Section PAPER (Special Issue on the 4th Japan-Korea Joint Conference on Communications, Networks, Switching Systems and Satellite Communications (4th JC-CNSS))
Category: 
Keyword: 
LOTOSspecificationverificationswitching software
 Summary | Full Text:PDF(659.5KB)

An Automatic Implementation Method of Protocol Specifications in LOTOS
Zixue CHENG Kaoru TAKAHASHI Norio SHIRATORI Shoichi NOGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/07/25
Vol. E75-D  No. 4 ; pp. 543-556
Type of Manuscript:  PAPER
Category: Computer Networks
Keyword: 
FDT (Formal Description Technique)LOTOSprotocolsautomatic implementationspecification translation
 Summary | Full Text:PDF(1.1MB)

Service Specification and Its Protocol Specifications in LOTOS--A Survey for Synthesis and Execution--
Teruo HIGASHINO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/25
Vol. E75-A  No. 3 ; pp. 330-338
Type of Manuscript:  INVITED PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
LOTOScommunication protocolsdistributed systemsformal description techniquessynthesis
 Summary | Full Text:PDF(612.4KB)