Synthesis of communications gateways using the Petri net model

Because of the proliferation of proprietary network architectures and protocols, there is an urgent need for constructing communication gateways to ensure the interoperability among such networks and protocols. Various formal methods have been introduced in the literature to deal with the derivation...

Full description

Saved in:
Bibliographic Details
Main Authors: Saleh, K., Jaragh, M.
Format: Conference Proceeding
Language:English
Subjects:
Automata
Design methodology
Explosions
Information technology
Network interfaces
Network synthesis
Protocols
Quality of service
Relays
Standardization
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Because of the proliferation of proprietary network architectures and protocols, there is an urgent need for constructing communication gateways to ensure the interoperability among such networks and protocols. Various formal methods have been introduced in the literature to deal with the derivation of gateways. Most of these methods use the communicating finite state machine (CFSM) model to describe the different protocols and services involved in the conversion process. However, CFSMs suffer from the state explosion problem and cannot express concurrent behavior. Therefore most of the available methods do not scale up to large and concurrent protocols and services. To eliminate those problems, the authors advocate the use of the Petri net (PN) model as a specification formalism to be used in the design of the gateway. They present a gateway synthesis approach (which starts from the PN specification of the services and protocols) to reconciliate and use some net transformation rules to synthesize the gateway. An illustrative example is provided.< >
DOI:10.1109/ICCS.1994.474284