(Enter summary)
Abstract: We describe a system called Polylith that helps programmers prepare and interconnect mixed-language
software components for execution in heterogeneous environments. Polylith's principal benefit is that
programmers are free to implement functional requirements separately from their treatment of interfacing
requirements; this means that once an application has been developed for use in one execution environment
(such as a distributed network) it can be adapted for reuse in other environments... (Update)
Context of citations to this paper: More
...out of the actual parameter list. ACTUAL PATTERN : a:lNT; b:STR FORMAL PATTERN: INT NIMBLE: a ACTUAL PATTERN : a:lNT; b: a:STR; b: FLOAT[5,3]; c: STR ; c: BOOL FORMAL PATTERN: STR; FLOAT[3] BOOL NIMBLE: b.a; b.b[0] c Of course, instead of manipulating existing actual...
...the problems, e.g. in temporal logic, or to analyze some problems manually. Several approaches to adaptable software are wellknown [5, 6]. However, this paper focuses on an approach to a scalable development environment with automatic tools for enforcing correctness and...
Cited by: More
APEL: a Graphical Yet Executable Formalism for Process.. - Dami, Estublier, Amiour (1997)
(Correct)
Support for Implementation of Evolutionary Concurrent Systems - Pandey, Browne (2001)
(Correct)
Integrating Existing Event-based Distributed Applications - Chen Chen Xerox (1995)
(Correct)
Active bibliography (related documents): More All
0.5: Virtual Environment Architectures: Interoperability Through.. - Stotts, Purtilo (1994)
(Correct)
0.5: Building a Computer Algebra Environment by Composition of.. - Kajler (1992)
(Correct)
0.5: Parallel I/O Using A Distributed Disk Cluster: An Exercise.. - Falkenberg, Purtilo
(Correct)
Similar documents based on text: More All
0.1: A Server Of Distributed Disk Pages Using A Configurable.. - Charles Falkenberg (1993)
(Correct)
0.1: A Framework for Event-Based Software Integration - Barrett, Clarke, Tarr, Wise (1996)
(Correct)
0.1: Languages for Configuration Programming: A Comparison - Bishop (1994)
(Correct)
Related documents from co-citation: More All
17: Abstractions for Software Architecture and Tools to Support Them
- Shaw, DeLine et al.
16: Constructing Distributed Systems in Conic
- Magee, Kramer et al. - 1989
13: A constructive development environment for parallel and distributed programs
- Magee, Dulay et al. - 1994
BibTeX entry: (Update)
Purtilo, J. The Polylith software bus. ACM Trans. on Prog. Lang. and Sys. (1992), to appear. http://citeseer.ist.psu.edu/purtilo91polylith.html More
@article{ purtilo94polylith,
author = "James M. Purtilo",
title = "The {POLYLITH} Software Bus",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "16",
number = "1",
month = "January",
publisher = "ACM Press",
pages = "151--174",
year = "1994",
url = "citeseer.ist.psu.edu/purtilo91polylith.html" }
Citations (may not include all citations):
405
Fine-grained mobility in the Emerald system
- Jul, Levy et al. - 1988
226
Lightweight remote procedure call (context) - Bershad, Anderson et al. - 1990
202
Make -- A program for maintaining computer programs
- Feldman - 1978
184
International Organization for Standardization
- Systems, -- et al. - 1981
174
Distributed programming in Argus (context) - Liskov - 1988
164
distributed system (context) - Cheriton, The - 1988
123
Constructing distributed systems in Conic
- Magee, Kramer et al. - 1989
86
Gandalf: Software Development Environments (context) - Habermann, Notkin - 1986
82
Programming-in-the-Large Versus Programming-in-the-Small (context) - DeRemer, Kron - 1976
79
CLU Reference Manual (context) - Liskov, Atkinson - 1981
75
A value transmission method for abstract data types (context) - Herlihy - 1982
68
Promises: linguistic support for efficient asynchronous proc.. (context) - Liskov - 1988
67
The Inscape Environment
- Dewayne - 1989
35
high reliability distributed system (context) - Popek, Walker et al. - 1981
34
Specification Level Interoperability (context) - Wileden, Wolf et al. - 1991
30
Matchmaker: An Interface Specification Language for Distribu.. (context) - Jones, Rashid et al. - 1985
28
Interconnecting heterogeneous computer systems (context) - Notkin, Black et al. - 1988
27
A stub generator for multilanguage RPC in heterogeneous envi.. (context) - Gibbons - 1987
24
CONCERT: A high-level language approach to heterogeneous dis.. (context) - Yemini, Goldszmidt - 1989
21
An environment for developing fault tolerant software (context) - Purtilo - 1991
21
The AdaPIC Tool Set: Supporting Interface Control and Analys.. (context) - Wolf, Clark et al. - 1989
17
The Interface Description Language: Definition and Use (context) - Snodgrass - 1989
17
Software Development Control Based on System Structure Descr.. (context) - Walter - 1980
12
Experience with Charlotte: simplicity and function in a dist.. (context) - Finkel, Scott - 1989
12
The Mesa Programming Environment (context) - Richard - 1985
11
Journal of Systems and Software (context) - David, Project - 1985
11
A simple system for constructing distributed (context) - Hayes, Manweiler et al. - 1988
9
Software bus organization: reference model and comparison of.. (context) - Purtilo, Snodgrass et al. - 1991
9
language extension for programming general purpose distribut.. (context) - Bloch, Camelot - 1989
9
An environment for prototyping distributed applications (context) - Purtilo - 1989
9
Marionette: A system for parallel distributed programming us.. (context) - Sullivan - 1989
9
Developing applications for heterogeneous machine networks: .. (context) - Barbacci, Doubleday et al. - 1989
8
ACM Transactions on Programming Languages and Systems (context) - Lamb - 1987
7
Environments for prototyping parallel algorithms (context) - Purtilo, Reed et al. - 1988
5
A software interconnection technology to support specificati.. (context) - Purtilo - 1986
4
The cross-architecture procedure call (context) - Essick - 1987
4
Intelligent support for software specification and design (context) - Lubars, Harandi - 1986
2
A methodology for prototyping in the large (context) - Purtilo, Larson et al. - 1991
2
MINION: An environment to organize mathematical problem solv.. (context) - Purtilo - 1989
1
Xerox Corporation Xerox System Integration Standard XSIS (context) - the, call - 1981
1
Sun Microsystems Reference Manual (context) - External, Standard - 1988
1
Mapping the Interface Description Language Type Model into C (context) - Shannon - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://nenya.ms.mff.cuni.cz/thegroup/rel_work/r.html): More
Three Concepts of System Architecture - Luckham, Vera, Meldal (1995)
(Correct)
Formalizing Style to Understand Descriptions of Software.. - Abowd, Allen, Garlan (1995)
(Correct)
Acme: An Architecture Description Interchange Language - Garlan (1997)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC