-
...language which supports runtime software evolution.
the language, based on creol, targets distributed systems by active objects, asynchronous method calls, and futures. a dynamic
class construct is proposed in this setting, providing an asynchronous and modular upgrade mechanism. at runtime, class redefinitions
gradually upgrade existing instances of a class and of its subclasses. an upgrade may...
-
...language which supports runtime software evolution. the language, based on creol, targets distributed systems by active objects, asynchronous method calls, and futures. a dynamic class construct is proposed in this setting, providing an asynchronous and modular upgrade mechanism. at runtime, class redefinitions gradually upgrade existing instances of a class and of its subclasses. an upgrade may...
Published in 2009.
-
...a way that the existing objects of the upgraded class and of its subclasses gradually evolve at...high-level language which targets distributed applications by means of concurrent objects communicating by asynchronous method calls. the dynamic class construct is given a formal...
-
...an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language creol. in previous work we analyzed the schedulability of ob- jects modeled as timed...a high-level framework for modular schedu- lability analysis of asynchronous concurrent objects. concurrent objects, having a dedicated processor each...
-
...leads to much waiting in distributed and unstable networks. second, the common model of thread concurrency makes reasoning about program behavior very challenging. models based on concurrent objects communicating by asynchronous method calls, have been proposed to combine object orientation and distribution in a more satisfactory way...
-
...to much wait- ing in distributed and unstable networks. second, the com- mon model of thread concurrency makes reasoning about program behavior very challenging. a model based on con- current objects communicating by means of asynchronous method calls has been proposed to combine object orienta- tion and distribution in a more satisfactory way...
-
...works. second, the common model of thread concurrency makes reasoning about program behavior very challenging. object-oriented models based on concurrent objects communicating by asynchronous method calls, have been proposed...derived from the internal code of components in the setting of distributed concurrent objects. object orientation is the leading framework for concurrent and distributed systems and is recom- mended...
-
...support for modular evolution of objects is required in manyapplication areas. however, existing mechanisms for incremental behaviorcomposition either do not support evolving objects at all, or do notsatisfactorily...approach to behavior compositionin a class-based environment is presented. it is based on the encapsulatedobject model of class-based inheritance, but introduces an...
-
...among the inputs and outputs of methods. atomic methods, which provide a low-level form of concurrency control, force a larger granularity.objects for medium to large grain parallelism, with synchronous and asynchronous message passing among remote or local objects. many other concurrent object-oriented languages provide synchronous or asynchronous message passing, but not both...
-
...not auto- nomous: they are objects that communicate with other objects by ex- changing messages through an asynchronous medium such as a network. issues such as: how to compositionally specify distributed object-based stochastic hybrid systems (obshs...