Akio Nakata Teruo Higashino Kenichi Taniguchi Dept. of Information and...  Home/Search
Context Related
| higashi.ist.osakau.a...NHT95ICNP.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: higashi.ist.osakau....researche (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we propose a method to synthesize protocol specifications automatically from service specifications written in a time-extended LOTOS called LOTOS/T+. In LOTOS/T+, structured descriptions, such as parallelism and interruption are allowed to describe service specifications, and time-constraints among non-adjacent actions can be described using Presburger formulas. Here we assume that there is a reliable communication channel between any two nodes and the maximum communication delay ... (Update)
Context of citations to this paper: More
...specifications. For service specifications with time constraints, a timed automaton based approach in [6] and a timed LOTOS based approach in [7] have been proposed. Although these approaches can handle service specifications with time constraints between non successive...
...cations. For service speci cations with time constraints, a timed automaton based approach in [47] and a timed LOTOS based approach in [48] have been proposed. The former one is the rst approach for this issue and the latter one is an extension so that they can treat service...
Cited by: More
Protocol Synthesis from Time Petri Net Based.. - Yamaguchi, Okano.. (1997) (Correct)
Time-Action Alternating Model for Timed LOTOS and its.. - Nakata, Higashino.. (1996) (Correct)
Protocol Re-synthesis Based on Extended Petri Nets - El-Fakih, Yamaguchi.. (2000) (Correct)
Similar documents (at the sentence level):
52.5%: Symbolic Bisimulation Checking and Decomposition of Real-Time.. - Nakata (1997) (Correct)
Active bibliography (related documents): More All
1.5: Protocol Synthesis from Timed and Structured Specifications - Nakata, Higashino, Taniguchi (1995) (Correct)
0.6: Implementation of Service Specifications on Distributed.. - Yamaguchi (1998) (Correct)
0.3: Synthesis of Protocol Entities' Specifications.. - Yamaguchi, Okano, .. (1995) (Correct)
Similar documents based on text:
95.0: Unknown - (Correct)
Related documents from co-citation: More All
4: On Specifying Services and Synthesizing Protocols for Real-time Applications (context) - Khoumsi, Bochmann et al. - 1994
4: Deriving Protocol Speci- cations from Service Specications Written in LOTOS (context) - Kant, Higashino et al. - 1996
4: Synthesis of Communication Protocols: an Annotated Bibliography (context) - Saleh - 1996
BibTeX entry: (Update)
Nakata, A., Higashino, T. and Taniguchi, K. : "Protocol Synthesis from Timed and Structured Specifications, " Proc. of the Int. Conf. on Network Protocols (ICNP'95), pp. 74-81, 1995. http://citeseer.ist.psu.edu/nakata95protocol.html More
@misc{ nakata95protocol,
author = "A. Nakata and T. Higashino and K. Taniguchi",
title = "Protocol Synthesis from Timed and Structured Specifications",
text = "Nakata, A., Higashino, T. and Taniguchi, K. : Protocol Synthesis from Timed
and Structured Specifications, Proc. of the Int. Conf. on Network Protocols
(ICNP'95), pp. 74-81, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/nakata95protocol.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
15 Deriving protocol specifications from service specifications.. (context) - Kant, Higashino et al. - 1993
11 Protocol synthesis in a state transition model (context) - Chu, Liu - 1988
9 Synthesis of communication protocols: Survey and assessment (context) - Probert, Saleh - 1991
8 Synthesis of protocol entities' specifications from service .. - Yamaguchi, Okano et al. - 1995
6 On specifying services and synthesizing protocols for realti.. (context) - Khoumsi, Bochmann et al. - 1995
4 Software process description using LOTOS and its enaction (context) - Yasumoto, Higashino et al. - 1994
4 LOTOS enhancement to specify time constraints among nonadjac.. - Nakata, Higashino et al. - 1994
2 Synthesis of protocol entity specifications from timed and s.. (context) - Nakata, Higashino et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-higashi.ist.osaka-u.ac.jp/~nakata/research-e.html): More
Time-Action Alternating Model for - Timed Lotos And (Correct)
Symbolic Bisimulation Checking and Decomposition of Real-Time.. - Nakata (1997) (Correct)
A Method for Functional Testing of Media.. - Yamada, Mori.. (2002) (Correct)
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