Abstract In this paper, we present the Java Aspect Components (JAC) framework for building aspect‐oriented distributed applications in Java. This paper describes the aspect‐oriented programming model and the architectural details of the framework implementation. The framework enables extension of application semantics for handling well‐separated concerns. This is achieved with a software entity called an aspect component (AC). ACs provide distributed pointcuts, dynamic wrappers and metamodel annotations. Distributed pointcuts are a key feature of our framework. They enable the definition of crosscutting structures that do not need to be located on a single host. ACs are dynamic. They can be added, removed, and controlled at runtime. This enables our framework to be used in highly dynamic environments where adaptable software is needed. Copyright © 2004 John Wiley & Sons, Ltd.

Probabilistic validation is an approach for the validation of highly dependable and complex systems. It relies on a partial analysis on a system model and tries to prove that the failed event occurrences has a sufficiently low probability. We define a probabilistic validation method using worst event driven and an importance sampling simulation. The system which must be validated is modeled by a stochastic Petri net. An efficient simulation of the net must be able to sample complex and improbable trajectories which eventually reach critical markings. Two problems have to be solved. The sequence of transition firings which may lead to critical markings must be characterized ad the Petri net level. The second problem is to sample these sequences and to build an accurate estimate of the incorrect behavior probability. We discuss several simulation algorithms in the Markovian and non-Markovian cases. We show the effectiveness of these techniques on the validation of several examples.>

A method to estimate the value of remote clocks in distributed systems is proposed. The method is able to deal with isotropic and anisotropic networks and includes a way to detect performance failures on single exchanges. It uses a statistical approach to estimate the relative drift of clocks and a round trip clock reading protocol to compute the offset. A good precision can be attained and maintained without exchanging too many specific extra messages. Numerical results obtained from a discrete event simulation are presented.>

A new solution is given for the steady-state probability computation of closed synchronized queuing networks. A closed synchronized queuing network is a particular Markov stochastic Petri net (a bounded and monovaluated Petri net with a strongly connected reachability graph and constant firing rates independent of markings). It is shown that the steady-state probability distribution can be expressed using matrix products. The results generalize the Gordon-Newell theorem. The solution is similar to the Gordon-Newell product form using matrix and vectors instead of scalars. A prototype solver developed from this result is presented.>

A necessary and sufficient ergodicity condition for complex open queueing systems is given. The queueing networks considered belong to a particular class of unbounded Markov stochastic Petri nets. These systems can include synchronization features like fork and join arrivals and departures, and feedback between behavior of different queues. Grouped and correlated arrivals and departures are also allowed. An example and a proof of the ergodicity results are presented.>