Stack Local Packet Memory Interface Requirements
作者： Ed Komp , Gary Minden , Joseph Evans , Stephen Ganje
DOI:
关键词: Component (UML) 、 Interface (Java) 、 Stack-based memory allocation 、 Syntax (programming languages) 、 Distributed computing 、 Active networking 、 Programmer 、 Computer network 、 Network packet 、 Protocol stack 、 Computer science
摘要: This thesis extends the protocol component architecture developed for Innovative Active Networking Services (IANS) project to include a language, syntax checker, and utility dynamic analysis of interface requirements. The IANS components exchange information via mechanism called Stack Local Packet Memory (SLPM). Each can read or write elements in SLPM. tool described here ensures that SLP memory is consistent all paths through stack. A programmer use output this identify problems his/her specification implementation thereby address those issues more expeditiously.
参考文章(15)
Emmanuel Chailloux, Pascal Manoury, Bruno Pagano, Objective Caml : développment d'applications avec O'Reilly. ,(2000)
Matti Aarno Hiltunen, Configurable fault-tolerant distributed services The University of Arizona.. ,(1996)
Jason Hickey, Nancy Lynch, Robbert van Renesse, Specifications and Proofs for Ensemble Layers tools and algorithms for construction and analysis of systems. pp. 119- 133 ,(1999) , 10.1007/3-540-49059-0_9
Mark Garland Hayden, The Ensemble System Cornell University. ,(1998)
Egon Börger, Joachim Schmid, Robert F. Stärk, Java and the Java Virtual Machine: Definition, Verification, Validation ,(2001)
David A. Karr, Specification, composition, and automated verification of layered communication protocols Cornell University. ,(1997)
W. Richard Stevens, TCP/IP Illustrated, Volume 1 : The Protocols ,(1994)
Nina T. Bhatti, Richard D. Schlichting, A system for constructing configurable high-level protocols Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication - SIGCOMM '95. ,vol. 25, pp. 138- 150 ,(1995) , 10.1145/217382.217424
Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, David A. Karr, A framework for protocol composition in Horus principles of distributed computing. pp. 80- 89 ,(1995) , 10.1145/224964.224974
Yuri Gurevich, Sequential abstract-state machines capture sequential algorithms ACM Transactions on Computational Logic. ,vol. 1, pp. 77- 111 ,(2000) , 10.1145/343369.343384