Architecture-based runtime software evolution
Published 27 November 2002
Peyman Oreizy, Nenad Medvidović, Richard N. Taylor
Citations300
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
An architecture-based approach to runtime software evolution is presented and the role of software connectors in supporting runtime change is highlighted and an initial implementation of a tool suite for supporting the runtime modification of software architectures is presented.
Abstract
Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associated with shutting down and restarting the system for an update. We present an architecture-based approach to runtime software evolution and highlight the role of software connectors in supporting runtime change. An initial implementation of a tool suite for supporting the runtime modification of software architectures, called ArchStudio, is presented.
Keywords
Computer Science
CERN Document Server (European Organization for Nuclear Research)Software architecture: perspectives on an emerging discipline
2,966 Citations1996Mary Shaw, David Garlan
1. architectural Styles, 2. Shared Information Systems, 3. Education of Software Architects, 4. Architectural Design Guidance.
ACM SIGSOFT Software Engineering NotesFoundations for the study of software architecture
2,014 Citations1992Dewayne E. Perry, Alexander L. Wolf
A model of software architecture that consists of three components: elements, form, and rationale is presented, which provides the underlying basis for the architecture in terms of the system constraints, which most often derive from the system requirements.
ACM Transactions on Software Engineering and MethodologyA formal basis for architectural connection
1,241 Citations1997Robert J. Allen, David Garlan
The key idea is to define architectural connectors as explicit semantic entities as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact.
IEEE Transactions on Software EngineeringAbstractions for software architecture and tools to support them
808 Citations1995Mary Shaw, Robert DeLine +4 more
The purpose is to support the abstractions used in practice by software designers, and sketches a model for defining architectures and presents an implementation of the basic level of that model.
IEEE Transactions on Software EngineeringThe evolving philosophers problem: dynamic change management
791 Citations1990Jeff Kramer, Jeff Magee
A model for dynamic change management which separates structural concerns from component application concerns is presented and is applied to an example problem, 'evolving philosophers', which has been implemented and tested in the Conic environment for distributed systems.
Dynamic structure in software architectures
539 Citations1996Jeff Magee, Jeff Kramer
ADL features which permit the description of dynamic software architectures in which the organisation of components and connectors may change during system execution are examined.
IEEE Transactions on Software EngineeringAn event-based architecture definition language
485 Citations1995D Luckham, Jose Belisario Vera Vera
The syntax and semantics of the subset of the Rapide language that is designed to satisfy general requirements for architecture definition languages are described, and the use of event pattern mappings to define the relationship between two architectures at different levels of abstraction is illustrated.
IEEE SoftwareConnecting tools using message passing in the Field environment
415 Citations1990Steven P. Reiss
An overview is given of the Field environment, which was developed to show that highly integrated, interactive environments like those on PCs can be implemented on workstations and can be used for classical-language and large-scale programming.
Lecture notes in computer scienceFundamentals of Software Engineering
333 Citations2025Carlo Ghezzi, Mehdi Jazayeri +1 more
IEEE Transactions on Software EngineeringCorrect architecture refinement
324 Citations1995Mark Moriconi, Xiaoyan Qian +1 more
A method is presented for the stepwise refinement of an abstract architecture into a relatively correct lower-level architecture that is intended to implement it, and a special correctness criterion is defined for the domain of software architecture.
IEEE Transactions on Software EngineeringA component- and message-based architectural style for GUI software
320 Citations1996Richard N. Taylor, Nenad Medvidović +6 more
ACM Transactions on Programming Languages and SystemsThe POLYLITH software bus
275 Citations1994James Purtilo
A system called POLYLITH that helps programmers prepare and interconnect mixed-language software components for execution in heterogeneous environments so that once an application has been developed for use in one execution environment it can be adapted for reuse in other environments by automatic techniques.
IEEE Transactions on Software EngineeringA formal framework for on-line software version change
222 Citations1996Deepak Gupta, Pankaj Jalote +1 more
This work describes a formal framework for studying online software version change, gives a general definition of validity of an online change, shows that it is in general undecidable and develops sufficient conditions for ensuring validity for a procedural language.
ACM Transactions on Software Engineering and MethodologyReconciling environment integration and software evolution
162 Citations1992Kevin J. Sullivan, David Notkin
This work designs tool integration relationships as separate components called mediators, and designs tools to implicitly invoke mediators that integrate them, and applies this model both to analyze existing mechanisms and in the design of a mechanism for C++.
ADLs and dynamic architecture changes
113 Citations1996Nenad Medvidović
A possible solution to the problem: in order to adequately support dynamic architecture changes, ADLs can leverage techniques used in dynamic programming languages and should have an architecture construction component that supports explicit and incremental specification of architectural changes.
Journal of Systems and SoftwareOn dynamically updating a computer program: From concept to prototype
101 Citations1991Ophir Frieder, M.E. Segal
An approach to dynamically updating a computer program, i.e., updating while it is executing, is presented, which is crucial in applications where the cost of stopping and restarting the program makes doing so impractical.
ComputerUsing tool abstraction to compose systems
101 Citations1992David Garlan, Gail E. Kaiser +1 more
The tool abstraction paradigm, which supports the evolution of large-scale software systems by easing design changes in the system functions, is discussed and the KWIC (key word in context) index production system is used to illustrate the idea of tool abstraction.
Software Engineering JournalReconfiguration and module replacement in Argus: theory and practice
89 Citations1993Toby Bloom, Mark Day
Early work on reconfiguration of distributed applications was carried out as part of the Argus project at MIT, focusing on correctness conditions and on alternative implementations, and lessons learnt are discussed.
1996 IEEE Aerospace Applications Conference. ProceedingsEvolving dependable real-time systems
85 Citations2002Lui Sha, R. Rajkumar +1 more
An informal review of the Simplex Architecture, which has been developed to support safe and reliable online upgrade of dependable computing systems, is given.
An architecture for post-development configuration management in a wide-area network
82 Citations2002R.S. Hall, Dennis Heimbigner +2 more
The Software Dock is described and the use of a prototype in deploying a complex system is discussed, designed as a system of loosely-coupled, cooperating, distributed components that are bound together by a wide-area messaging and event system.
University Libraries (University of Maryland)Dynamic reconfiguration of distributed applications
78 Citations1993Christine Ruth Hofmeister
The main focus of this thesis is providing support for module participation during reconfiguration by defined an approach to capturing and restoring global data that is supported by the reconfigured primitives, and discovered a mechanism for capturing and restore the activation record stack that is machine-independent.
Using weaves for software construction and analysis
59 Citations2002Michael M. Gorlick, R.R. Razouk
Weaves are networks of concurrently executing tool fragments that communicate by passing objects that emphasis on instrumentation, continuous observability, and dynamic rearrangement.
LILEANNA: a parameterized programming language
51 Citations2002Will Tracz
The author describes key elements of the language and presents examples illustrating its applicability in support of a megaprogramming software development paradigm.
Issues in the Runtime Modification of Software Architectures
49 Citations1997Peyman Oreizy
An initial implementation of the tool, ArchShell, that supports the runtime modification of C2-style software architectures, and identifies the issues involved in supporting dynamic architectures.
Reuse of off-the-shelf components in C2-style architectures
45 Citations1997Nenad Medvidović, Peyman Oreizy +1 more
A motion translating mechanism comprising a driven member that engages the driven member and has a stop rising therefrom and an actuation head that interconnects with the base by the helical spring assembly.
Visual programming-in-the-large versus visual programming-in-the-small
30 Citations2002Michael M. Gorlick, Alex Quilici
It is argued that a single visual mechanism called "zooming" addresses these scaling problems and, when suitably augmented, can also support automatic component discovery and intelligent error correction.
Principled Dynamic Code Improvement
17 Citations1997John Peterson, Paul Hudak +1 more
A method for dynamically updating running code, which is "principled" in that old functionality is not destroyed, and an implementation in Hugs, a Haskell byte-code interpreter, is described.
Extending design environments to software architecture design
10 Citations2002Jason E. Robbins, D.M. Hilbert +1 more
Enforcing architecture constraints
8 Citations1996Robert Balzer
This paper concentrates on the latter by presenting a language for stating architectural constraints which can be checked against the data structure that dynamically reflects the software system’s structural architecture.
MINION: an environment to organize mathematical problem solving
6 Citations1989James Purtilo
The organizational problem that must be treated, and motivates the need for structure management tools in mathematical problem solving environments are portrayed, and features of the Minion prototype that meet these needs are detail.