Narrow Results

Three-dimensional (3D) CAD models are useful for applications in the areas of CAD/CAM/CAE/CAQ. A desirous trend creating this model is a 3D model reconstruction from views. With this method, geometric information can be easily entered into computers while continuing to use existing 2D drawings in modern applications. Most of the previous works used three views as the input despite many common parts represented by only two views. A reconstruction system using only two views is the subject of this work. The proposed method has been implemented and tested by an Objectarx 2015 program running on AutoCAD 2018. The resultant 3D Solid model has been evaluated for compatibility with CAM/CAQ/CNC systems.

The application of specification-based program verification techniques (e.g., black-box testing, formal proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. This paper describes a view-based program review approach to addressing these challenges. The essential idea of the approach is first to derive comparable views from the specification and program, and then detect and eliminate the violations of structural consistency in the program views on the basis of a set of criteria. We also developed a prototype tool to support the review approach, and conducted a case study to assess the effectiveness of the approach.

Although RDF ontologies are expressed based on XML syntax, existing methods to protect XML documents are not suitable for securing RDF ontologies. The graph style and inference feature of RDF ontologies demands new methods for access control. Driven by this goal, this paper proposes a query-oriented model for RDF ontology access control. The model adopts the concept of ontology view to rewrite user queries. In our approach, ontology views define accessible ontology concepts and instances a user can visit, and enables a controlled inference capability for the user. The design of the views guarantees that the views are free of conflict. Based on that, the paper describes algorithms for rewriting queries according to different views, and provides a system architecture along with an implemented prototype. In the evaluation, the system exhibits a promising result in terms of effectiveness and soundness.

This paper outlines a framework which supports the use of multiple perspectives in system development, and provides a means for developing and applying systems design methods. The framework uses "viewpoints" to partition the system specification, the development method and the formal representations used to express the system specifications. This VOSE (viewpoint-oriented systems engineering) framework can be used to support the design of heterogeneous and composite systems. We illustrate the use of the framework with a small example drawn from composite system development and give an account of prototype automated tools based on the framework.

The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specification technique based on graph transformations which supports such a development approach. The use of graphs and graph transformations supports an intuitive understanding and an integration of static and dynamic aspects on a well-defined semantical base. On this background, formal notions of view and view relation are developed and the behaviour of views is described by a loose semantics. The integration of two views derived from a common reference model is done in two steps. First, dependencies between the views which are not given by the reference model are determined, and the reference model is extended appropriately. This is the task of a model manager. If the two views and the reference model are consistent, the actual view integration can be performed automatically. For the case of more than two views more general scenarios are developed and discussed. All concepts and results are illustrated at the well-known example of a banking system.

A cognitive map model provides a graphical representation of an influence network between concepts. One drawback of this model is that large cognitive maps are difficult to exploit and understand. This paper introduces an ontological cognitive map model that enables the designer to organize concepts in an ontology. On the one hand, this model provides an ontological influence mechanism that shows the influence from any concept of the ontology to any other according to the map. The map is then easier to exploit. On the other hand, the ontology is used for providing a synthetical view of a map. The map is then easier to understand.