29108592
Automated semantic analysis of design models
Based on several years of experience in generating code from large SDL and UML models in the telecommunications domain, it has become apparent that model analysis must be used to augment more traditional validation and testing techniques. While model correctness is extremely important, the difficulty of use and non-scalability of most formal verification techniques when applied to large-scale design models renders them insufficient for most applications. We have also repeatedly seen that even the most complete test coverage fails to find many problems. In contrast, sophisticated model analysis techniques can be applied without human interaction to large-scale models. A discussion of the model analysis techniques and the model defects that they can detect is provided, along with some real-world examples of defects that have been caught.
45399680
Experiences in Deploying Model-Driven Engineering
In this paper, we describe how Motorola has deployed model-driven engineering in product development, in particular for the development of highly reliable telecommunications systems, and outline the benefits obtained. Model-driven engineering has dramatically increased both the quality and the reliability of software developed in our organization, as well as the productivity of our software engineers. Our experience demonstrates that model-driven engineering significantly improves the development process for telecommunications systems. We discuss the elements we found most important for deployment of model-driven engineering in a large product development organization: An appropriate modeling language, a powerful domain-specific code generator, and a deployment support team.
166474782
Mobile 3D Game Development: From Start to Market
128780900
Expert system classification of urban land use/cover for Delhi, India
This study presents the results of classifying land use/land cover for Delhi, India using an expert system approach. For this study Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) data of 22 September 2003 were used. The research goals of this project are two‐fold. In one respect, the research goal is to report on the extent covered by urbanization using the classified image. Thirteen different land‐cover categories were identified with an 85.55% overall classification accuracy based on 256 random points for validation and 50 on the ground observations. Secondly, we report on our efforts to duplicate an expert system model previously developed for Phoenix Arizona as a generalized approach for urban land use classification. Results suggest that while some of the methodology could be duplicated, there are local factors (e.g. data availability and specific land features) that required the approach to be modified.
33110050
Managing Schema Versions in Object-Oriented Databases
The schemas of object-oriented databases are frequently changed in advanced applications such as Computer-Aided Design. This generates many schema versions that are used to model the evolving structure of a real world entity. Thus, there exists a need for an adequate method of managing the schema versions effectively, so that the user can trace the history of the changing schema with ease. In this paper, we propose a nested matrix model for the management of schema versions in object-oriented databases. The model maintains a semantic set of relationships between the schema versions. The advantages of our work include the provision of a logical representation for schema versions that are not addressed sufficiently in exiting models and the development of a graphic querying interface.
7556411
A database system for constructing, integrating, and displaying physical maps of chromosome 19
Efforts are underway at numerous sites around the world to construct physical maps of all human chromosomes. These maps will enable researchers to locate, characterize, and eventually understand the genes that control human structure and function. The volume and complexity of the data already generated requires a sophisticated array of computational support to collect, store, analyze, integrate and display data in biologically meaningful ways. The Human Genome Center at Livermore has spent the past 6 years constructing a database system to support its physical mapping efforts on human chromosome 19. Our computational support team is composed of experienced computer professionals who share a common pragmatic primary goal of rapidly supplying tools that meet the ever-changing needs of the biologists. In this paper, we concentrate on the design issues, tradeoffs, and consequences from the point of view of building a complex database system to support leading-edge genomic research. We introduce the topic of physical mapping, discuss the key design issues involved in our database, and discuss the use of this data by our major tools (DNA fingerprint analysis and overlap computation, contig assembly, map integration and database browsing). Given the advantage of hindsight, we discuss what worked, what didn't, and where to go from here. As early pioneers in this field, we hope that our experience may prove useful to others who are now beginning to design and construct similar systems.<<ETX>>
33800485
Non-Null Implication
An implication A ⊃ B is said to be null in case A is false in all instances. This note describes several formal systems for first-order predicate logic and arithmetic in which null implications do not occur. In fact, the most restrictive systems avoid the occurrences of any formulas which represent null predicates. The precise sense of this avoidance is explained below. An intuitionistic negation is a statement of the form A ⊃ F where F is a contradiction. The absence of null implications among true statements entails the absence of intuitionistic negations, and hence systems described here might be called negationless intuitionistic systems.