No abstract

Abstract-In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is common to rely on the advantages of the semantic data model and ontologies. Our work extends this approach so that also the process of software development for such environments is ontology-driven. The goals are to raise the level of abstraction of smart application development, to enable development by non-programmers, and to partially automate the development to make it easier and faster. In this paper, we describe the Smart Modeller that consists of 1) a design tool that enables the developer to graphically create a model of a smart space application and 2) a framework that provides core interfaces for extensions supporting both the model and ontology-driven development. These extensions enable: ontology-based creation of model elements, discovery and reuse of both the software components and partial models through a repository mechanism, and generation of executable programming code for models.

This paper introduces a novel framework for Ontology-Driven Software Engineering. This framework is grounded on the prior related work that studied the interplay between the modeldriven engineering and the ontological modeling. Our framework makes a contribution by incorporating a more°exible means for ontological modeling that also has a higher performance in processing, and by incorporating a wider range of ontology types into ODSE. As a result, it extends the power and speed of the classi¯cation and the model consistency checking ontological services enabled by the prior work, and brings new ontological services: semantic search in model repositories, three kinds of semi-automated model composition services: task-based, result-based, and opportunistic, and the policy enforcement service. The primary intended use for this framework is to be implemented as part of model-driven engineering tools to support software engineers. We describe our reference implementation of such a tool called Smart Modeller, and report on a performance evaluation of our framework carried out with the help of it.

No abstract

Internet of Things should be able to integrate an extremely large amount of distributed and heterogeneous entities. To tackle heterogeneity, these entities will need to be consistently and formally represented and managed (registered, aligned, composed and queried) trough suitable abstraction technologies. Two distinct types of these entities are a) sensing/actuating devices that observe some features of interest or act on some other entities (call it ‘smart entities’), and b) applications that utilize the data sensed from or sent to the smart entities (call it ‘control entities’). The aim of this paper is to present the Semantic Smart Gateway Framework for supporting semantic interoperability between these types of heterogeneous IoT entities. More specifically, the paper describes an ontology as the key technology for the abstraction and semantic registration of these entities, towards supporting their automated deployment. The paper also described the alignment of IoT entities and of their exchanged messages. More important, the paper presents a use case scenario and a proof-of-concept implementation.

No abstract

No abstract

The semantic data models and ontologies have shown themselves as very useful technologies for the environments where heterogeneous devices need to share information, to utilize services of each other, and to participate as components in different applications. The work in this chapter extends this approach so that the software development process for such environments is also ontology-driven. The objective is i) to support the incremental development, ii) to partially automate the development in order to make it easier and faster, and iii) to raise the level of abstraction of the application development high enough so that even people without a software engineering background would be able to develop simple applications. This chapter describes an incremental development process for the smart space application development. For this process, a supporting tool called Smart Modeler is introduced, which provides i) a visual modeling environment for smart space applications and ii) a framework and core interfaces for extensions supporting both the model and the ontology-driven development. These extensions are capable of creating model elements from ontology-based information, discovering and reusing both the software components and the partial models through a repository mechanism supported by semantic metadata, and generating executable program code from the models.