Interoperability and FAIRness through a novel combination of Web technologies

Data in the life sciences are extremely diverse and are stored in a broad spectrum of repositories ranging from those designed for particular data types (such as KEGG for pathway data or UniProt for protein data) to those that are general-purpose (such as FigShare, Zenodo, Dataverse or EUDAT). These data have widely different levels of sensitivity and security considerations. For example, clinical observations about genetic mutations in patients are highly sensitive, while observations of species diversity are generally not. The lack of uniformity in data models from one repository to another, and in the richness and availability of metadata descriptions, makes integration and analysis of these data a manual, time-consuming task with no scalability. Here we explore a set of resource-oriented Web design patterns for data discovery, accessibility, transformation, and integration that can be implemented by any general- or special-purpose repository as a means to assist users in finding and reusing their data holdings. We show that by using off-the-shelf technologies, interoperability can be achieved atthe level of an individual spreadsheet cell. We note that the behaviours of this architecture compare favourably to the desiderata defined by the FAIR Data Principles, and can therefore represent an exemplar implementation of those principles. The proposed interoperability design patterns may be used to improve discovery and integration of both new and legacy data, maximizing the utility of all scholarly outputs

Representing simmodel in the web ontology language

Many building energy performance (BEP) simulation tools, such as EnergyPlus and DOE-2, use custom schema definitions (IDD and BDL respectively) as opposed to standardised schema definitions (defined in XSD, EXPRESS, and so forth). A Simulation Domain Model (SimModel) was therefore proposed earlier, representative for a new interoperable XML-based data model for the building simulation domain. Its ontology aims at moving away from tool-specific, non-standard nomenclature by implementing an industry-validated terminology aligned with the Industry Foundation Classes (IFC). In this paper, we document our ongoing efforts to make building simulation data more interoperable with other building data. In order to be able to better integrate SimModel information with other building information, we have aimed at representing this information in the Resource Description Framework (RDF). A conversion service has been built that is able to parse the SimModel ontology in the form of XSD schemas and output a SimModel ontology in OWL. In this article, we document this effort and give an indication of what the resulting SimModel ontology in OWL can be used for

Formally based semi-automatic implementation of an open security protocol

International audienceThis paper presents an experiment in which an implementation of the client side of the SSH Transport Layer Protocol (SSH-TLP) was semi-automatically derived according to a model-driven development paradigm that leverages formal methods in order to obtain high correctness assurance. The approach used in the experiment starts with the formalization of the protocol at an abstract level. This model is then formally proved to fulfill the desired secrecy and authentication properties by using the ProVerif prover. Finally, a sound Java implementation is semi-automatically derived from the verified model using an enhanced version of the Spi2Java framework. The resulting implementation correctly interoperates with third party servers, and its execution time is comparable with that of other manually developed Java SSH-TLP client implementations. This case study demonstrates that the adopted model-driven approach is viable even for a real security protocol, despite the complexity of the models needed in order to achieve an interoperable implementation

Learner-centred Accessibility for Interoperable Web-based Educational Systems

This paper describes the need for an information model and specifications that support a new strategy for delivering accessible computer-based resources to learners based on their specific needs and preferences in the circumstances in which they are operating. The strategy augments the universal accessibility of resources model to enable systems to focus on individual learners and their particular accessibility needs and preferences. A set of specifications known as the AccessForAll specifications is proposed

Impact Evaluation of Interoperability Decision Variables on P2P Collaboration Performances

This article deals with the impact evaluation of interoperability decision variables on performance indicators of business processes. The case of partner companies is studied to show the interest of an Interoperability Service Utility (ISU) on business processes in a peer to peer (P2P) collaboration. Information described in the format and the ontology of a broadcasting entity is transformed by ISU into information with the format and the ontology of the receiving entity depending on the available resources of interoperation. These resources can be human operators with defined skill level or software modules of transformation in predefined languages. A design methodology of a global simulation model for estimating the impact of interoperability decision variables on performance indicators of business processes is proposed. Its implementation in an industrial case of collaboration shows its efficiency and its interest to motivate an investment in the technologies of enterprise interoperability

A framework for green manufacturing practicies in small and medium enterprises in Malaysia

Green Manufacturing Practices (GrMP) is a term used to describe manufacturing practices that do not harm the environment during any part of the manufacturing process. It emphasizes the use of processes that do not pollute the environment or harm consumers, employees, or other members of the community. Small and medium enterprises (SMEs) are moving toward sustainable alternatives through GrMP method. It stresses on critical factors such as organisational style, eco-knowledge, business environment, society influences, supply chain management and technology network. Large size industries are more compelled to do so compared to SMEs due to the fact that they are more influential with better organizational management and good financial stability compared to SMEs. However, SMEs are trying to adapt GrMP as a mandatory process, but lack of proper framework which guide them for implementation. Therefore, this study developes the framework of GrMP for local SMEs. The study involves enablers and barriers in implementing GrMP from previous literatures. This work formulate a framework based on relationship between criticals factors with enablers and barriers. 59 of respondents from local industries in Malaysia were selected as respondents based on six of critical factors divided into two parts which are enablers and barriers. The questionnaire are designed based on this. Survey were evaluated by using Statistical Package for the Social Sciences (SPSS) version 23, in terms of correlation, reliability, central tendency and variability testing. The finding on this study in the term of framework will help SMEs to implementing GrMP. Framework formulate relates the critical factors from previous literature and enablers and barriers from survey based on perception of industries expert. GrMP for SMEs are the first step of environmental awareness and ecological responsibilties

A methodological proposal and tool support for the HL7 standards compliance in the development of health information systems

Health information systems are increasingly complex, and their development is presented as a challenge for software development companies offering quality, maintainable and interoperable products. HL7 (Health level 7) International, an international non-profit organization, defines and maintains standards related to health information systems. However, the modelling languages proposed by HL7 are far removed from standard languages and widely known by software engineers. In these lines, NDT is a software development methodology that has a support tool called NDT-Suite and is based, on the one hand, on the paradigm of model-driven engineering and, on the other hand, in UML that is a widely recognized standard language. This paper proposes an extension of the NDT methodology called MoDHE (Model Driven Health Engineering) to offer software engineers a methodology capable of modelling health information systems conforming to HL7 using UML domain models