P. Boinot, R. Marlet, J. Noye, G. Muller, and C. Consel. A declarative approach for designing and developing adaptive components. In Proceedings of the PRQTSVU IEEE International Conference on Automated Software Engineering (ASE 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....specification makes both DeCo s formal automation and a federation author s informal automation simpler and more effective. The declarative approach leads to explicit, concise, and separate specification of program federation issues, much as for component adaptation issues as described in [2]. DeCo is targeted at scientific model federations suited to large grain coordination, that is, where the unit of execution tends to be an entire execution (possibly repeated many times) of a program component. The constituent models tend to be existing application programs, usually large and ....

P. Boinot, R. Marlet, J. Noye, G. Muller, and C. Consel. A declarative approach for designing and developing adaptive components. In Proceedings of the PRQTSVU IEEE International Conference on Automated Software Engineering (ASE 2000.

....6. The mapping ticketBooking.arrive date=hotelBooking.date is assumed to be accomplished by the composite service travelPlan. Related work on compatibility can be found in the areas of capability matching in software agents [25] and more importantly in software component compatibility assessment [32, 2, 3]. In [25] the authors introduce the agent capability description language LARKS and how it can be used in matching processes. In the area of software component compatibility representative research results can be found in [32] This work is strictly based on syntactic specification and relates the ....

....representative research results can be found in [32] This work is strictly based on syntactic specification and relates the comparability issue to simple subtyping checks. Recent trends in this area use a declarative language and develop a reasoning mechanisms to check component comparability [2, 3]. In this paper we use simple conventional compatibility and conformance mechanisms found mostly in the theory of programming languages. These mechanisms can be substantially improved by combining them with recent results in the area of software component comparability checking 25 ....

P. Boinot et al. A Declarative Approach for Designing and Developing Adaptive Components. in Procs of the 15th IEEE Conference on Automated Software Engineering, September 2000.

....one. It is fast, accurate, and does not interfere with the (possibly running) applications; however it is feasible only for components with rich specifications. Although neither approach is completely superior, the current trend towards the use of declarative languages in component development [2] makes static checking an attractive option. Also, similarly to Larsson we believe that it would be too constraining to reduce the compatibility issue to a subtyping view. This paper therefore presents the foundations of our approach to static component compatibility checking which takes into ....

Boinot, P., et al.: A Declarative Approach for Designing and Developing Adaptive Components. In Proceedings of The 15th IEEE Conference on Automated Software Engineering. IEEE CS Press, September 2000.

....implementation concerns. A less drastic strategy to developing efficient adaptable programs consists of making specific issues of adaptation explicit via a declarative approach. To do so, we enrich Java classes with declarations, named adaptation classes, aimed to express adaptive behaviors [2]. As such, this approach allows the programmer to separate the concerns between the basic features of the application and its adaptation aspects. A dedicated compiler automatically generates Java code that implements the adaptive features. When developing components, programmers often hesitate to ....

P. Boinot, R. Marlet, Noye J., G. Muller, and C. Consel. A declarative approach for designing and developing adaptive components. In ASE2000 [1], pages 111--119.

.... programmability, robustness, and scalability, we propose a software architecture uniformly based on a paradigm consisting of a collection of domain specific languages (DSLs) built on top of one or more virtual machines (VMs) A DSL is a programming language dedicated to a particular domain [2]. A DSL provides appropriate built in abstractions, symplifying both programming and subsequent verification. To allow numerous communication services to be programmed, we propose that each 4 23 family of services (e.g. audio streaming, e mail reading, telephone call managing, and chatting) is ....

P. Boinot, R. Marlet, Noy J., G. Muller, and C. Consel. A declarative approach for designing and developing adaptive components. In ASE2000.

....any state change. The Strategy pattern describes the implementation of an object that can dynamically change its behavior. The Facade pattern provides an interface to encapsulate a set of objects. The composition of these design patterns is shown in Fig. 2. Implementation details can be found in [1]. Introspection. The RtcpController must notify the SoundEncoder when the network bandwidth changes. To model this dependency, we use the Observer pattern. This pattern allows a set of objects, the observers, to be automatically notified when a state changes in an observed object, the subject. In ....

....patterns isolates different functionality (creational, structural and behavioral) and splits up behaviors (Strategy, Mediator, Observer. However, in the case of adaptation, using design patterns has some drawbacks. The design of the adaptive SoundEncoder component is complex (see Fig. 2 and [1]) The use of the Strategy and Observer design patterns for the SoundEncoder component introduces communication overhead and increases the number of classes. In our example, it is necessary to declare 9 classes bound together by 5 references. In addition, the object interaction protocol is ....

[Article contains additional citation context not shown here]

P. Boinot, R. Marlet, J. Noye, G. Muller, and C. Consel. A declarative approach for designing and developing adaptive components. Internal Report 1337, Irisa, Rennes, France, June 2000.

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