object-orientedprogramming is a major trend in computer software because it increases flexibility of large-scale software systems. This paper presents an intuitive visual framework for power system analysis. The foll...
详细信息
object-orientedprogramming is a major trend in computer software because it increases flexibility of large-scale software systems. This paper presents an intuitive visual framework for power system analysis. The following features achieve the flexibility of the framework: a graphical editor used to visually edit power system one-lino diagrams, communication interface that rouses existing application, results processing and exporting, and graphic presentations. The embedded application modules in the framework include the power flow, the continuation power flow, the available transfer capability, and sensitivity analysis. Design and implementation details of the framework, as well as applications implemented on top of the framework, together with power system application components, are presented in this paper.
In this paper, we propose an analysis method for checking method invocation patterns using context-sensitive points-to analysis and report on the result of experimentation using implementations of our method. For a gi...
详细信息
In this paper, we propose an analysis method for checking method invocation patterns using context-sensitive points-to analysis and report on the result of experimentation using implementations of our method. For a given program written in an object-oriented language, the method statically checks whether the order of method invocations to specific objects at run-time will conform to an invocation pattern rule. In order to precisely figure out the locations where method invocations to specific objects will occur, our method uses context-sensitive points-to analysis. We employed three kind of contexts, objsens, cfa and k-cfa, and developed three corresponding implementations to evaluate them. Our experiments show that objsens figures out the method invocation sites by the highest accuracy and the accuracy of objsens is 5.5 times as high compared with the one of context-insensitive method. We also obtained the result that the accuracy of the pattern checks improved by 3.4 times.
It is often claimed that inaccurate modularisation of crosscutting concerns hinders program comprehension and, as a consequence, leads to harmful software instabilities. However, recent studies have pointed out that c...
详细信息
Umple is a set of extensions to object-oriented languages that provides a concrete syntax for UML abstractions like associations. We argue that Umple will help increase program comprehension by allowing developers to ...
详细信息
In the AspectJ family of aspect-orientedprogramming languages, the programmers sometimes make mistakes in pointcuts. This results in making advice unexecutable or advice executed at unexpected join points. We aim to ...
详细信息
In the AspectJ family of aspect-orientedprogramming languages, the programmers sometimes make mistakes in pointcuts. This results in making advice unexecutable or advice executed at unexpected join points. We aim to solve this problem by proposing a type system for Aspect J aspects that detects contradictions within a pointcut and between pointcuts. This paper describes the definition of the types of pointcuts along with typing rules. We confirmed that the type system detects several non-trivial mistakes in pointcuts.
The requirements for significant computational resources imposed by dynamic security assessment applications have led to an increasing interest in the use of parallel and distributed computing technologies. This paper...
详细信息
The requirements for significant computational resources imposed by dynamic security assessment applications have led to an increasing interest in the use of parallel and distributed computing technologies. This paper presents an adaptive scheme that involves user-friendly flat application program interfaces for scripting and an object-orientedprogramming environment for distributed dynamic security assessment implementation. Functional parallelism and data parallelism are supported by each of the message passing interface model and TCP/IP model. Adaptive stochastic-based objectives and conservative parameter prediction techniques are used to produce more efficient data parallelism. Tests for a 39-bus network and a 3872-bus network are reported, and the results of these experiments demonstrate that the proposed scheme is able to execute the distributed simulations on either stand-alone personal computers, cluster systems, or a computational grid infrastructure and provide efficient parallelism for the given environment.
A range of technologies and teaching strategies may be used to improve the quality of teaching object- oriented (OO) concepts where there is a close relationship between OO analysis and design (OOAD) combined with OO ...
详细信息
A range of technologies and teaching strategies may be used to improve the quality of teaching object- oriented (OO) concepts where there is a close relationship between OO analysis and design (OOAD) combined with OO programming (OOP). This study investigates the application of a number of these technologies and teaching strategies across university courses in OOAD and OOP, using an empirical approach based upon attitudinal and student performance data. The systems used include: development environments that provide two-way linkage between UML diagrams and OO program code; interactive whiteboards to allow educational demonstrations that more closely represent actual practice; and an online delivery tool for course content, messages and discussions. Close integration between the processes of OOAD and OOP courses is also investigated. The approaches significantly improved student grades, perceived levels of understanding and productivity. The integration of course concepts and assignments, and the electronic discussion boards, are key benefit drivers.
This paper presents some lessons learned from complex field experimentation with SOA initiatives over the past 5 years. These were large-scale experiments with nodes in several countries and 100s of participants. Test...
详细信息
This paper presents some lessons learned from complex field experimentation with SOA initiatives over the past 5 years. These were large-scale experiments with nodes in several countries and 100s of participants. Tested scenarios included support for coalition and civilian agencies for disaster relief in international emergencies. SOA technologies were tested as communications and information resources for both human usability and service interoperability.
Gradual typing, proposed by Siek and Taha, is a framework to combine the benefits of static and dynamic typing. In gradual typing, some parts of the program are type-checked at compile-time, and the other parts are ty...
详细信息
Gradual typing, proposed by Siek and Taha, is a framework to combine the benefits of static and dynamic typing. In gradual typing, some parts of the program are type-checked at compile-time, and the other parts are type-checked at run-time. So, a programmer can write a program rapidly without static type annotations in the beginning of development, then add type annotations as the development progresses and end up with a fully statically typed program. In this paper, we introduce FJ? as a theoretical basis of gradual typing for an object-oriented language with a nominal type system. FJ? is a gradual typing system for Featherweight Java (FJ), a minimal core calculus for Java by Igarashi, Pierce and Wadler. We define FJrefl, an extension of FJ with reflection, to give translational semantics of FJ? and show that a certain type safety property holds for FJ?, even in the presence of dynamically typed program fragments.
暂无评论