Run-time modeling is a method of using the execution data for modeling the real process going on in a program. This paper introduces a run-time modeling scheme as a tool for software visualization and Unified Modeling...
详细信息
Run-time modeling is a method of using the execution data for modeling the real process going on in a program. This paper introduces a run-time modeling scheme as a tool for software visualization and Unified Modeling language (UML) is selected to accomplish this concept. To develop a Run-Time UML, it is necessary to devise user-friendly methods for showing static and dynamic modeling diagrams by mapping source codes information and real time execution data to UML diagrams. The proposed scheme is planned to be implemented into an Integrated Development Environment (IDE) using java programming language.
MedfoLink is a new software technology that applies novel design features to help solve issues regarding medical records processing that are part of the national agenda. This software overcomes the vocabulary and perf...
详细信息
ISBN:
(纸本)0769520006
MedfoLink is a new software technology that applies novel design features to help solve issues regarding medical records processing that are part of the national agenda. This software overcomes the vocabulary and performance limitations of existing medical language processing technologies by employing high speed databases, java, and the UMLS (Unified Medical language Source). MedfoLink is a java technology that enables a computer to accurately record and interpret data from patient records. MedfoLink's design incorporates two novel approaches: (a) intelligent algorithms that with practice improve comprehension of medical records and (b) the ALI (Adaptive Learning Interface) architecture that enhances performance by integrating existing technologies with an object-oriented approach. Future applications of MedfoLink range from individual patient care, to clinical drug trials, to public health monitoring.
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances according to the evidence our analyse...
详细信息
ISBN:
(纸本)0769518834
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances according to the evidence our analyses provide. We discuss our approach for the Observer, Composite, Mediator, Chain of Responsibility and Visitor Patterns. Our java analysis tool analyzes java programs. We evaluate our approach by applying the tool on itself and on the java SwingSetExample using the Swing library.
In this paper, we propose an environment for evolutionary prototyping technique, which is a theoretical framework based on abstract interpretation for java programs. In general, it is difficult to execute a prototype ...
详细信息
ISBN:
(纸本)0769520111
In this paper, we propose an environment for evolutionary prototyping technique, which is a theoretical framework based on abstract interpretation for java programs. In general, it is difficult to execute a prototype in the intermediate stage of top-down development. This disadvantage prevents us to find bugs in the early stage of the development. The technique we propose here allows programmers to execute the prototype as a whole, even though it is partially implemented. In the technique, an object is repeatedly changed with interface changes. Our idea is to use an earlier runnable object instead of an unimplemented later object in runtime. The changes of objects are based on abstract interpretation. However, it is necessary to realize the mechanism for using the alternative object including the interface changes in java. To solve this problem, we introduce proxy object, which is a mediator containing all interface and transform objects dynamically and automatically to keep execution going. Moreover, proxy objects can be automatically, generated by the dynamic proxy class API, which is one of java reflection mechanism. As a result, our environment would reduce the cost that programmers describe code for adjusting current objects.
This paper presents a component model for designing and implementing flexible software components in java. Our model defines a mapping of how the fundamental concepts of component-based development (CBD) should be imp...
详细信息
ISBN:
(纸本)0769520359
This paper presents a component model for designing and implementing flexible software components in java. Our model defines a mapping of how the fundamental concepts of component-based development (CBD) should be implemented using the object-oriented (OO) constructs, available in the java programming language. The benefit of this mapping is to shorten the distance between a component-based software architecture and its implementation, enhancing the reusability, adaptability and maintainability of component-based software systems.
The memory model used in the Real-Time Specification for java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus maintaining the pointer safety of Jav...
详细信息
ISBN:
(纸本)0769519369
The memory model used in the Real-Time Specification for java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus maintaining the pointer safety of java. An implementation solution to ensure the checking of these rules before each assignment statement consists to use write barriers executing a stack-based algorithm. This paper provides a hardware-based solution for both write barriers and the stack-based algorithm.
The ME platform with its server component technology Enterprise javaBeans (EJB) has become widely adopted today Services provided by ME component containers, such as container-managed persistence (CMP), facilitate the...
详细信息
ISBN:
(纸本)1932415211
The ME platform with its server component technology Enterprise javaBeans (EJB) has become widely adopted today Services provided by ME component containers, such as container-managed persistence (CMP), facilitate the development of distributed transactional applications and increase portability of EJB components. Thanks to its intensive web support through Servlets and JSPs, the ME standard easily allows web application designers to bring data stored in EJB entity beans to the Internet as HTML pages. A major problem, however, is the fact that often there are too many instances of an entity bean to be presented on a single HTML page. In our paper, we will compare different solutions to this problem. As a starting point, we will measure the performance of a naive CMP-based approach and compare it with a bean-managed persistence (BMP) approach structured in a similar way. Since the use of CMP provides many benefits, but the naive approach shows only poor performance, we finally present a variant of Sun's page-by-page iterator pattern, which, as opposed to the original, does not rely on JDBC but rather uses the new EJBQL features introduced in the new EJB 2.1 final draft in order to provide a feasible solution within the framework of CMP. In our conclusion we also identify some possible improvements to the ME standard based on our findings.
The use of component models such as Enterprise java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-critical domains, component-based develop...
详细信息
ISBN:
(纸本)076951877X
The use of component models such as Enterprise java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-critical domains, component-based development is beginning to take hold as a mechanism for incorporating non-functional aspects such as real-time, quality-of-service, and distribution. To form an effective basis for development of such systems, we believe that support for reasoning about correctness properties of component-based designs is essential. In this paper we present Cadena - an integrated environment for building and modeling CCM systems. Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition System semantics for these types, assembling systems from CCM components, visualizing various dependence relationships between components, specifying and verifying correctness properties of models of CCM systems derived from CCM IDL, component assembly information, and Cadena specifications, and producing CORBA stubs and skeletons implemented in java. We are applying Cadena to avionics applications built using Boeing's Bold Stroke framework.
This paper presents javaSplit, a portable runtime for distributed execution of multithreaded java programs. javaSplit transparently distributes threads and objects of an application among the participating nodes. Thus...
详细信息
ISBN:
(纸本)0769520669
This paper presents javaSplit, a portable runtime for distributed execution of multithreaded java programs. javaSplit transparently distributes threads and objects of an application among the participating nodes. Thus, it gains augmented computational power and increased memory capacity without modifying the java multithreaded programming conventions. javaSplit works by rewriting the bytecodes of a given parallel application, transforming it into a distributed application that incorporates all the runtime logic. Each runtime node carries out its part of the resulting distributed computation using nothing but its local standard (unmodified) java Virtual Machine (JVM). This is unlike previous java-based distributed runtime systems, which use a specialized JVM or utilize unconventional programming constructs. Since javaSplit is orthogonal to the implementation of a local JVM, it achieves portability across any existing plaform and allows each node to locally optimize the performance of its JVM, e.g., via a just-in-time compiler (JIT).
Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. They support a declarative model of concurrency th...
详细信息
ISBN:
(数字)9783540245995
ISBN:
(纸本)3540206426
Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. They support a declarative model of concurrency that avoids explicitly suspending and resuming computations. This paper presents Flow java which conservatively extends java with single assignment variables and futures as variants of logic variables. The extension is conservative with respect to object-orientation, types, parameter passing, and concurrency in java. Futures support secure concurrent abstractions and are essential for seamless integration of single assignment variables into java. We show how Flow java supports the construction of simple and concise concurrent programming abstractions. We present how to moderately extend compilation and the runtime architecture of an existing java implementation for Flow java. Evaluation using standard java benchmarks shows that in most cases the overhead is between 10% and 40%. For some pathological cases the runtime increases by up to 75%.
暂无评论