A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobjectthat can control subobjects under ...
详细信息
ISBN:
(纸本)3540437592
A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobjectthat can control subobjects under them. the model provides mathematical models for a good number of existing models of distributed reflection and of reflective middleware. To illustrate the ideas, we show in some detail how two important models of distributed actor reflection can be naturally obtained as special cases of our generic model, and discuss how several recent models of reflective middleware can be likewise formalized as instances of our model.
Concurrency and failures are fundamental problems in distributed computing. One likes to think that the mechanisms needed to address these problems can be separated from the rest of the distributed application: in mod...
详细信息
ISBN:
(纸本)3540437592
Concurrency and failures are fundamental problems in distributed computing. One likes to think that the mechanisms needed to address these problems can be separated from the rest of the distributed application: in modern words, these mechanisms could be aspectized. Does this however make sense? this paper relates an experience that conveys our initial and indeed biased intuition that the answer is in general no. Except for simple academic examples, it is hard and even potentially dangerous to separate concurrency control and failure management from the actual application. We point out the very facts that (1) an aspect-oriented language can, pretty much like a macro language, be beneficial for code factorization (but should be reserved to experienced programmers), and (2) concurrency and failures are particularly hard to aspectize because they are usually par. of the phenomenon that objects should simulate. they are in this sense different than other concerns, like for instance tracing, which might be easier to aspectize.
the development of high-performance and low power portable devices relies on boththe underlying hardware architecture and technology as well as on the application software that executes on embedded processor cores. I...
详细信息
ISBN:
(数字)9783540480464
ISBN:
(纸本)3540437843
the development of high-performance and low power portable devices relies on boththe underlying hardware architecture and technology as well as on the application software that executes on embedded processor cores. It has been extensively pointed out that the increasing complexity and decreasing time-to-market of embedded software can only be confronted by the use of modular and reusable code, which forces software designers to use objected orientedprogramming languages such as C++. However, the object-oriented approach is known to introduce a significant performance penalty compared to classical procedural programming. In this paper, the objectorientedprogramming style is evaluated in terms of both performance and power for embedded applications. A set of benchmark kernels is compiled and executed on an embedded processor simulator, while the results are fed to instruction level and memory power models to estimate the power consumption of each system component for bothprogramming styles.
the aim of the fourth workshop on object-oriented Architectural Evolution was to discuss into more detail a number of important issues raised during the previous workshop: the relationship between domain analysis and ...
详细信息
this report summarizes the contributions and debates of the 5th International ecoop Workshop on Quantitative Approaches in object-oriented Software Engineering (QAOOSE 2001), which was held in Budapest on 18–19 June,...
详细信息
this report summarizes the contributions and debates of the 6th International ecoop Workshop on Quantitative Approaches in object-oriented Software Engineering (QAOOSE 2002), which was held in Malaga on 11 June, 2002....
详细信息
In this work we analyse the suitability of using object-oriented features in high integrity systems, and the interest of redesigning a system implementation to include these constructs. the analysis was based on retro...
详细信息
As applications become increasingly distributed and networks provide more and more connection facilities, applications require more and more interconnections, thus communication takes a central part of modern systems....
详细信息
the proceedings contain 28 papers. the special focus in this conference is on Embedded Systems and High-Integrity Systems. the topics include: Embedded systems unsuitable for object orientation;on architectural stabil...
ISBN:
(纸本)3540437843
the proceedings contain 28 papers. the special focus in this conference is on Embedded Systems and High-Integrity Systems. the topics include: Embedded systems unsuitable for object orientation;on architectural stability and evolution;encapsulating failure detection;bridging physical and virtual worlds;evaluating performance and power of object-oriented vs. procedural programming in embedded processors;language issues of compiling ada to hardware;software development reengineering;development of a control system for teleoperated robots using UML and Ada95;using a secure java micro-kernel on embedded devices for the reliable execution of dynamically uploaded applications;a POSIX-Ada interface for application-defined scheduling;the influence of code analysis on design;adding design by contract to the ada language;static dependency analysis for concurrent ada 95 programs;a practical approach to data flow analysis for ada 95;prioritization of test cases in MUMCUT test sets;about the difficulties of building a pretty-printer for ada;a tailorable distributed programming environment;modeling and schedulability analysis of hard real-time distributed systems based on ada components;transparent environment for replicated ravenscar applications;concurrency control in transactional drago;GNAT ada database development environment;ada, interfaces and the listener paradigm and using object orientation in high integrity applications.
While many object-oriented languages impose space overhead of only one word per object to support features like virtual method dispatch, Java’s richer functionality has led to implementations that require two or thre...
详细信息
暂无评论