QoS-Aware approach to monitor violations of SLAs in the IoT
Reads0
Chats0
TLDR
The method proposed in this paper aims to automate the generation of a QoS-Aware service, providing real-time monitoring, inspired by the diagnosability theory of Discrete Event System, and is incorporated into the system.About:
This article is published in Journal of Innovation in Digital Ecosystems.The article was published on 2016-12-01 and is currently open access. It has received 20 citations till now. The article focuses on the topics: Service-level agreement & Petri net.read more
Citations
More filters
Journal ArticleDOI
Internet of Things is a revolutionary approach for future technology enhancement: a review
TL;DR: The article discusses different challenges and key issues of IoT, architecture and important application domains, and the importance of big data and its analysis with respect to IoT has been discussed.
Journal ArticleDOI
Internet of Things applications: A systematic review
TL;DR: A technical taxonomy is presented for the IoT applications approaches according to the content of current studies that are selected with SLR process in this study including health care, environmental monitoring, smart city, commercial, industrial and general aspects in IoT applications.
Journal ArticleDOI
Internet of Things and Its Applications: A Comprehensive Survey
TL;DR: This work explains the concept of IoT and defines and summarizes its main technologies and uses, offering a next-generation protocol as a solution to the challenges.
Journal ArticleDOI
Service composition approaches in IoT: A systematic review
TL;DR: This study analytically and statistically categorize and analyze the current research techniques on the service composition in the IoT (published between 2012 and 2017) and presents a technical taxonomy according to content of the existing studies selected with SLR method.
Journal ArticleDOI
Formal verification approaches and standards in the cloud computing
TL;DR: This paper provides a Systematic Literature Review (SLR) method to examine the current technical studies (published between 2011 and July 2017) in formal verification of the cloud computing and categorizes the formal verification approaches in three classic fields: specification and process algebra, model checking, and theorem proving.
References
More filters
Journal ArticleDOI
The Internet of Things: A survey
TL;DR: This survey is directed to those who want to approach this complex discipline and contribute to its development, and finds that still major issues shall be faced by the research community.
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal ArticleDOI
Internet of Things (IoT): A vision, architectural elements, and future directions
TL;DR: In this article, the authors present a cloud centric vision for worldwide implementation of Internet of Things (IoT) and present a Cloud implementation using Aneka, which is based on interaction of private and public Clouds, and conclude their IoT vision by expanding on the need for convergence of WSN, the Internet and distributed computing directed at technological research community.
Book
Business process execution language for web services
TL;DR: This book focuses on executable processes and comes back to abstract processes in Chapter 4, which can be used to replace sets of rules usually expressed in natural language, which is often ambiguous.
Book
MDA Explained: The Model Driven Architecture¿: Practice and Promise
TL;DR: Insight is given in what MDA means and what you can achieve, both today and in the future, thereby raising the level of maturity of the IT industry.