Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In such a scenario, it is difficult for en...
详细信息
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In such a scenario, it is difficult for end-users to specify and install an appropriate configuration for their specific environment. Defining all valid configurations of a software system is challenging, and can be addressed through a concise specification that can generate all of the possible configurations. the Deployable software Description (DSD), part of the University of Colorado software Dock project, is one such specification format. But using the DSD runs the risk that the set of generated configurations includes some that are invalid with respect to constraints defined independently of the DSD. this paper describes a framework to support the analysis of DSD specifications to help developers detect potentially invalid configurations. this analysis assumes that the system components are annotated with properties, and an analysis tool is provided that takes a specific configuration and analyzes it for conflicts with respect to some set of constraints. Using the DSD, we can enumerate and analyze configurations to verify their validity. the results can be used to modify the DSD to avoid future generation of invalid configurations.
Many organizations today are facing the problem of software migration: porting existing code to new architectures and operating systems. In many cases, such legacy code is written in a mainframe-specific assembly lang...
详细信息
Many organizations today are facing the problem of software migration: porting existing code to new architectures and operating systems. In many cases, such legacy code is written in a mainframe-specific assembly language and needs to be translated to a high-level language in order to be run on different architectures. Our research addresses this problem in a large-scale, real-life case study. We built an automatic tool, called Bogart, that translates IBM 370 assembly language programs to C. Bogart is based on Artificial Intelligence tools and techniques such as the Plan Calculus, translation by abstraction and re-implementation, program transformations, constraint propagation, and pattern recognition, Bogart was tested on real legacy code of a large commercial application: a database system and application generator, the main product of Sapiens International, Ltd, Bogart is compared withthe literal brute-force translator initially developed by Sapiens, and is found to be superior on all counts, including portability of the resulting code, the amount of manual preparation required, and code size and speed. the results are shown for several small examples as well as a typical module consisting of several thousand lines of code from the Sapiens application. Bogart also seems to be more comprehensive than other reengineeringsystems reported in the literature. Bogart's analysis technology has recently been applied with significant commercial success to the analysis and remediation of Year 2000 bugs. this study demonstrates that certain AI techniques can be carefully combined to create industrial-strength applications that solve acute problems of softwareengineering. the fact that the research was carried out in industry on a real test case also revealed some of the problems of this approach. One example is the higher development cost of the AI approach, and the further effort that will be needed in order to extend it. (On the other hand, the literal translator has re
Companies are recognizing the increasing importance of investing in the build-up of core competencies for their competitiveness. this is supported by the set-up and maintenance of an organizational memory. To justify ...
详细信息
the rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable distributed appli...
详细信息
the rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable distributed applications. It is based on the stepwise refinement of model-oriented formal specifications, and enables validation of the obtained system wrt the client's requirements. three refinement steps have been identified in the case of fault-tolerant distributed applications: first, starting from informal requirements, an initial formal specification is derived. It does not depend on implementation constraints and provides a centralized solution;second, dependability and distribution constraints are integrated;third, the Java implementation is realised. the CO-OPN/2 language is used to express specifications formally;and the dependability and distribution design is based on the Coordinated Atomic action concept. the methodology and the three refinement steps are presented through a very simple fault-tolerant distributed Java application.
the proceedings contain 18 papers. the topics discussed include: knowledge engineering - survey and future directions;knowledge-based diagnosis - survey and future directions;knowledge-based configuration - survey and...
ISBN:
(纸本)3540656588
the proceedings contain 18 papers. the topics discussed include: knowledge engineering - survey and future directions;knowledge-based diagnosis - survey and future directions;knowledge-based configuration - survey and future directions;case-based reasoning - survey and future directions;meeting re-use requirements of real-life diagnosis applications;towards reusable intelligent scheduling software;organizational memory: knowledge acquisition, integration, and retrieval issues;a competence knowledge base system as part of the organizational memory;practical evaluation of an organizational memory using the goal-question-metric technique;on texts, cases, and concepts;integrated case-based neural network approach to problem solving;WekI - a knowledge based system of Suva for the assignment of companies to risk related groups;and experiences with a knowledge-based tutoring system for student education in rheumatology.
We describe the design of an open ended set of tools for manipulating multi-dimensional tabular expressions. the heart of the toolset is a set of modules that makes it possible to add new tools to the toolset without ...
详细信息
this paper presents an overview of the software tools developed in the framework of HIPERCOMBATS and MYSHANET projects. these are High Performance Computing and Networking (HPCN) projects funded by the European Commis...
详细信息
In this paper, a new framework for rapid system design and implementation for fuzzy systems is proposed. the given system specification is separated into two components: A conceptual specification and a parameter spec...
详细信息
Agents are the next significant software abstraction, especially for distributed systems. Mobility is an orthogonal property of agents – that is, not all agents mobile. An agent can just sit there and communicate wit...
详细信息
Much of the work concerned with virtual environments has addressed the development of new rendering technologies or interaction techniques. As the technology matures and becomes adopted in a wider range of application...
详细信息
Much of the work concerned with virtual environments has addressed the development of new rendering technologies or interaction techniques. As the technology matures and becomes adopted in a wider range of applications, there is, however a need to better understand how this technology can be accommodated in softwareengineering practice. A particular challenge presented by virtual environments is the complexity of the interaction that is supported, and sometimes necessary, for a particular task. Methods such as finite-state automata which are used to represent and design dialogue components for more conventional interfaces, e.g. using direct manipulation within a desktop model, do not seem to capture adequately the style of interaction that is afforded by richer input devices and graphical models. In this paper we suggest that virtual environments are, fundamentally what are known as hybrid systems. Building on this insight, we demonstrate how techniques developed for modelling hybrid systems can be used to represent and understand virtual interaction in a way that can be used in the specification and design phases of software development, and which have the potential to support prototyping and analysis of virtual interfaces.
暂无评论