Keyword : FDT


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

On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions
Bhed Bahadur BISTA Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11 ; pp. 2426-2435
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
serviceprotocolFDTalternative compositionparallel composition
 Summary | Full Text:PDF

A Compositional Approach for Constructing Communication Services and Protocols
Bhed Bahadur BISTA Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/11/25
Vol. E82-A  No. 11 ; pp. 2546-2557
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
protocolserviceFDTcompositionalternativesequentialinterruptparallel
 Summary | Full Text:PDF

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

Reuse Based Specification Support Method Using Mathematical Similarity
Ushio YAMAMOTO Eun-Seok LEE Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1752-1759
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
FDTLTSsimilarityspecification reuse
 Summary | Full Text:PDF

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

An Effective Application of Net-Theory to Communication Protocol Development
Norio SHIRATORI Eun-Seok LEE Ken TERUYA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1588-1593
Type of Manuscript:  INVITED PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Net-theoryprotocol life cycleFDTLTSprotocolFSMCCS
 Summary | Full Text:PDF

A Support Method for Specification Process Based on LTSs
Ushio YAMAMOTO 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. 1656-1662
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
FDTLTSsimilarityspecification reusespecification support
 Summary | Full Text:PDF

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