Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Horus: a flexible group communication system
Communications of the ACM
Composition and behaviors of probabilistic I/O automata
Theoretical Computer Science
ACM Transactions on Computer Systems (TOCS)
Locating Data in (Small-World?) Peer-to-Peer Scientific Collaborations
IPTPS '01 Revised Papers from the First International Workshop on Peer-to-Peer Systems
SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk
MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Response Time Analysis of Composable Micro-Protocols
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Building scalable solutions to distributed computing problems using probabilistic components
Building scalable solutions to distributed computing problems using probabilistic components
Balanced binary trees for ID management and load balance in distributed hash tables
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
On the design of distributed protocols from differential equations
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Routing design in operational networks: a look from the inside
Proceedings of the 2004 conference on Applications, technologies, architectures, and protocols for computer communications
A churn-resistant peer-to-peer web caching system
Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems: in association with 10th ACM Conference on Computer and Communications Security
Using the strategy design pattern to compose reliable distributed protocols
COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
| Hi-index | 0.00 |
We argue that “design methodology research” for self-* distributed systems needs to be recognized and enriched. Methodologies encourage systematic design of distributed protocols. They augment the creative activity of innovation, rather than stifle it. They enable easy design of, and automatic code generation for, distributed systems with predictable properties. Through a taxonomy, we show that methodology research is growing slowly but steadily. As a case study, we present and discuss a new methodology that concretely captures the design of a large class of peer-to-peer distributed hash tables (p2p DHTs) and DHT-based applications. We use this to show some advantages of methodology research, such as effective exploration of the design space for protocols. We also summarize some of our ongoing work in the direction of developing methodologies for distributed protocols.