Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Mechanical verification and automatic implementation of communication protocols
IEEE Transactions on Software Engineering
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Communications of the ACM
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Advanced structured analysis and design
Advanced structured analysis and design
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Design and validation of computer protocols
Design and validation of computer protocols
Architectural considerations for a new generation of protocols
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
A dynamic network architecture
ACM Transactions on Computer Systems (TOCS)
A language-based approach to protocol implementation
SIGCOMM '92 Conference proceedings on Communications architectures & protocols
The structuring of systems using upcalls
Proceedings of the tenth ACM symposium on Operating systems principles
Extending the statechart formalism: event scheduling & disposition
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented state machines: subclassing, composition, delegation, and genericity
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Teapot: language support for writing memory coherence protocols
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
| Hi-index | 0.00 |
In this paper, an object-based approach to protocol software implementation is presented. A protocol is specified by an FSM, then the FSM is implemented by a group of related objects. In our method, each state is implemented by an object. The member functions of an object are the interface vents that trigger state transitions, and actions associated with state transitions constitute the body of the member functions. An object becomes another object if a state transition is enabled. A real example is given for illustration. We also present a software tool that lets a designer edit a state machine graphically, and generates C++ class definitions automatically. We also discuss some implementation related issues and present an organization model for protocol layers.