Vanna: a visual environment for the design of distributed systems

Authors:
P. Attie;G. Bruns;M. Evangelist;C. Richter;V. Shen
Affiliations:
Software Technology Program, MCC, Austin, Texas;Software Technology Program, MCC, Austin, Texas;Software Technology Program, MCC, Austin, Texas;Software Technology Program, MCC, Austin, Texas;Software Technology Program, MCC, Austin, Texas
Venue:
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Year:
1989

Citing 7
Cited 0

CIRCAL and the representation of communication, concurrency, and time

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Research on Knowledge-Based Software Environments at Kestrel Institute

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The multiway rendezvous

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Methodology for Developing Distributed Programs

IEEE Transactions on Software Engineering
Using raddle to design distributed systems

ICSE '88 Proceedings of the 10th international conference on Software engineering
Multiparty Interactions for Interprocess Communication and Synchronization

IEEE Transactions on Software Engineering
Multifaceted distributed systems specification using processes and event synchronization

ICSE '84 Proceedings of the 7th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Raddle is a language for designing large, distributed systems. Raddle includes several high-level design constructs, such as the N-party interaction, non-deterministic choice, and system modularity structures. These constructs have proven useful in projects we have undertaken with MCC Shareholders. This paper describes the Vanna project, in which the goal is to build preprocessors to various programming languages that allow the expression of Raddle-like designs in a compilable language. Our first preprocessor will be based on Ada.