物件導向軟體之架構(Object-Oriented Software Construction)探討

Aspect] is a simple and practical aspect-oriented extension to Java With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns. In AspectJ's dynamic join point model, join points are well-defined points in the execution of the program; pointcuts are collections of join points; advice are special method-like constructs that can be attached to pointcuts; and aspects are modular units of crosscutting implementation, comprising pointcuts, advice, and ordinary Java member declarations. AspectJ code is compiled into standard Java bytecode. Simple extensions to existing Java development environments make it possible to browse the crosscutting structure of aspects in the same kind of way as one browses the inheritance structure of classes. Several examples show that AspectJ is powerful, and that programs written using it are easy to understand.

An overview of AspectJ

Praise for the Third Edition: "This is one of the best books available. Its excellent organizational structure allows quick reference to specific models and its clear presentation . . . solidifies the understanding of the concepts being presented."IIE Transactions on Operations EngineeringThoroughly revised and expanded to reflect the latest developments in the field, Fundamentals of Queueing Theory, Fourth Edition continues to present the basic statistical principles that are necessary to analyze the probabilistic nature of queues. Rather than presenting a narrow focus on the subject, this update illustrates the wide-reaching, fundamental concepts in queueing theory and its applications to diverse areas such as computer science, engineering, business, and operations research.This update takes a numerical approach to understanding and making probable estimations relating to queues, with a comprehensive outline of simple and more advanced queueing models. Newly featured topics of the Fourth Edition include:Retrial queuesApproximations for queueing networksNumerical inversion of transformsDetermining the appropriate number of servers to balance quality and cost of serviceEach chapter provides a self-contained presentation of key concepts and formulae, allowing readers to work with each section independently, while a summary table at the end of the book outlines the types of queues that have been discussed and their results. In addition, two new appendices have been added, discussing transforms and generating functions as well as the fundamentals of differential and difference equations. New examples are now included along with problems that incorporate QtsPlus software, which is freely available via the book's related Web site.With its accessible style and wealth of real-world examples, Fundamentals of Queueing Theory, Fourth Edition is an ideal book for courses on queueing theory at the upper-undergraduate and graduate levels. It is also a valuable resource for researchers and practitioners who analyze congestion in the fields of telecommunications, transportation, aviation, and management science.

Fundamentals of Queueing Theory

https://beloglazov.info/papers/2011-energy-aware-fgcs.pdf

Energy-aware resource allocation heuristics for efficient management of data centers for Cloud computing

The Object Management Group's (OMG) Model Driven Architecture (MDA) strategy envisages a world where models play a more direct role in software production, being amenable to manipulation and transformation by machine. Model Driven Engineering (MDE) is wider in scope than MDA. MDE combines process and analysis with architecture. This article sets out a framework for model driven engineering, which can be used as a point of reference for activity in this area. It proposes an organisation of the modelling 'space' and how to locate models in that space. It discusses different kinds of mappings between models. It explains why process and architecture are tightly connected. It discusses the importance and nature of tools. It identifies the need for defining families of languages and transformations, and for developing techniques for generating/configuring tools from such definitions. It concludes with a call to align metamodelling with formal language engineering techniques.

Model Driven Engineering

To realise an Ambient Intelligence environment, it is paramount that applications can dispose of information about the context in which they operate, preferably in a very general manner. For this purpose various types of information should be assembled to form a representation of the context of the device on which aforementioned applications run. To allow interoperability in an Ambient Intelligence environment, it is necessary that the context terminology is commonly understood by all participating devices. In this paper we propose an adaptable and extensible context ontology for creating context-aware computing infrastructures, ranging from small embedded devices to high-end service platforms. The ontology has been designed to solve several key challenges in Ambient Intelligence, such as application adaptation, automatic code generation and code mobility, and generation of device specific user interfaces.

/pdf/towards-an-extensible-context-ontology-for-ambient-42dz8mqzd6.pdf

Towards an Extensible Context Ontology for Ambient Intelligence

https://hal.inria.fr/inria-00415930/document

EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and results in a significant disruption in the application being updated In this paper, we introduce a weaker condition: tranquillity We show that tranquillity is easier to obtain and less disruptive for the running application but still a sufficient condition to ensure application consistency We present an implementation of our approach on a component middleware platform and experimentally verify the validity and practical applicability of our approach using data retrieved from a case study

/pdf/tranquility-a-low-disruptive-alternative-to-quiescence-for-a2g4y6r3k5.pdf

Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates

The applicability of pervasive and mobile computing in the health care sector is beyond dispute. This paper explores the use of the mobile phone as a tool for personalized health care assistance for individuals diagnosed with diabetes. By monitoring user location and activity on the mobile phone, recognizing past behavior and augmenting the logging of blood glucose levels with context data, our prototype application assists with taking well-informed decisions on daily drug dosage to achieve and maintain stable blood glucose levels. Evaluation of the prototype application indicate that a brief training of the application suffices to capture patterns in the user's relevant context that simplify glucose level trends analysis. We describe some of the details of the user study and the prototype application, and conclude with plans to investigate context-driven activity prediction to further improve the decision support for the user.

Mobile phones assisting with health self-care: a diabetes case study

A model transformation can be decomposed into a sequence of subtransformations, i.e. a transformation chain, each addressing a limited set of concerns. However, with current transformation technologies it is hard to (re)use and compose subtransformations without being very familiar with their implementation details. Furthermore, the difficulty of combining different transformation technologies often thwarts choosing the most appropriate technology for each subtransformation. In this paper we propose a model-based approach to reuse and compose subtransformations in a technology-independent fashion. This is accomplished by developing a unified representation of transformations and facilitating detailed transformation specifications. We have implemented our approach in a tool called UniTI, which also provides a transformation chain editor. We have evaluated our approach by comparing it to alternative approaches.

Yolande Berbers

Papers

Towards an Extensible Context Ontology for Ambient Intelligence

EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support

Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates

Mobile phones assisting with health self-care: a diabetes case study

UniTI: a unified transformation infrastructure