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 consider the type inference problems in a compositional design environment where the components are automatically instantiated from pre-existing C++-based intellectual property (IP) libraries. We present a componen...
详细信息
ISBN:
(纸本)0780376595
We consider the type inference problems in a compositional design environment where the components are automatically instantiated from pre-existing C++-based intellectual property (IP) libraries. We present a component integration language based on scripting for design specification. Our focus is architectural aspects in specification that uses aggregation-as opposed to the more commonly used inheritance-for composition of components. Our approach simplifies architectural specification by employing a type inference and type management environment. We show that the type inference problem is NP-complete. We present a heuristic based on code generation and parameterization to solve the type inference for IP selection in our C++-based composition environment. We have implemented the composition and type management in the BALBOA framework. The results show the utility of our approach.
We present a framework for code generation that allows programs to manipulate and generate code at the source level while the joining and splicing of executable code is carried out automatically at the intermediate co...
详细信息
We present a framework for code generation that allows programs to manipulate and generate code at the source level while the joining and splicing of executable code is carried out automatically at the intermediate code/VM level. The framework introduces a data type code to represent code fragments: methods/operators from this class are used to reify a method from a class, producing its representation as an object of type code. Code objects can be combined by partial application to other code objects. Code combinators, corresponding to higher-order methods, allow splicing the code of a functional actual parameter into the resulting Code object. CodeBricks is a library implementing the framework for the NET Common language Runtime. The framework can be exploited by languagedesigners to implement metaprogramming, multistage programming and other language features. We illustrate the use of the technique in the implementation of a fully featured regular expression compiler that generates code emulating a finite state automaton. We present benchmarks comparing the performance of the RE matcher built with CodeBricks with the hand written one present in NET.
This paper presents the design and implementation of class unloading in an embedded Java Virtual Machine. Even though the Java language specification states explicitly when a given class must be unloaded there is a su...
详细信息
ISBN:
(纸本)1932415157
This paper presents the design and implementation of class unloading in an embedded Java Virtual Machine. Even though the Java language specification states explicitly when a given class must be unloaded there is a surprising lack of papers on a systematized and step-by-step explanation of when and how a class becomes available for unloading. This paper presents a more formalized approach to Java class unloading as well as a design and implementation description involving a concurrent garbage collector.
This paper presents Visual Constraint Diagrams (VCD's), an extension to UML object diagrams for expressing constraints over object models. VCD's allow designers to express well-formedness constraints that cann...
详细信息
ISBN:
(纸本)0769520359
This paper presents Visual Constraint Diagrams (VCD's), an extension to UML object diagrams for expressing constraints over object models. VCD's allow designers to express well-formedness constraints that cannot be expressed using class diagrams alone;an example of such a constraint is that a linked list data structure cannot have any loops. VCD's offer two advances over existing techniques: 1) They allow constraints to be expressed within the visual notation of UML, without resorting to complex textual notations such as OCL;2) VCD's can be checked at runtime, increasing the value of design documents to developers. An editor and a checker for VCD's have been implemented as part of the Rosetta software design tool.
Run-time monitoring (and perhaps manipulation) tools, essential for reverse engineering of dynamic behavior, are often difficult to build from scratch. This presents a barrier for prototyping new analyses, and for bui...
详细信息
ISBN:
(纸本)0769520278
Run-time monitoring (and perhaps manipulation) tools, essential for reverse engineering of dynamic behavior, are often difficult to build from scratch. This presents a barrier for prototyping new analyses, and for building customized tools specific for single projects. To alleviate this problem, we present an architecture for easing the effort needed to build new monitoring tools that is based on the use of scripting languages for prototype monitors. This architecture is presented in a prototype design and implementation of introspection and manipulation of CORBA-based applications. Our framework implementation is being accomplished by tying a new CORBA dynamic access feature known as Portable Interceptors with an existing very high level programminglanguage, Tcl/Tk.
The Parks PDA is a lightweight, handheld device for theme park guests that functions as a combination guidebook, map, and digital camera. Together with a small team of artists and designers, we created a prototype Par...
详细信息
ISBN:
(纸本)1581137516
The Parks PDA is a lightweight, handheld device for theme park guests that functions as a combination guidebook, map, and digital camera. Together with a small team of artists and designers, we created a prototype Parks PDA and content for a three hour guest experience, including a camera interface, a hyper-linked guide book, three games, an animal spotters guide, a cross-referenced map, animated movies with lip-synched sound, a ride reservation system, and more. Over 800 visitors to Disney's Animal Kingdom. theme park tested the Parks PDA over a two week period. Developing the software for this test posed a number of challenges. The processor and memory of the target device were slow, the screen was small, and we had only three months of development time. We attacked these problems using Squeak, a highly-portable, open source Smalltalk implementation. We ported Squeak to the target device and used it to provide nearly bit-identical behavior across four different platforms. This supported a cross-platform development style that streamlined the production of both software and content. We created a tiny user interface and application framework for pen-based devices and implemented a simple card-stack media editor and player using it. We isolated and addressed several challenging performance issues. The project was completed on time and guest response was favorable. Looking back, we can identify seven aspects of Squeak that contributed to the success of the project. In fact, we feel that Squeak was the ideal tool for this job.
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model that captures the functionality of the system at a high abstraction level, it provides formal design trans...
详细信息
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model that captures the functionality of the system at a high abstraction level, it provides formal design transformation methods for a transparent refinement process of the specification model into an implementation model that is optimized for synthesis. A transformation may be semantic preserving or a design decision. The latter modifies the semantics of the system level description and changes the meaning of the model. The main contribution of this paper is the incorporation of model checking to verify that refined system blocks satisfy the design specification. We illustrate the translation of the ForSyDe code to the SMV language and the verification of local design decisions with a case study of a ForSyDe equalizer model.
This paper opens with a brief summary of some 30 years of study of the software evolution phenomenon. The results of those studies include the SPE program classification, a principle of software uncertainty and laws o...
详细信息
This paper opens with a brief summary of some 30 years of study of the software evolution phenomenon. The results of those studies include the SPE program classification, a principle of software uncertainty and laws of E-type software evolution. The laws were termed so because they encapsulate phenomena largely independent of the people, the organisations and the domains involved in the evolution of the E-type systems studied. Recent studies have refined earlier conclusions, yielded practical guidelines for software evolution management and provide a basis for the formation of a theory of software evolution. Given the volume of published material and the extent of recent discussions on the topic (see, e.g., [Proc. ICSM, Montreal, 2002, p. 66]), this paper is restricted to an overview that exposes the significance of the evolution phenomenon and its study to the wider community, providing a basis for the future and, in particular, development of a theory of software evolution. (C) 2003 Elsevier B.V. All rights reserved.
The paper describes a Corba components based service development environment and reports important lessons learned from service design, implementation and usage. A declared project goal was to evaluate service program...
详细信息
ISBN:
(纸本)0769519946
The paper describes a Corba components based service development environment and reports important lessons learned from service design, implementation and usage. A declared project goal was to evaluate service programmability, speed and flexibility in the creation of complex services based on simple building blocks. We implemented an OSA/Parlay gateway with a Parlay call control interface to control a SIP Proxy. A Parlay Framework performs registration, trust and security, discovery, service agreement management, service profiling and subscription tasks. The software is implemented in Java using Corba components (CCM). User profiling and service chaining possibilities are extensively used in a complex scenario including external voice server, web based groupware and call setup functionality provided via Parlay APIs.
暂无评论