The aspect-oriented paradigm can help promoting system modularity and maintainability by separating crosscutting concerns as aspects. However, weaving an aspect may introduce undesired impacts on the original system behavior. We present an approach to analyzing the influences of an aspect weaving on the base model. The analysis is based on the behavioral equivalence between the base model and i...

Aspect-oriented modeling deals with cross-cutting concerns at early stages of the software development. Weaving involves highly abstract aspect descriptions, and it is necessary to take into account application specific constraints. We adopt a role-based aspect-oriented modeling method and define a notion of the aspect weaving in a systematic way. We further discuss how we use Alloy, a lightwei...

A weaving is a number of lines drawn in the plane so that no three lines intersect at a point, and the intersections are drawn so as to show which of the two lines is above the other. For each integer n 4 we construct a weaving of n lines, which is not realizable as a projection of a number of lines in 3-space, all of whose subfigures are realizable as such projections. © 2005 Elsevier B.V. All...

Since software systems need to be continuously available, their ability to evolve at runtime is a key issue. The emergence of models@runtime, combined with Aspect-Oriented Modeling techniques, is a promising approach to tame the complexity of adaptive systems. However, with no support for aspect unweaving, these approaches are not agile enough in an adaptive system context. In case of small mod...

This paper presents a technique for visualizing woven textiles in real time, while optimizing the realistic appearance. The proposed approach supports rendering of complex weave patterns by adopting Weaving Information File (WIF), a standard from textile Computer Aided Design (CAD) for representing the grammar of weaving. We develop a realistic rendering scheme by combining the grammar represen...

We propose an information-theoretic framework to quantify multipartite correlations in classical and quantum systems, answering questions such as what is the amount of seven-partite correlations in a given state of ten particles? We identify measures of genuine multipartite correlations, i.e., statistical dependencies that cannot be ascribed to bipartite correlations, satisfying a set of desira...

This paper deals with two- and threefold weavings on Platonic polyhedral surfaces. Depending on the skewness of the weaving pattern with respect to the edges of the polyhedra, different numbers of closed strands are necessary in a complete weaving. The problem is present in basketry but can be addressed from the aspect of pure geometry (geodesics), graph theory (central circuits of 4-valent gra...