J. Kramer. Configuration Programming - A Framework for the Development of Distributable Systems. In Proceedings of IEEE International Conference on Computer Systems and Software Engineering (CompEuro 90), pages 374--384, May 1990. Tel-Aviv, Israel.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....Dynamic configuration is the ability to modify the structure of an application whilst the application continues to operate. We view dynamic reconfiguration as a strong candidate with which to realise non stop and adaptive applications. Much recent research has adopted the Configuration paradigm [1] for structuring reconfigurable applications. Non stop applications must be maintained dynamically through evolutionary change. We define evolutionary change as the accommodation of requirements changes, bug fixes and environment changes. Evolutionary change is initiated by developers or ....

....on relevant work. Separation of application function from configuration. Declarative (re)configuration expression. Preservation of application consistency. Reactive change expression robust to evolution. Reconfiguration efficienc 7. Table 1 Prevailing issues The Configuration paradigm [1] is an approach to software development which separates the functional description of individual component behaviours from the system viewed as a set of processes and their interconnections. Such a separation of concerns is essential for reducing complexity. Reconfiguration can be reasoned about ....

[Article contains additional citation context not shown here]

Kramer, J. Configuration Programming A Framework for the Development of Distributable Systems. Proceedings of IEEE Internatins Conference on Computer Systems and Software Engineering (COMPEURO 90), Tel-Aviv, Israel. IEEE. pp 374-384. 1990.

....of a distributed system may be separately designed, programmed, compiled and tested. This is referred to as programming in the small. Defining network configurations in which objects reside and their communication interfaces is referred to as programming in the large or configuration programming [23]. The subject matter of this dissertation is configuration programming. A set of objects working together will implement a distributed system s functionality by communicating and coordinating their activities. Support given by a software development environment for communication and ....

....practice cost very little in terms of additional delays incurred in communication, when compared to any other agent mediated communication system. Thus there is little or no overhead to using RESTCLK. 168 2. Development of tools, languages and environments for dynamic reconfiguration programming [38, 5, 1, 26, 27, 23, 30, 45, 14], and 3. New paradigm that allows a priori unplanned for dynamic reconfigurations. RESTCLK is the only work in this category. Works in the first category above brought the problem of dynamic reconfiguration into prominence and also proposed viable solutions to the problem which were widely ....

J. Kramer. Configuration programming: A framework for the development of distributable systems. In Proceedings of the IEEE International Conference on Computer Systems and Software Engineering, May 1990.

....organisational structures and strategies. For this purpose, we brought together concepts and techniques from Software Architectures (the notion of connector [2] Parallel Program Design (the notion of superposition [5] and Distributed Systems (techniques for supporting dynamic reconfiguration [6]) that are now integrated in a collection of semantic primitives that support the modelling of systems that are flexible and more amenable to change. In particular, these primitives allow, precisely, for the kind of just in time binding required by Web Services to be performed in a ....

J. Kramer. "Configuration Programming -- A Framework for the Development of Distributable Systems", Proc. CompEuro'90, pp. 374-384, IEEE, 1990. More information on our approach is available from www.atxsoftware.com -- 5 --

....hierarchical composition and abstraction are essential properties, and a system consists of a set of modules composed hierarchically and connected via well defined interfaces. The structure or configuration is then specified by declaring the modules (processes) their interfaces and connections [Kra90, KMS85]. Certain design and validation problems however are not considered during the configuration specification. The partitioning problem, for instance, is important to parallel and distributed programming because it also affects portability and performance over different topologies of hardware. If ....

J. Kramer. Configuration programming: A framework for the development of distributable systems. In Proc. IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Israel, May 1990.

.... [9] community, and the separation of all three concerns is central to Software Architecture, which has put forward the distinction between components, connectors and architectures [5] The Configurable Distributed Systems community [6] in particular the Configuration Programming approach [15], also gives first class status to configuration. However, these approaches still do not provide a satisfying way to model the three concerns in a way that supports evolution. Coordination languages do not make the configuration explicit or have a very low level coordination mechanism (like tuple ....

J. Kramer. "Configuration Programming -- A Framework for the Development of Distributable Systems", Proc. CompEuro'90, pp. 374-384, IEEE, 1990.

.... applications ( 4, 11, 23, 25] modelling activities in information systems ( 22] and expressing real time behaviour ( 15, 21, 3 Basic Concepts of the Configuration Paradigm and Relationship with Coordination The basic principles of configuration programming have been summarised in [13] as follows: i) The configuration language used for structural description should be separate from the programming language used for basic component programming. ii) Components should be defined as context independent types with well defined interfaces. iii) Using the configuration language, ....

....or streams connecting output ports to input ports and vice versa. The above features are coupled with some mechanism for establishing reconfiguration scenarios and when it is safe for some configuration to evolve to another one (for more detailed discussions on these topics see, among others, [8, 13, 14, 16, 24, 29]) It is therefore clear from the above discussion that the configuration paradigm has many common features with the control driven coordination one. And, furthermore, those coordination languages such as MANIFOLD have the potential to also play the role of configuration ones. In the next section ....

[Article contains additional citation context not shown here]

J. Kramer, "Configuration Programming -- A framework for the Development of Distributed Systems", IEEE International Conference on Computer Systems and Software Engineering (COMPEURO'90), Israel, May, 1990, IEEE Press.

....style informally described by Justo and Cunha in [JC94] This style, which we term the JustoCunha, or JC, style, is designed to simplify the determination of global deadlock freedom in distributed message passing systems. Buffered message passing is a common way of configuring systems [BWW88, Kra90] An important problem that arises in these systems is global deadlock of systems. Deadlock arises because components must wait for messages from other components before they may proceed with their own computation and output messages. If it occurs that all processors are waiting for messages and ....

Jeff Kramer. Configuration programming -- a framework for the development of distributable systems. In Proc. IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Israel, May 1990.

....is therefore the expression of these styles and patterns. While work is going on at the higher level of pattern design often under the title of frameworks a considerable body of practical knowledge and tool support has been built up at a different level, that of configuration programming [Kramer 1990, Bishop 1994, Shaw 1995b] In configuration programming, the system designers separate the computation involved in achieving the purpose of the system from the connection between the modules that implement that computation. The idea is that the a) the connection might change as the system evolves ....

Kramer J, Configuration Programming -- a framework for the development of distributable systems, Proceedings of the IEEE Int'l Conference on Computer Systems and Software Engineering (CompEuro 90), Israel, May 1990.

....and its successor languages [10] have shown the advantages of a strict separation between the program algorithms and configuration. With Sampa, we aim at extending this approach for availability policies for fault tolerant programs. The main difference to Kramer s approach to handle fault tolerance[9], is that in Sampa the support for fault tolerance is based on checkpointing rather than on moving processes to a passive state. Hong and Bauer proposed a reference architecture for general purpose distributed application management [6] but their main focus is on monitoring, management ....

J. Kramer. Configuration Programming - A Framework for the Development of Distributable Systems. In Proc. IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro90), Tel Aviv, Israel, May 1990.

....communication, coordination, and synchronization. Functional components needed to be allocated within the dynamic structure [18] Recently a number of interconnection languages have been introduced that address the issue of allocating components in a distributed environment. These include Conic [24], Durra [4] Enterprise [35] Polylith [31] and UNAS [33] In our software structure categories, these issues are addressed in the execution structure. Now research is progressing to higher abstraction levels. Software engineers would like to be able to compose software systems using concurrent ....

J. Kramer. Configuration programming - a framework for the development of distributable systems, In Proceedings of the IEEE International Conference on Computer Systems and Software Engineering, Israel, IEEE, May 1990.

....activity in the theoretical computer science community in this field. Furthermore, the field of coordination has a considerable overlap of interest with the work on software architectures and configuration languages, especially for systems with more complex and dynamically evolving architectures[33, 21, 30]. In spite of their generic label, most coordination languages are actually not languages, rather, they are only collections of primitive operations meant to augment conventional computation languages. There have been relatively few attempts to study coordination as a stand alone programming # ....

Kramer, J. Configuration programming -- a framework for the development of distributable systems. In Proc. IEEE Int. Conf. on Computer Systems and Software Engineering (CompuEuro '90) (1990), pp. 374--384.

....a domain [KJG92a] This distributed programming model has two levels, and a runtime system. The two levels are the scheduler and the configuration level, and the run time system is the configuration manager. The distinction of these two levels is necessary for the support dynamic configuration [Kra90]. The scheduler level enables the specifications of scheduler ports and their associated intercom8 munication primitives. The main objective of this level is to provide means for the programmer for scheduler s intercommunication without using direct port naming. This is a key property in dynamic ....

J Kramer. Configuration programming: A framework for the development of distributable systems. Proceedings of the International Conference on Computer Systems and Software Engineering, pages 374--384, May 1990.

....can be distributed we need modular software components, that interact by some form of communication. Several work suggest that there is a benefit in clarity and system management if a separate language (Architectural Description Language (ADL) is provided for expressing configuration structure [Kra90] we believe that these kinds of languages can be very useful also for describing the static structure of a MAS. Once we have defined the static structure, we can program the behaviour of single components by means of proper specification languages. Prototype implementation tools. The language ....

J. Kramer. Configuration Programming - A Framework for the Development of Distributable Systems. In Proc. of IEEE COMPEURO'90, pages 374--384, Tel--Aviv, Isreael, May 1990.

....in Chapter 2, the domain of distributed systems has seen a number of approaches to reconfiguration. In many cases, the view advocated is one of separating configuration programming from application programming, i.e. treating the structure of a system in isolation to what the system actually does [Kramer90a]. Therefore, systems such as Conic [Kramer85, Dulay88, Magee89] REX [Kramer90b] Darwin [Crane95, Magee94, Eisenbach93] and Gerel [Endler91, Endler92, Endler93] include a notion of modelling the structure of the system. This is typically based around the notion of configuration items, which have ....

J. Kramer. Configuration programming - a framework for the development of distributable systems. Proceedings of the IEEE International Conference on Computer Systems and Software Engineering (COMPEURO'90) (Tel Aviv, Israel), pages 374-- 84. IEEE Computer Society Press, Los Alimitos, California, May 1990.

....were consistent over the range of experiments, and it was found that DGP performed better than DJS2 and Disted in improving response time as well as load balancing. A prototype based performance evaluation of the DGP is presented. The design paradigm adopted is the dynamic configuration model [25]. The performance experiments had to be conducted with clearly defined constraints for using a network of workstations: i.e. that not the whole network would be available for experiments, and we also wanted some flexibility in starting stopping new schedulers without disrupting the overall ....

....with clearly defined constraints. These implied that only a subset of the network could be available and we also wanted some flexibility in starting stopping new schedulers without disrupting the overall network and the prototype. This has been possible by using a dynamic configuration model [25] as the programming paradigm for undertaking performance experiments. 4.1 Programming paradigm Writing distributed software is know to be a difficult task because of the level of complexity encountered in issues such as concurrency, synchronisation, and communications. These problems are even ....

[Article contains additional citation context not shown here]

J Kramer. Configuration programming: A framework for the development of distributable systems. Proceedings of the International Conference on Computer Systems and Software Engineering, pages 374--384, May 1990.

....running on transputers and also includes a case study. Finally, a summary of the paper is presented together with a discussion about the limitations and extensions of the method. 2 Graphical Design of High Performance Systems (HPS) A basic concept applied in the method is a program configuration [10, 11] which refers to the structural description of the program in terms of component modules (also referred to as processes) and interactions amongst them (communication or message flow) In general, the processes are described as black boxes in the configuration, and their internal structure or ....

J. Kramer. Configuration programming: A framework for the development of distributed systems. In Proc. IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Israel, May 1990.

....activity in the theoretical computer science community in this field. Furthermore, the field of coordination has a considerable overlap of interest with the work on software architectures and configuration languages, especially for systems with more complex and dynamically evolving architectures[33,21,30]. In spite of their generic label, most coordination languages are actually not languages, rather, they are only collections of primitive operations meant to augment conventional computation languages. There have been relatively few attempts to study coordination as a stand alone programming ....

Kramer, J. Configuration programming -- a framework for the development of distributable systems. In Proc. IEEE Int. Conf. on Computer Systems and Software Engineering (CompuEuro '90) (1990), pp. 374--384.

....choice of algorithms and data structures. More recently, a number of component based languages have been proposed and implemented. These languages describe systems as configurations of modules that interact in specific, predetermined ways (such as remote procedure call, messages, or events [Pur88, Kra90, Pou89, Mak92, Bea92] or enforce specialized patterns of organization [D 91, Ros85, L 88] While such languages provide new ways of describing interactions between components in a large system, they too are typically oriented around a small, fixed set of communication paradigms and ....

....Hence, system builders must encode their intentions in terms of the specific primitives at hand. 4.5 Notations for Specialized Architectural Styles Recently, a number of systems have been developed to support specific abstract paradigms. Some of these were mentioned in the introduction [Pur88, Kra90, Pou89, Mak92, Bea92, MMHG92] Each of these works through a specific architectural style in detail. Most provide good high level support for the paradigm of interest. However, these languages typically assume a homogeneous universe, and live as isolated systems. This makes it difficult to ....

Jeff Kramer. Configuration programming -- a framework for the development of distributable systems. In Proceedings of the IEEE International Conference on Computer Systems and Software Engineering, Israel, May 1990. IEEE.

....configuration of the system to be constructed. Experience with Conic indicated that the approach was highly beneficial for system comprehension [16] construction and evolution, including dynamic configuration [14,17] The principles underlying the approach, termed Configuration Programming [18,15], were articulated as shown in Table 1. These principles were also adapted for application to system behaviour modelling: specification and analysis. The philosophy is that the problem of consistency between the system to be constructed and the model to be analysed can be greatly ameliorated ....

Kramer J., Configuration Programming - A Framework for the Development of Distributable Systems, (IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90)), Tel-Aviv, Israel, (1990), 374-384.

.... work on Conic [Kramer 85, Magee 89] REX [Kramer 92] Regis [Magee 94] Polylith [Purtilo 92] and Durra [Barbacci 93] suggests that there is a benefit in clarity and system management if a separate language (such as that used above) is provided specifically to express configuration structure [Kramer 90]. Component instantiation and interconnection (binding) can take place at configuration time before allocation and also at run time to provide the greatest flexibility. Client server binding is usually required to be performed at run time, according to client need and service availability, and is ....

....to reflect others. For instance, if we consider a particular design level, a system could be described as a particular composition of components, each of which would provide a specification of its intended behaviour (functional, performance or failure characteristics) as illustrated in figure 3 [Kramer 90, 93] An associated analysis technique should then be provided for each. Correctness can be considered as the use of the analysis to show satisfaction of the properties of the higher level specifications. Component Library Design Requirements Specification Specification . Specification 1 2 ....

Kramer J., "Configuration Programming - A Framework for the Development of Distributable Systems", Proc. of IEEE COMPEURO'90, Tel-Aviv, Israel, May 90, pp 374-384.

....The evaluation method used to analyse the proposed algorithm is briefly described in Section 3, followed by an analysis of the proposed algorithm and its comparison to some other possible approaches. A prototype implementation described in Section 4 shows the algorithm suitability to a CONIC REX [11, 15] environment. Conclusions are presented in Section 5. 2. Algorithm Outline As mentioned, FLS comprises three functions: decision making, information dissemination and system partitioning into domains. Before describing each of these functions, we briefly describe the state metric used, since this ....

....the delay incurred to the total time it takes this component to execute. 4. Prototype Implementation in CONIC Recent work on distributed software specification, construction and change, clearly separates the software component programming concerns from those of system structure and configuration [11]. A separate configuration language is used to describe the logical structure of a system by creating and interconnecting components. Similarly component allocation can be dealt with at the configuration level . This specification of the logical to physical mapping may be fixed (static initial ....

[Article contains additional citation context not shown here]

J. Kramer,, "Configuration Programming - A Framework for the Development of Distributable Systems", Proceedings of the 7th Int. Conf on Computer Systems and Software Engineering (CompEuro 90) , Israel, May 1990, pp. 374-383.

No context found.

J. Kramer. Configuration Programming - A Framework for the Development of Distributable Systems. In Proceedings of IEEE International Conference on Computer Systems and Software Engineering (CompEuro 90), pages 374--384, May 1990. Tel-Aviv, Israel.

No context found.

J. Kramer. Configuration programming - a framework for the development of distributable systems. In Proc. of the Int. Conf. on Computer Systems and Software Engineering, pages 374--384, May 1990.

No context found.

J. Kramer. "Configuration Programming -- A Framework for the Development of Distributable Systems", Proc. CompEuro'90, pp. 374-384, IEEE, 1990.

No context found.

J. Kramer. "Configuration Programming -- A Framework for the Development of Distributable Systems", Proc. CompEuro'90, pp. 374-384, IEEE, 1990.

First 50 documents

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