Controlling Concurrent Change - A Multiview Approach Toward Updatable Vehicle Automation Systems

The development of SAE Level 3+ vehicles [{SAE}, 2014] poses new challenges not only for the functional development, but also for design and development processes. Such systems consist of a growing number of interconnected functional, as well as hardware and software components, making safety design increasingly difficult. In order to cope with emergent behavior at the vehicle level, thorough systems engineering becomes a key requirement, which enables traceability between different design viewpoints. Ensuring traceability is a key factor towards an efficient validation and verification of such systems. Formal models can in turn assist in keeping track of how the different viewpoints relate to each other and how the interplay of components affects the overall system behavior. Based on experience from the project Controlling Concurrent Change, this paper presents an approach towards model-based integration and verification of a cause effect chain for a component-based vehicle automation system. It reasons on a cross-layer model of the resulting system, which covers necessary aspects of a design in individual architectural views, e.g. safety and timing. In the synthesis stage of integration, our approach is capable of inserting enforcement mechanisms into the design to ensure adherence to the model. We present a use case description for an environment perception system, starting with a functional architecture, which is the basis for componentization of the cause effect chain. By tying the vehicle architecture to the cross-layer integration model, we are able to map the reasoning done during verification to vehicle behavior

On distributed data processing in data grid architecture for a virtual repository

The article describes the problem of integration of distributed, heterogeneous and fragmented collections of data with application of the virtual repository and the data grid concept. The technology involves: wrappers enveloping external resources, a virtual network (based on the peer-topeer technology) responsible for integration of data into one global schema and a distributed index for speeding-up data retrieval. Authors present a method for obtaining data from heterogeneously structured external databases and then a procedure of integration the data to one, commonly available, global schema. The core of the described solution is based on the Stack-Based Query Language (SBQL) and virtual updatable SBQL views. The system transport and indexing layer is based on the P2P architecture

An object query language for multimedia federations

The Fischlar system provides a large centralised repository of multimedia files. As expansion is difficult in centralised systems and as different user groups have a requirement to define their own schemas, the EGTV (Efficient Global Transactions for Video) project was established to examine how the distribution of this database could be managed. The federated database approach is advocated where global schema is designed in a top-down approach, while all multimedia and textual data is stored in object-oriented (O-O) and object-relational (0-R) compliant databases. This thesis investigates queries and updates on large multimedia collections organised in the database federation. The goal of this research is to provide a generic query language capable of interrogating global and local multimedia database schemas. Therefore, a new query language EQL is defined to facilitate the querying of object-oriented and objectrelational database schemas in a database and platform independent manner, and acts as a canonical language for database federations. A new canonical language was required as the existing query language standards (SQL: 1999 and OQL) axe generally incompatible and translation between them is not trivial. EQL is supported with a formally defined object algebra and specified semantics for query evaluation. The ability to capture and store metadata of multiple database schemas is essential when constructing and querying a federated schema. Therefore we also present a new platform independent metamodel for specifying multimedia schemas stored in both object-oriented and object-relational databases. This metadata information is later used for the construction of a global schemas, and during the evaluation of local and global queries. Another important feature of any federated system is the ability to unambiguously define database schemas. The schema definition language for an EGTV database federation must be capable of specifying both object-oriented and object-relational schemas in the database independent format. As XML represents a standard for encoding and distributing data across various platforms, a language based upon XML has been developed as a part of our research. The ODLx (Object Definition Language XML) language specifies a set of XMLbased structures for defining complex database schemas capable of representing different multimedia types. The language is fully integrated with the EGTV metamodel through which ODLx schemas can be mapped to 0-0 and 0-R databases

On data integration workflows for an effective management of multidimensional petroleum digital ecosystems in Arabian Gulf Basins

Data integration of multiple heterogeneous datasets from multidimensional petroleum digital ecosystems is an effective way, for extracting information and adding value to knowledge domain from multiple producing onshore and offshore basins. At present, data from multiple basins are scattered and unusable for data integration, because of scale and format differences. Ontology based warehousing and mining modeling are recommended for resolving the issues of scaling and formatting of multidimensional datasets, in which case, seismic and well-domain datasets are described. Issues, such as semantics among different data dimensions and their associated attributes are also addressed by Ontology modeling.Intelligent relationships are built among several petroleum system domains (structure, reservoir, source and seal, for example) at global scale and facilitated the integration process among multiple dimensions in a data warehouse environment. For this purpose, integrated workflows are designed for capturing and modeling unknown relationships among petroleum system data attributes in interpretable knowledge domains.This study is an effective approach in mining and interpreting data views drawn from warehoused exploration and production metadata, with special reference to Arabian onshore and offshore basins

State-of-the-art on evolution and reactivity

This report starts by, in Chapter 1, outlining aspects of querying and updating resources on the Web and on the Semantic Web, including the development of query and update languages to be carried out within the Rewerse project. From this outline, it becomes clear that several existing research areas and topics are of interest for this work in Rewerse. In the remainder of this report we further present state of the art surveys in a selection of such areas and topics. More precisely: in Chapter 2 we give an overview of logics for reasoning about state change and updates; Chapter 3 is devoted to briefly describing existing update languages for the Web, and also for updating logic programs; in Chapter 4 event-condition-action rules, both in the context of active database systems and in the context of semistructured data, are surveyed; in Chapter 5 we give an overview of some relevant rule-based agents frameworks

The Energy Application Domain Extension for CityGML: enhancing interoperability for urban energy simulations

The road towards achievement of the climate protection goals requires, among the rest, a thorough rethinking of the energy planning tools (and policies) at all levels, from local to global. Nevertheless, it is in the cities where the largest part of energy is produced and consumed, and therefore it makes sense to focus the attention particularly on the cities as they yield great potentials in terms of energy consumption reduction and efficiency increase. As a direct consequence, a comprehensive knowledge of the demand and supply of energy resources, including their spatial distribution within urban areas, is therefore of utmost importance. Precise, integrated knowledge about 3D urban space, i.e. all urban (above and underground) features, infrastructures, their functional and semantic characteristics, and their mutual dependencies and interrelations play a relevant role for advanced simulation and analyses. As a matter of fact, what in the last years has proven to be an emerging and effective approach is the adoption of standard-based, integrated semantic 3D virtual city models, which represent an information hub for most of the abovementioned needs. In particular, being based on open standards (e.g. on the CityGML standard by the Open Geospatial Consortium), virtual city models firstly reduce the effort in terms of data preparation and provision. Secondly, they offer clear data structures, ontologies and semantics to facilitate data exchange between different domains and applications. However, a standardised and omni-comprehensive urban data model covering also the energy domain is still missing at the time of writing (January 2018). Even CityGML falls partially short when it comes to the definition of specific entities and attributes for energy-related applications. Nevertheless, and starting from the current version of CityGML (i.e. 2.0), this article describes the conception and the definition of an Energy Application Domain Extension (ADE) for CityGML. The Energy ADE is meant to offer a unique and standard-based data model to fill, on one hand, the above-mentioned gap, and, on the other hand, to allow for both detailed single-building energy simulation (based on sophisticated models for building physics and occupant behaviour) and city-wide, bottom-up energy assessments, with particular focus on the buildings sector. The overall goal is to tackle the existing data interoperability issues when dealing with energy-related applications at urban scale. The article presents the rationale behind the Energy ADE, it describes its main characteristics, the relation to other standards, and provides some examples of current applications and case studies already adopting it

Navigating in Process Model Repositories and Enterprise Process Information

Although process-aware information systems have been adopted in enterprises for many years, they still do not properly link the business processes they implement with related enterprise process information (e.g., guidelines, checklists, templates, and e-mails). On one hand, process management technology is used to design, implement, enact, and monitor processes. On the other, enterprise process information is spread over various sources like shared drives, databases, and enterprise information systems. As a consequence, users often manually link process information with particular process objects (e.g., using process portals). What is needed instead, however is an integrated access to both processes and related enterprise process information. This paper establishes such a link by introducing an integrated navigation space for process model collections and related enterprise process information. In particular, this navigation space allows process participants to flexibly navigate within process model collections, single process models, and related process information. In turn, this enables advanced end-user support for process repositories

3D survey and semantic analysis for the documentation of built heritage. The case study of Palazzo Centrale of Pavia University

[EN] In the procedures regarding built heritage documentation, the process of representing the object in a digital environment is characterized by a high level of complexity. In fact, the need to process heterogeneous information, referring to quantity, quality and format is one of the main emerging issues. Recent technologies of digitization of our built environment offer excellent performances on data reliability and time of acquisition. On the other hand, they bring about new challenges regarding how to define methodologies and strategies to effectively elaborate such information. A possible way to optimize the use of these data is by implementing them into informative systems: these tools have great potential in the creation of multi-layered representations and offer extensive possibilities for interpretations and analyses. This research, carried out by the laboratories DAdaLab and PLAY of the University of Pavia, focuses on the University’s Palazzo Centrale and aims at developing a precise methodological approach: starting from the 3D acquisition, the survey data are discretized – through critical processes of semantic analysis and breakdown – and later implemented into informative databases. Moreover, the architectural characters, construction phases and the strong bond with the urban setting make the case study particularly valuable; therefore, it represents an excellent opportunity to point out the potentials of this approach to the definition of management tools for the conservation of built heritage.Miceli, A.; Morandotti, M.; Parrinello, S. (2020). 3D survey and semantic analysis for the documentation of built heritage. The case study of Palazzo Centrale of Pavia University. VITRUVIO - International Journal of Architectural Technology and Sustainability. 5(1):65-80. https://doi.org/10.4995/vitruvio-ijats.2020.13634OJS658051Attenni, M. (2019) Informative Models for Architectural Heritage. Heritage, 2, 2067-2089. https://doi.org/10.3390/heritage2030125Bertocci, S., Bua, S., Parrinello, S., Picchio, F. (2014) Montepulciano 3D: virtual models for urban planning and development of the urban environment. Disegnarecon, 7(13), 1-20. https://doi.org/10.6092/issn.1828-5961/4152Bianchini, C., Inglese, C., Ippolito, A. (2016) The role of BIM (Building Information Modeling) for representation and managing of built and historic artifacts. Disegnarecon, 9(16), 10.1-10.9.De Luca, L. (2011) Towards the semantic characterization of digital representations of architectural arctifacts: programmatic lines of research. Disegnarecon, 4, 99-106. https://doi.org/10.6092/issn.1828-5961/2574Della Torre, S. (2010) Conservazione programmata: i risvolti economici di un cambio di paradigma. Il Capitale culturale - Studies on value of cultural heritage, 1, 47-55. https://doi.org/10.13138/2039-2362/30Dore, C., Murphy, M. (2012) Integration of Historic Building Information Modeling (HBIM) and 3D GIS for Recording and Managing Cultural Heritage Sites. 18th International Conference on Virtual Systems and Multimedia: "Virtual Systems in the Information Society", Milano 2-5 September. https://doi.org/10.1109/VSMM.2012.6365947Erba, L. (1976) Guida storico-artistica dell'Università di Pavia. Fusi Editore, Pavia.Giannattasio C., Papa L.M., D'Agostino P., D'Auria S. (2020) The BIM Model for Existing Building Heritage: From the Geometric Data Acquisition to the Information Management. In: Agustín-Hernández L., Vallespín Muniesa A., Fernández-Morales A. (eds) Graphical Heritage. EGA 2020. Springer Series in Design and Innovation, vol 5. Springer, Cham. https://doi.org/10.1007/978-3-030-47979-4_28Messaoudi, T., Véron, P., Halin, G., De Luca, L. (2017) An ontological model for the reality-based 3d annotation of heritage building conservation state. Journal of cultural heritage, 29, 100-112. https://doi.org/10.1016/j.culher.2017.05.017Miatton, C., Parinello, S. (2017) Descriptive models for the managment of the maintenance work on the façade of the Basilica of San Michele in Pavia. 3D Modeling & BIM Progettazione, design, proposte per la ricostruzione. Roma. 19-20 April.Moles, A. A. (1972) Teoria informazionale dello schema. Versus, 2, 29-37.Morandotti, M., Parrinello, S., Picchio, F., Becherini, P., De Marco, R., Dell'Amico, A., Doria, E., Galasso, F., Malusardi, C. (2019) L'Università di Pavia. I cortili e gli ambienti monumentali. Un progetto di documentazione digitale e sviluppo di sistemi di gestione per la manutenzione programmata. VII Convegno Internazionale sulla documentazione, conservazione, recupero del patrimonio architettonico e sulla tutela paesaggistica. ReUSO2019, Matera, 23-26 October.Niglio, O. (2017) Memory and Technology. VITRUVIO - International Journal of Architectural Technology and Sustainability, 2 (2), viii. https://doi.org/10.4995/vitruvio-ijats.2017.9008Oreni, D., Brumana, R., Georgopoulos,A., Cuca, B. (2013) HBIM for Conservation and Management of Built Heritage: Towards a Library of Vaults and Wooden Bean Floors. ISPRS Ann. Photogramm. Remote Sens. Spatial Inf. Sci., II-5/W1, 215-221. https://doi.org/10.5194/isprsannals-II-5-W1-215-2013Paris, L., Wahbeh, W. (2016) Survey and representation of the parametric geometries in HBIM. Disegnarecon, 9(16), 12.1-12.9.Parrinello, S., Gómez-Blanco Pontes, A., Picchio, F., Rodriguez Moreno, C., Rivas López, E. (2019) An integrated system for documentation, analysis and management of the architectural heritage: the general and the parts of the Generalife Palace. EGA Revista de Expression Grafica Arquitectonica 24(35) 140-151. https://doi.org/10.4995/ega.2019.9527Parrinello, S., Picchio, F., Becherini, P., De Marco, R. (2017) Methodological evolution and representative protocols for charterhouses complex. 39° Convegno internazionale dei docenti delle discipline della rappresentazione, XIV Congresso Unione Italiana Per Il Disegno (UID). Territori e frontiere della rappresentazione, Napoli, 14-16 September.Parrinello, S., Picchio, F., De Marco, R., Dell'Amico, A. (2020) Prometheus. Protocols for information models libraries tested on heritage of Upper Kama sites. Il Simposio UID di internazionalizzazione della ricerca. Patrimoni culturali, Architettura, Paesaggio e Design tra ricerca e sperimentazione didattica, Matera, 22 October.Parrinello, S., Picchio, F., Dell'Amico, A., De Marco, R. (2020) A Digital Model for the Management of Museum of Alhambra Complex: The Digital Documentation of Mezquita Bath itale dei bagni della Mezquita. Il Simposio UID di internazionalizzazione della ricerca. Patrimoni culturali, Architettura, Paesaggio e Design tra ricerca e sperimentazione didattica, Matera, 22 October.Picchio, F. (2016) Configuration of virtual landscape of historical centre of Pavia. The Drawing for the abstraction of urban complexity. 38° Convegno internazionale dei docenti delle discipline della rappresentazione, XIII Congresso Unione Italiana Per Il Disegno (UID). Le ragioni del disegno, Firenze, 15-17 September.Picchio, F. (2017) La catalogación de los elementos arquitectónicos. In: Parrinello, S., Gómez-Blanco, A., Picchio, F., El palacio del Generalife. Del levantamiento digital al proyecto de gestion. Pavia University Press, Pavia.Pocobelli, D.P., Boehm, J., Bryan, P., Still, J,m Grau-Bovè, J. (2018) BIM for Heritage Science: a Review. Heritage Science 6, 30. https://doi.org/10.1186/s40494-018-0191-4Quattrini, R., Clini, P., Nespeca, R., Ruggeri, L. (2016) Measurement and Historical Information Building: challenges and opportunities in the representation of semantically structured 3D content. Disegnarecon, 9, 14.1-14.11.Stefani, C., Brunetaud, X., Janvier-Badosa, S., Beck, K., De Luca, L., Al-Mukhtar, M. (2012) 3D Information System for the Digital Documentation and the Monitoring of Stone Alteration. In: Ioannides M., Fritsch D., Leissner J., Davies R., Remondino F., Caffo R. (eds) Progress in Cultural Heritage Preservation. EuroMed 2012. Lecture Notes in Computer Science. Vol. 7616. Springer, Berlin & Heidelberg. https://doi.org/10.1007/978-3-642-34234-9_33Yang, X., Lu, Y., Murtiyoso A., Koehl, M., Grussenmeyer, P. (2019) HBIM Modeling from the Surface Mesh and its Extended Capability of Knowledge Representation. International Journal of Geo-Information, 8(301), 1-17. https://doi.org/10.3390/ijgi807030