Vanna: a visual environment for the design of distributed systems
Authors: 
P. Attie, G. Bruns, M. Evangelist, C. Richter, V. ShenAuthors Info & Claims
Pages 546 - 553
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.
References
[1]
Attie, P., "A Guide to Raddle87 Semantics," MCC Technical Report STP-340-87, January 11, 1988.
[2]
Back, R. and R. Kurki-Suonio, "Serializability in distributed systems with handshaking," CMU- CS-85-109, Carnegie-MeUon University Technical Report, 1985.
[3]
Bruns, G. and Richter, C., "Rada - An Ariabased Language for Distributed Systems Design", MCC Technical Report STP-251-89, June, 1989.
[4]
Caitlin-Roman, G. and M. S. Day, "Multifaceted distributed systems specification using processes and event synchronization," Proc. 7th International Conf. on Software Engineering, Orlando, Florida, 1984, 44-55.
[5]
Charlesworth, A., "The multiway rendezvous," ACM Transactions on Programming Languages and Systems, 9:3 (July 1987), 350-366.
[6]
De Cindio, F., G. De Michelis, L. Pomello, and C. Simone, "Superposed automata nets," in Application and Theory of Petri Nets (C. Girault and W. Reisig, eds.), Springer-Verlag, New York, 1982, 258-268.
[7]
Evangelist, M., V. Shen, I. Forman, and M. Graf, "Using Raddle to Design Distributed Systems," Proceedings of the l Oth International Conference of Software Engineering, 1988.
[8]
Evangelist, Michael, Nissim Francez, and Shmuel Katz, "Multi-party interactions for interprocess communication and synchronization," IEEE Transactions on Software Engineering, to appear late 1989.
[9]
Forman, I., "On the Design of Large Distributed Systems," MCC Technical Report STP- 098-86 Rev 1.0, January 26, 1987.
[10]
Levy, E., "A Survey of Distributed Coordination Algorithms," MCC Technical Report STP-271-88, August 15, 1988.
[11]
Milne, G. J., "CIRCAL and the representation of communication, concurrency, and time," A CM Transactions on Programming Languages and Systems, 7:2 (April 1985), 270-298.
[12]
Ramesh, S. and S. L. Mehndiratta, "A methodology for developing distributed programs," IEEE Transactions on Software Engineering, SE- 13:8 (August 1987), 967-976.
[13]
Smith, E., G.,Kotik, and S. Westfold, "Research on Knowledge-Based Software Environments at Kestrel Institute," IEEE Transactions on Software Engineering, SE-11:ll (November 1987), 1278-1295.
[14]
U.S. Dept. of Defense, Reference Manual for the Ada Programming Language, ANSI/MIL-STD- 1815A-1983, February, 1983.
Index Terms
- Vanna: a visual environment for the design of distributed systems
Recommendations
The Domain-Specific Language Monaco and its Visual Interactive Programming Environment
VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric ComputingMonaco is a domain-specific language for machine automation programming. It has been developed with the objective to empower domain experts with limited programming capabilities. Its main language features are an imperative notation for reactive systems,...
Design and implementation of a C-based language for distributed real-time systems
This paper describes the design and implementation of a concurrent programming language suitable for use with real-time distributed systems. The language, MC, is an extension of the language C with some of the concrrency features of ADA. The ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1989 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 03 January 1989
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 178Total Downloads
- Downloads (Last 12 months)20
- Downloads (Last 6 weeks)6
Reflects downloads up to 29 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in