! Aware: default selections: Protocol Development

- Agent communication languages have been used for years in proprietary multiagent systems. Yet agents from different vendors—or even different research projects—cannot communicate with each other. The author looks at the underlying reasons and proposes a conceptual shift from individual agent representations to social interaction.

Codesign of Communication Protocols ( Alan S. Wenban, John W. O'Leary, Geoffrey M. Brown ; IEEE Computer Magazine 1993-12)

- A codesign process using Promela, a concurrent programming language, is under development. A description is given of Promela, the software compiler, and the hardware compiler. As an example, the method is applied to a simple communication system using the alternating bit protocol.

Formal Models of Communication Services: A Case Study ( Alan Feteke ; IEEE Computer Magazine 1993-08)

- Formal methods can play an important role in exploring new communication systems services. The telecommunications and data communications communities have long accepted the need for formally describing protocols, but only recently have they considered formally describing a service by abstracting specifications from a particular protocol that provides that service. Specifying a service at an abstract level meets two important needs: standardization and customization. The author presents a simplified atomic multicast as an example service and input/output automata for the formal model. He shows how to represent the service specification, a protocol, and implementations of that protocol. He also sketches how to prove the correctness of the protocol and implementation, that is, how to show that the specified service is actually provided.

The Programmable Network Prototyping System ( Randy Cieslak, Ayman Fawaz, Sonia Sachs, Pravin Varaiya, Jean Warland, Albert Li ; IEEE Computer Magazine 1989-05)

- The programmable network prototyping system (PNPS) uses a collection of reusable hardware modules that implement generic communications functions such as transmission, reception, signal propagation, and pattern matching. These modules are interconnected and configured to emulate a variety of communication networks whose behavior can be monitored under different load conditions. The user specifies a network as a set of interacting components using available software tools. These tools are accessible within a prototyping environment that includes a control system for configuring the hardware modules and interconnecting them according to the component specifications. Previously designed components are stored in a library and can be used to specify new networks. Although PNPS is designed to provide a prototyping environment for communication networks, some of the basic ideas can be useful in other contexts.

Related Subjects (default selections)

(The following links to subjects at this site retain your personalized selections.)

Up to Activity specific - Gateway topic to software used in specific activities. (application software, business, professional, science, education, etc.)

Up to Software Development - Tools and utilities for software development

(There may be additional related subject pages listed here)

Pre-Selections

Use our system: Bring Rapid Knowledge Transfer and Awareness to your company website!

Rapid-Links: Search | About | Comments | Submit Path: RocketAware > Activity specific > Software Development > Protocol Development >

Pre-Selections

Use our system: Bring Rapid Knowledge Transfer and Awareness to your company website!