267 research outputs found
Model-Driven Methodology for Rapid Deployment of Smart Spaces based on Resource-Oriented Architectures
Advances in electronics nowadays facilitate the design of smart spaces based on physical mash-ups of sensor and actuator devices. At the same time, software paradigms such as Internet of Things (IoT) and Web of Things (WoT) are motivating the creation of technology to support the development and deployment of web-enabled embedded sensor and actuator devices with two major objectives: (i) to integrate sensing and actuating functionalities into everyday objects, and (ii) to easily allow a diversity of devices to plug into the Internet. Currently, developers who are applying this Internet-oriented approach need to have solid understanding about specific platforms and web technologies. In order to alleviate this development process, this research proposes a Resource-Oriented and Ontology-Driven Development (ROOD) methodology based on the Model Driven Architecture (MDA). This methodology aims at enabling the development of smart spaces through a set of modeling tools and semantic technologies that support the definition of the smart space and the automatic generation of code at hardware level. ROOD feasibility is demonstrated by building an adaptive health monitoring service for a Smart Gym
A Development Methodology to Facilitate the Integration of Smart Spaces into the Web of Things
How to create or integrate large Smart Spaces (considered as mash-ups of sensors and actuators) into the paradigm of ?Web of Things? has been the motivation of many recent works. A cutting-edge approach deals with developing and deploying web-enabled embedded devices with two major objectives: 1) to integrate sensor and actuator technologies into everyday objects, and 2) to allow a diversity of devices to plug to Internet. Currently, developers who want to use this Internet-oriented approach need have solid understanding about sensorial platforms and semantic technologies. In this paper we propose a Resource-Oriented and Ontology-Driven Development (ROOD) methodology, based on Model Driven Architecture (MDA), to facilitate to any developer the development and deployment of Smart Spaces. Early evaluations of the ROOD methodology have been successfully accomplished through a partial deployment of a Smart Hotel
Hypersonic: Model Analysis and Checking in the Cloud
Context: Modeling tools are traditionally delivered as monolithic desktop applications, optionally extended by plug-ins or special purpose central servers. This delivery model suffers from several drawbacks, ranging from poor scalability to diffcult maintenance and the proliferation of \shelfware”. Objective: In this paper we investigate the conceptual and technical feasibility of a new software architecture for modeling tools, where certain advanced features are factored out of the client and moved towards the Cloud. With this approach we plan to address the above mentioned drawbacks of existing modeling tools.Method: We base our approach on RESTful Web services. Using features implemented in the existing Model Analysis and Checking (MACH) tool, we create a RESTful Web service API offering model analysis facilities. We refer to it as the Hypersonic API. We provide a proof of concept implementation for the Hypersonic API using model clone detection as our example case. We also implement a sample Web application as a client for these Web services. Results: Our initial experiments with Hypersonic demonstrate the viability of our approach. By applying standards such as REST and JSON in combination with Prolog as an implementation language, we are able to transform MACH from a command line tool into the first Web-based model clone detection service with remarkably little effort.<br/
Validation of the learning ecosystem metamodel using transformation rules
The learning ecosystem metamodel is a platform-independent model to define learning ecosystems. It is
based on the architectural pattern for learning ecosystems. To ensure the quality of the learning ecosystem
metamodel is necessary to validate it through a Model-to-Model transformation. Specifically, it is required to
verify that the learning ecosystem metamodel allows defining real learning ecosystems based on the
architectural pattern. Although this transformation can be done manually, the use of tools to automate the
process ensures its validity and minimize the risk of bias. This work describes the validations process
composed of eight phases and the results obtained, in particular: the transformation of the MOF metamodel
to Ecore to use stable tools for the validation, the definition of a platform-specific metamodel for defining
learning ecosystems and the transformation from instances of the learning ecosystem metamodel to
instances of the platform-specific metamodel using ATL. A quality framework has been applied to the three
metamodels involved in the process to guarantee the quality of the results. Furthermore, some phases have
been used to review and improve the learning ecosystem metamodel in Ecore. Finally, the result of the
process demonstrates that the learning ecosystem metamodel is valid. Namely, it allows defining models
that represent learning ecosystems based on the architectural pattern that can be deployed in real contexts
to solve learning and knowledge management problem
- …