scholarly journals TOWARDS A GENERIC MAPPING FOR IFC-CITYGML DATA INTEGRATION

2020 ◽  
Vol XLIV-4/W1-2020 ◽  
pp. 151-158
Author(s):  
H. Tauscher
Keyword(s):  
Research And Development ◽  
Data Sources ◽  
Graph Grammars ◽  
Proof Of Concept ◽  
Technical Challenge ◽  
Standard Data ◽  
Data Formats ◽  
Integration Schemes ◽  
Gis Integration ◽  
Triple Graph Grammars

Abstract. Much work has been carried out on the topic of BIM-GIS integration. As a technical challenge in particular, research and development tackle the standard data formats of the two areas and aim for the conversion between, linking of or overarching querying over data sources of these formats. Usually, these operational cases (conversion, linking, querying) are examined in isolation or even treated as mutually exclusive and competing approaches. With Triple Graph Grammars, we propose to apply a method that allows to derive solutions for these operational cases from a common generic ruleset. We demonstrate this approach in a proof-of-concept implementation using eMoflon. Our work focusses on IFC and CityGML and we present and discuss a first end-to-end demonstration of integrating these standards with the proposed method. Going forward such representation of the correlation between IFC and CityGML, declarative, independent of particular operational implementations, can serve as a vehicle to capture and document acknowledged integration schemes for IFC and CityGML, complementing these two standards with a specification of their correlation.

scholarly journals Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars

2020 ◽  
Author(s):  
Lars Fritsche ◽  
Jens Kosiol ◽  
Andy Schürr ◽  
Gabriele Taentzer
Keyword(s):  
Model Transformation ◽  
State Of The Art ◽  
Information Loss ◽  
Change Propagation ◽  
Graph Grammars ◽  
Proof Of Concept ◽  
Synchronization Process ◽  
Model Synchronization ◽  
Triple Graph Grammars ◽  
Improved Performance

Abstract Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple graph grammars (TGGs) specify model consistency by means of rules that describe how to create consistent pairs of models. These rules can be used to automatically derive further rules, which describe how to propagate changes from one model to the other or how to change one model in such a way that propagation is guaranteed to be possible. Restricting model synchronization to these derived rules, however, may lead to unnecessary deletion and recreation of model elements during change propagation. This is inefficient and may cause unnecessary information loss, i.e., when deleted elements contain information that is not represented in the second model, this information cannot be recovered easily. Short-cut rules have recently been developed to avoid unnecessary information loss by reusing existing model elements. In this paper, we show how to automatically derive (short-cut) repair rules from short-cut rules to propagate changes such that information loss is avoided and model synchronization is accelerated. The key ingredients of our rule-based model synchronization process are these repair rules and an incremental pattern matcher informing about suitable applications of them. We prove the termination and the correctness of this synchronization process and discuss its completeness. As a proof of concept, we have implemented this synchronization process in eMoflon, a state-of-the-art model transformation tool with inherent support of bidirectionality. Our evaluation shows that repair processes based on (short-cut) repair rules have considerably decreased information loss and improved performance compared to former model synchronization processes based on TGGs.

scholarly journals INTEGRATION OF HETEROGENEOUS CORONAVIRUS DISEASE COVID-19 DATA SOURCES USING OGC SENSORTHINGS API

2020 ◽  
Vol VI-4/W2-2020 ◽  
pp. 135-141
Author(s):  
T. Santhanavanich ◽  
C. Kim ◽  
V. Coors
Keyword(s):  
Standard Form ◽  
Data Sources ◽  
Proof Of Concept ◽  
Web Based ◽  
Related Data ◽  
Management Platform ◽  
Data Formats ◽  
The World ◽  
Data Management Platform ◽  
General Standard

Abstract. The latest coronavirus (namely severe acute respiratory syndrome coronavirus 2 or COVID-19) was first detected in Wuhan, China, and spread throughout the world since December 2019. To tackle this pandemic, we need a tool to trace and predict trends of COVID-19 at global, national, and regional levels rapidly. Several organizations around the world offer access to COVID-19 related data. However, these data sources are heterogeneous in terms of data formats and protocols as different organizations developed them. To address this issue, a standard way to handle these datasets is needed. In this paper, we propose using the OGC SensorThings API to manage the COVID-19 dataset in a standard form and provide access to the general public. As a proof-of-concept, we implemented a COVID-19 data management platform based on the OGC SensorThings standard named COVID-19 SensorThings or in short COVID-STA. For a use case, we developed a real-time interactive web-based dashboard illustrating the COVID-19 dataset based on the COVID-STA. As a result, we proved that the OGC SensorThings API is suitable to use as a general standard for integrating the heterogeneous COVID-19 data.

New Transcatheter Mitral Valve Treatment

2011 ◽  
Vol 6 (1) ◽  
pp. 62
Author(s):  
Raquel del Valle-Fernández ◽  
Carlos E Ruiz ◽  
◽  
Keyword(s):  
Mitral Valve ◽  
Financial Crisis ◽  
Mitral Regurgitation ◽  
Research And Development ◽  
Therapeutic Option ◽  
Percutaneous Treatment ◽  
Severe Mitral Regurgitation ◽  
Proof Of Concept ◽  
Safety And Efficacy

Percutaneous treatment of severe mitral regurgitation is a very interesting therapeutic option for those patients considered not to be suitable candidates for surgery. Different technologies have already demonstrated proof-of-concept, and one of these devices (the Mitraclip device) has already obtained the Conformité Europeéne mark. However, demonstrating safety and efficacy for most of these technologies is being harder than anticipated. Recently, research and development has become more compromised due to the financial crisis. This paper reviews the venues that are currently under evaluation.

Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming

2021 ◽  
Author(s):  
Nils Weidmann ◽  
Anthony Anjorin
Keyword(s):  
Linear Programming ◽  
Integer Linear Programming ◽  
Experimental Evaluation ◽  
Graph Grammars ◽  
Model Driven Engineering ◽  
Rule Based ◽  
Consistency Management ◽  
Model Driven ◽  
Triple Graph Grammars ◽  
Domain Constraints

AbstractIn the field of Model-Driven Engineering, Triple Graph Grammars (TGGs) play an important role as a rule-based means of implementing consistency management. From a declarative specification of a consistency relation, several operations including forward and backward transformations, (concurrent) synchronisation, and consistency checks can be automatically derived. For TGGs to be applicable in realistic application scenarios, expressiveness in terms of supported language features is very important. A TGG tool is schema compliant if it can take domain constraints, such as multiplicity constraints in a meta-model, into account when performing consistency management tasks. To guarantee schema compliance, most TGG tools allow application conditions to be attached as necessary to relevant rules. This strategy is problematic for at least two reasons: First, ensuring compliance to a sufficiently expressive schema for all previously mentioned derived operations is still an open challenge; to the best of our knowledge, all existing TGG tools only support a very restricted subset of application conditions. Second, it is conceptually demanding for the user to indirectly specify domain constraints as application conditions, especially because this has to be completely revisited every time the TGG or domain constraint is changed. While domain constraints can in theory be automatically transformed to obtain the required set of application conditions, this has only been successfully transferred to TGGs for a very limited subset of domain constraints. To address these limitations, this paper proposes a search-based strategy for achieving schema compliance. We show that all correctness and completeness properties, previously proven in a setting without domain constraints, still hold when schema compliance is to be additionally guaranteed. An implementation and experimental evaluation are provided to support our claim of practical applicability.

scholarly journals Pengembangan Kartu Kata Berbahasa Arab dan Kegiatan Pembelajarannya untuk Siswa Kelas III Madrasah Aliyah

2021 ◽  
Vol 1 (2) ◽  
pp. 251-279
Author(s):  
Muhammad Zahid ‘Afafarrasyihab Rahimadinullah ◽  
Nurul Murtadho ◽  
Achmad Sultoni
Keyword(s):  
Research And Development ◽  
Abstract Word ◽  
Learning Activities ◽  
Data Sources ◽  
Average Score ◽  
Is Research ◽  
Arabic Word ◽  
Specific Learning ◽  
Grade Iii ◽  
Made In

Abstract: Word cards are unique, captivating, and specific learning media. In this research, Arabic word cards are used to improve students’ vocabulary mastery in learning Arabic. This research is aimed to (1) develop Arabic word cards and the learning activities for grade III students of Madrasah Aliyah; (2) identify the effectiveness of using Arabic word cards and the learning activities. The method of this research is Research and Development. The data sources include a subject expert, a media expert, a learning expert, a teacher, and students. The data are collected using questionnaires. The word cards are made in two forms, namely mind map, and word-by-word. The Arabic word cards are equipped with Arabic learning activities. Overall, the result of the development and the research shows that the average score is 89% in the valid category with details as follows: subject expert 91.7%, media expert 68.2%, learning expert 92.5%, teacher’s assessment 100%, and students’ assessment 92.8%. Therefore, it can be concluded that Arabic word cards and the learning activities are effective to be used in learning Arabic for grade III students of Madrasah Aliyah. Keywords: development, word cards, Arabic Abstrak: Kartu kata merupakan salah satu media pembelajaran yang unik, memukau, dan spesifik. Dalam penelitian ini, kartu kata berbahasa Arab digunakan untuk meningkatkan penguasaan kosakata siswa dalam mempelajari bahasa Arab. Penelitian ini bertujuan untuk: (1) Mengembangkan kartu kata berbahasa Arab dan kegiatan pembelajarannya untuk siswa kelas III Madrasah Aliyah; (2) Mendeskripsikan kelayakan pemanfaatan kartu kata berbahasa Arab dan kegiatan pembelajarannya. Metode penelitian yang digunakan dalam penelitian ini adalah Research and Development. Sumber data ini adalah ahli materi, ahli media, ahli pembelajaran, guru, dan siswa. Teknik pengumpulan data menggunakan angket. Pengembangan media ini berupa media kartu kata berbahasa Arab yang memiliki 2 bentuk yaitu bentuk peta konsep dan tampilan perkata. Media kartu kata berbahasa Arab dilengkapi dengan kegiatan pembelajaran bahasa Arab. Secara keseluruhan hasil pengembangan dan penelitian menunjukkan bahwa skor rata-rata sebesar 89% dalam kategori valid dengan rincian: uji ahli materi 91,7%, uji ahli media 68,2%, uji ahli pembelajaran 92,5%, penilaian guru 100%, dan penilaian siswa 92,8%. Dengan demikian, dapat disimpulkan bahwa media kartu kata berbahasa Arab dan kegiatan pembelajaran yang dikembangkan ini layak digunakan dalam pembelajaran bahasa Arab kelas III di Madrasah Aliyah. Kata Kunci: pengembangan, kartu kata, bahasa Arab

scholarly journals Triple Graph Grammars in the Large for Translating Satellite Procedures

2014 ◽  
pp. 122-137 ◽  
Author(s):  
Frank Hermann ◽  
Susann Gottmann ◽  
Nico Nachtigall ◽  
Hartmut Ehrig ◽  
Benjamin Braatz ◽  
...  
Keyword(s):  
Graph Grammars ◽  
Triple Graph Grammars
Sign in / Sign up

Export Citation Format

Share Document