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

ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009

[서평]「The Unified Modeling Language User Guide」

Originating from basic research conducted in the 1970's and 1980's, the parallel and distributed simulation field has matured over the last few decades. Today, operational systems have been fielded for applications such as military training, analysis of communication networks, and air traffic control systems, to mention a few. The article gives an overview of technologies to distribute the execution of simulation programs over multiple computer systems. Particular emphasis is placed on synchronization (also called time management) algorithms as well as data distribution techniques.

/pdf/parallel-and-distributed-simulation-systems-2ovm9qn1cd.pdf

Parallel and Distributed Simulation Systems

This paper focuses on the development of distributed measurement systems using Java and Web tools. An approach is proposed which is based on object-oriented programming and client/server communications and which allows remote configuration and monitoring of the measurement system. The approach proves useful both for educational and industrial measurement requirements.

Java based distributed measurement systems

This paper proposes an agent infrastructure (Theatre) centered on Java for distributed simulations over High-Level Architecture/RunTime Infrastructure (HLA/RTI). The architecture rests on actors (agents) as the basic building blocks. Actors have a public message interface and encapsulate a state of local variables and a behavior patterned as a finite state machine. Actors interact with one another by asynchronous message passing. At the system level, theatres are used as the execution platforms for actors. Theatres naturally map on to HLA federates. Actors can migrate between theatres for load-balancing concerns, or in response to (re)configuration operations of dynamic structure systems. The paper introduces Theatre and demonstrates its application to a complex simulation model based on unmanned aerial vehicles (UAVs). The case study is an open agent-based distributed model where mobile agents follow communication patterns established at runtime.

An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination

It is shown that a concurrent, real-time, object-oriented programming paradigm named RTO (real time objects) may be a suitable basis for building the software of an intelligent measurement system. After a presentation of the paradigm, the authors present the software architecture of an RTO-based measurement system, and discuss its advantages in terms of modularity and reusability. Analog-to-digital (A/D), digital-to-analog (D/A), and magnetic measurements on ferrite cores were implemented in order to evaluate the software system. The hardware architecture is based on a waveform analyzer and a polynomial waveform synthesizer connected to a personal computer which functions as the system manager. It is concluded that the real-time features of RTO eliminate problems which arise from hidden systems-or language-dependent issues. >

Object-oriented design of measurement systems

This paper proposes M/sup 3/A-Multicast Mobile Measurement Architecture-a software architecture for the development of flexible distributed measurement systems. M/sup 3/A centres at the large level on nowadays Internet technologies such as multicast and mobile computing and at the small level on a Java and Actor-based Framework. M/sup 3/A allows the building of open, portable and dynamically re-configurable systems. The paper describes the architecture and exemplifies it by some examples.

http://wwwinfo.deis.unical.it/fortino/research/publications/journal/pdf/ieeei&m98.pdf

Multicast control of mobile measurement systems

This paper proposes a modular and real-time actor language which addresses timing predictability through a holistic integration of an application with its operating software, i.e., scheduling algorithm. The actor language fosters a development life cycle where the same concepts and entities migrate unchanged from specification down to design and object-oriented implementation. The paper concentrates on the specification and analysis of distributed real-time systems using Coloured Petri Nets. Both functional and temporal properties can be validated by simulation and occurrence graphs in the context of the Design/CPN tools.

Libero Nigro

Papers

Java based distributed measurement systems

An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination

Object-oriented design of measurement systems

Multicast control of mobile measurement systems

Schedulability analysis of real time actor systems using coloured petri nets