Report on the Standardization Project ``Formal Methods in Conformance Testing''

This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization process as well as an overview of the technical status of the proposed standard. Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT

Semantic processing of EHR data for clinical research

There is a growing need to semantically process and integrate clinical data from different sources for clinical research. This paper presents an approach to integrate EHRs from heterogeneous resources and generate integrated data in different data formats or semantics to support various clinical research applications. The proposed approach builds semantic data virtualization layers on top of data sources, which generate data in the requested semantics or formats on demand. This approach avoids upfront dumping to and synchronizing of the data with various representations. Data from different EHR systems are first mapped to RDF data with source semantics, and then converted to representations with harmonized domain semantics where domain ontologies and terminologies are used to improve reusability. It is also possible to further convert data to application semantics and store the converted results in clinical research databases, e.g. i2b2, OMOP, to support different clinical research settings. Semantic conversions between different representations are explicitly expressed using N3 rules and executed by an N3 Reasoner (EYE), which can also generate proofs of the conversion processes. The solution presented in this paper has been applied to real-world applications that process large scale EHR data.Comment: Accepted for publication in Journal of Biomedical Informatics, 2015, preprint versio

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

OpenDreamKit --- "Open Digital Research Environment Toolkit for the Advancement of Mathematics" --- is an H2020 EU Research Infrastructure project that aims at supporting, over the period 2015--2019, the ecosystem of open-source mathematical software systems. From that, OpenDreamKit will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments, customised to meet the varied needs of research projects in pure mathematics and applications. An important step in the OpenDreamKit endeavor is to foster the interoperability between a variety of systems, ranging from computer algebra systems over mathematical databases to front-ends. This is the mission of the integration work package (WP6). We report on experiments and future plans with the \emph{Math-in-the-Middle} approach. This information architecture consists in a central mathematical ontology that documents the domain and fixes a joint vocabulary, combined with specifications of the functionalities of the various systems. Interaction between systems can then be enriched by pivoting off this information architecture.Comment: 15 pages, 7 figure

Design and Development of an Architecture for Demonstrating the Interplay of Emerging SISO Standards

Simulation Interoperability Standards Organization (SISO) SIW Conference PaperThe Simulation Interoperability Standards Organization (SISO) focuses on facilitating simulation interoperability across government and non-government applications worldwide. A number of standards are emerging that will individually have great impact on the development and operation of simulation systems, as well as interoperation across simulation systems and command and control systems. Taken together, however, the emerging standards represent a set of capabilities and technologies which can revolutionize the simulation industry, radically improving the way we develop and deliver interoperable systems

MergePoint: A Graphical Web-App for merging HTTP-Endpoints and IoT-Platform Models

More and more devices are connected to Internet of Things Platforms in various application domains. The resulting device integration effort is moderated by the concrete integration syntax and the technical abilities of the device integrator. Therefore, researchers from various communities have been investigating and designing component coupling architectures to achieve interoperability for more than 30 years. Emerging Smart Home scenarios challenges classical integration approaches as no single formal integration standard exists. In this paper we introduce a reference architecture called MergePoint that automates HTTP-Endpoint integration with smart home platforms such as openHAB in a plug-and-play manner. Based on a prototypical system implementation, our empirical evaluation demonstrates that average integration time can be reduced by 78% and average tool usability score is increased by 65% compared to textual integration approaches. MergePoint can serve as a reference implementation for practitioners that want to automate the integration between HTTP-Endpoints and IoT Platform Models