物件導向軟體之架構(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

What is modal logic

The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and other distributed systems in mind as application area, but instead of building a specialized simulator, OMNeT++ was designed to be as general as possible. Since then, the idea has proven to work, and OMNeT++ has been used in numerous domains from queuing network simulations to wireless and ad-hoc network simulations, from business process simulation to peer-to-peer network, optical switch and storage area network simulations. This paper presents an overview of the OMNeT++ framework, recent challenges brought about by the growing amount and complexity of third party simulation models, and the solutions we introduce in the next major revision of the simulation framework.

/pdf/an-overview-of-the-omnet-simulation-environment-23lg31mm1p.pdf

An overview of the OMNeT++ simulation environment

[서평]「Component Software」 - Beyond Object-Oriented Programming -

Capacity analysis of traffic flow over a single-lane automated highway system

https://isiarticles.com/bundles/Article/pre/pdf/4356.pdf

Quality management metrics for software development

Cloud computing describes a new distributed computing paradigm that allows system of systems to access a shared pool of configurable computing resources (e.g., networks, servers, storage, data, applications, and services) that can be rapidly provisioned and released over the Internet with minimal user-management effort or cloud-provider interaction. Interoperability is central to enabling sharing of resources from a pool of cloud-service providers in a seamless fashion. In this paper we describe some of the challenges in achieving interoperability for cloud computing and recommend an adaptation of the U.S. Department of Defense's LISI Maturity Model to address cloud-to-cloud interoperability.

/pdf/cloud-to-cloud-interoperability-9fqpr0tvle.pdf

Cloud to cloud interoperability

Organizations are policy-driven entities. Policy bases can be very large and the relationships between policies can be complex. In addition, policy can change on a frequent basis. Checking for gaps in policy or analyzing the ramifications of changing policy is necessary to both identify and rectify gaps or unintended policy prior to the policy base being refined into requirements for a system. A policy workbench is an integrated set of computer based tools for developing, reasoning about, and maintaining policy. A workbench takes as input a computationally equivalent form of policy statements. We have developed a prototype of a tool that maps natural language policy statements to an equivalent computational form. The authors describe the architecture of a natural language input-processing tool (NLIPT). It has an extractor, which generates a meaning list representative of the natural language input; an index-term generator, which identifies the key terms used to index relevant policy schema in the policy base; a structural modeler, which structures a schema for input; and a logic modeler, which maps the schema to an equivalent logical form. We experimented with a prototype of the extractor which successfully parsed a sample of ninety-nine Naval Postgraduate School security policy statements with ninety-six percent accuracy.

/pdf/natural-language-processing-support-for-developing-policy-b9o4gowdgb.pdf

Natural-language processing support for developing policy-governed software systems

We introduce the notion of an intelligent software decoy, and provide both an architecture and event-based lan- guage for automatic implementation of them. Our decoys detect and respond to patterns of suspicious behavior, and maintain a repository of rules for behavior patterns and de- coying actions. As an example, we construct a model of system behavior from an initial list of event types and their attributes in the interaction between computer worms and an operating system. The model represents patterns of suspicious or mali- cious events that the software decoy should detect, and specific actions to be taken in response. Our approach explicitly treats both standard and nonstandard invocations of components, with the latter representing an attempt to circumvent the public interface of the component. a

/pdf/software-decoys-intrusion-detection-and-countermeasures-2jzwt3941p.pdf

James Bret Michael

Papers

Capacity analysis of traffic flow over a single-lane automated highway system

Quality management metrics for software development

Cloud to cloud interoperability

Natural-language processing support for developing policy-governed software systems

Software Decoys: Intrusion Detection and Countermeasures