Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Communicating sequential processes
Communicating sequential processes
Object oriented programming: an evolutionary approach
Object oriented programming: an evolutionary approach
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Proceedings of the 5th Colloquium on International Symposium on Programming
Preliminary experience from the dice system a distributed incremantal compiling environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Prism = methodology + process-oriented environment
ICSE '90 Proceedings of the 12th international conference on Software engineering
Prism-Methodology and Process-Oriented Environment
IEEE Transactions on Software Engineering
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
It is well known that programming and testing distributed systems can be extremely difficult. Reasons for this include non-deterministic behavior, non-reproducibility of events, complex timing of events, and complex states. This paper presents a paradigm and system that will support a programmer when designing, programming, and testing a distributed application. Our main point is that the structure introduced by the paradigm must be kept and exploited during design, programming, and testing. One is not helped by a programming method which introduces a structure just to break it down again. We have developed a structural model based on common structures in distributed systems. This structural model is used to describe the logical relationships between components in a system. It is also integrated into the programming environment.