The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
Applied cryptography (2nd ed.): protocols, algorithms, and source code in C
Applied cryptography (2nd ed.): protocols, algorithms, and source code in C
A system for constructing configurable high-level protocols
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
A framework for network protocol software
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
A framework for protocol composition in Horus
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Coyote: a system for constructing fine-grain configurable communication services
ACM Transactions on Computer Systems (TOCS)
Enterprise resource planning: componentizing the enterprise application packages
Communications of the ACM
Athena: a novel approach to efficient automatic security protocol analysis
Journal of Computer Security
The design of a transport protocol for on-demand graphical rendering
NOSSDAV '02 Proceedings of the 12th international workshop on Network and operating systems support for digital audio and video
Inside XSLT
The XML Schema Complete Reference
The XML Schema Complete Reference
Logic and Language Models for Computer Science
Logic and Language Models for Computer Science
ITP: an image transport protocol for the internet
IEEE/ACM Transactions on Networking (TON)
IEEE Software
Application of CBSE to Projects with Evolving Requirements - A Lesson-Learned
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
CSFW '00 Proceedings of the 13th IEEE workshop on Computer Security Foundations
An improved UDP protocol for video transmission overInternet-to-wireless networks
IEEE Transactions on Multimedia
| Hi-index | 0.00 |
A communication protocol is a set of rules shared by two or more communicating parties on the sequence of operations and the format of messages to be exchanged. Standardization organizations define protocols in the form of recommendations (e.g., RFC) written in technical English, which requires a manual translation of the specification into the protocol implementation. This human translation is error-prone due in part to the ambiguities of natural language and in part due to the complexity of some protocols. To mitigate these problems, we divided the expression of a protocol specification into two parts. First, we designed an XML-based protocol specification language (XPSL) that allows for the high-level specification of a protocol-expressed as a Finite State Machine (FSM)-using Component-Based Software Engineering (CBSE) principles. Then, the components required by the protocol are specified in any suitable technical language (formal or informal). In addition, we developed the multi-layer Meta-Protocol framework, which allows for on-the-fly protocol discovery and negotiation, distribution of protocol specifications and components, and automatic protocol implementation in any programming language.