ACM Transactions on Software Engineering and Methodology · 2004 · 43 citations · 22 references
ComputingComputer ScienceComputer NetworksFormal MethodsTranslation TheoryCommunication NetworksCommunication SystemsNetwork AddressingNetwork ProtocolsAddress TranslationAddressingTelecommunication Protocols
Address translation causes a wide variety of interactions among telecommunication features. This article begins with a formal model of address translation and its effects, and with principles for understanding how features should interact in the presence of address translation. There is a simple and intuitive set of constraints on feature behavior so that features will interact according to the principles. This scheme (called "ideal address translation") has provable properties, is modular (explicit cooperation among features is not required), and supports extensibility (adding new features does not require changing old features). The article also covers reasoning in the presence of exceptions to the constraints, limitations of the theory, relation to real networks and protocols, and relation to other research.
22
End-To-End Arguments In System Design
Jerome H. Saltzer, David P. Reed, David D. Clark · 1984 · 2.1K citations
Goal-oriented requirements engineering: a guided tour
Axel van Lamsweerde · 2002 · 1.7K citations
A survey of active network research
David L. Tennenhouse, Jonathan M. Smith, W.D. Sincoskie et al. · IEEE Communications Magazine · 1997 · 1.4K citations · Full text
J. Klensin · 2008 · 309 citations