Reverse-engineering of architectural buildings based on an hybrid modeling approach

We thank MENSI and REALVIZ companies for their helpful comments and the following people for providing us images from their works: Francesca De Domenico (Fig. 1), Kyung-Tae Kim (Fig. 9). The CMN (French national center of patrimony buildings) is also acknowledged for the opportunity given to demonstrate our approach on the Hotel de Sully in Paris. We thank Tudor Driscu for his help on the English translation.This article presents a set of theoretical reflections and technical demonstrations that constitute a new methodological base for the architectural surveying and representation using computer graphics techniques. The problem we treated relates to three distinct concerns: the surveying of architectural objects, the construction and the semantic enrichment of their geometrical models, and their handling for the extraction of dimensional information. A hybrid approach to 3D reconstruction is described. This new approach combines range-based modeling and image-based modeling techniques; it integrates the concept of architectural feature-based modeling. To develop this concept set up a first process of extraction and formalization of architectural knowledge based on the analysis of architectural treaties is carried on. Then, the identified features are used to produce a template shape library. Finally the problem of the overall model structure and organization is addressed

Conflicting Tendencies in the Development of Scientific and Technical Language Varieties: Metaphorization vs. Standardization

The present paper discusses relations between meaning and context as an interactive process that promotes cognition and communication, both intralingual and interlingual. The article also studies two evident conflicting tendencies in the development of technical language: metaphorization and standardization. Metaphorical meaning extension is characteristic of technical vocabulary in all discourse domains. At the same time, contemporary development of corpus linguistics facilitates standardization of terms. Taking into account pragmatic aspects of the text environment, i.e. referential, situational, cultural and social contexts, language users can interpret the meaning of new terms, establish relations and interconnections between terms and concepts within a text, domain and entire scientific and technical discourse. In the present article, observations on the nature and application of contemporary technical terminology are made on the basis of extensive empirical research

Analysis of Feature Models Using Alloy: A Survey

Feature Models (FMs) are a mechanism to model variability among a family of closely related software products, i.e. a software product line (SPL). Analysis of FMs using formal methods can reveal defects in the specification such as inconsistencies that cause the product line to have no valid products. A popular framework used in research for FM analysis is Alloy, a light-weight formal modeling notation equipped with an efficient model finder. Several works in the literature have proposed different strategies to encode and analyze FMs using Alloy. However, there is little discussion on the relative merits of each proposal, making it difficult to select the most suitable encoding for a specific analysis need. In this paper, we describe and compare those strategies according to various criteria such as the expressivity of the FM notation or the efficiency of the analysis. This survey is the first comparative study of research targeted towards using Alloy for FM analysis. This review aims to identify all the best practices on the use of Alloy, as a part of a framework for the automated extraction and analysis of rich FMs from natural language requirement specifications.Comment: In Proceedings FMSPLE 2016, arXiv:1603.0857

Towards building a semantic formalization of (small) historical centres

Historical small urban centres are of increasing interest to different interacting fields such as architectural heritage protection and conservation, urban planning, disaster response, sustainable development and tourism. They are defined at different levels (international, national, regional), by various organizations and standards, incorporate numerous aspects (natural and built environment, infrastructures and open spaces, social, economic, and cultural processes, tangible and intangible heritage) and face various challenges (urbanization, globalization, mass tourism, climate change, etc.). However, their current specification within large-scale geospatial databases is similar to those of urban areas in a broad sense resulting in the loss of many aspects forming this multifaceted concept. The present study considers the available ontologies and data models, coming from various domains and having different granularities and levels of detail, to represent historical small urban centres information. The aim is to define the needs for extension and integration of them in order to develop a multidisciplinary, integrated semantic representation. Relevant conventions and other legislation documents, ontologies and standards for cultural heritage (CIDOC-CRM, CRMgeo, Getty Vocabularies), 3D city models (CityGML), building information models (IFC) and regional landscape plans are analysed to identify concepts, relations, and semantic features that could form a holistic semantic model of historical small urban centres