Towards Run-Time Verification of Compositions in the Web of Things using Complex Event Processing

Following the vision of the Internet of Things, physical world entities are integrated into virtual world things. Things are expected to become active participants in business and social processes. Then, the Internet of Things could benefit from the Web Service architecture like today’s Web does, so Future ser-vice-oriented Internet things will offer their functionality via service-enabled in-terfaces. In previous work, we demonstrated the need of considering the behav-iour of things to develop applications in a more rigorous way, and we proposed a lightweight model for representing such behaviour. Our methodology relies on the service-oriented paradigm and extends the DPWS profile to specify the order with which things can receive messages. We also proposed a static verifi-cation technique to check whether a mashup of things respects the behaviour, specified at design-time, of the composed things. However, a change in the be-haviour of a thing may cause that some compositions do not fulfill its behaviour anymore. Moreover, given that a thing can receive requests from instances of different mashups at run-time, these requests could violate the behaviour of that thing, even though each mashup fulfills such behaviour, due to the change of state of the thing. To address these issues, we present a proposal based on me-diation techniques and complex event processing to detect and inhibit invalid invocations, so things only receive requests compatible with their behaviour.Work partially supported by projects TIN2008-05932, TIN2012-35669, CSD2007-0004 funded by Spanish Ministry MINECO and FEDER; P11-TIC-7659 funded by Andalusian Government; and Universidad de Málaga, Campus de Excelencia Internacional Andalucía Tec

Information Outlook, August 2005

Volume 9, Issue 8https://scholarworks.sjsu.edu/sla_io_2005/1007/thumbnail.jp

The ideas of Thomas Jefferson in The Declaration of Independence

ABSTRACT 2009. This minor thesis discussed about the ideas of Thomas Jefferson as included in The Declaration of Independence. This research took the form of library research utilizing the descriptive technique. The primary data are the words, phrases, and interpreted statement which in the Declaration of Independence text. The secondary data are collected from books, magazines, journals, and internet websites about Jefferson’s background, the Declaration of Independence, and articles. The purpose of this research is to find out the ideas of Thomas Jefferson in the Declaration of Independence text. To achieve the goal, the researcher employees historical approach, biographical approach and philosophical approach. Those approaches were related to me each other in order to find out the ideas of Thomas Jefferson as described in the text of Declaration of Independence. Historical approach was applied to explain the event at that time. Biographical approach was applied to understand more about how the author’s intention in the work is related to his background. While philosophical approach was used to know how the philosophy expressed in the one of Thomas Jefferson works. The analysis of this research lead that there were three ideas reflected in the Declaration of Independence values: that all men are created equal, all men have natural rights, and government is used to secure these rights with democracy and freedom

Increasing the Efficiency of Rule-Based Expert Systems Applied on Heterogeneous Data Sources

Nowadays, the proliferation of heterogeneous data sources provided by different research and innovation projects and initiatives is proliferating more and more and presents huge opportunities. These developments create an increase in the number of different data sources, which could be involved in the process of decisionmaking for a specific purpose, but this huge heterogeneity makes this task difficult. Traditionally, the expert systems try to integrate all information into a main database, but, sometimes, this information is not easily available, or its integration with other databases is very problematic. In this case, it is essential to establish procedures that make a metadata distributed integration for them. This process provides a “mapping” of available information, but it is only at logic level. Thus, on a physical level, the data is still distributed into several resources. In this sense, this chapter proposes a distributed rule engine extension (DREE) based on edge computing that makes an integration of metadata provided by different heterogeneous data sources, applying then a mathematical decomposition over the antecedent of rules. The use of the proposed rule engine increases the efficiency and the capability of rule-based expert systems, providing the possibility of applying these rules over distributed and heterogeneous data sources, increasing the size of data sets that could be involved in the decision-making process