An Aspect-Oriented With BIP Components for Better Crosscutting Concerns Modernization in IOT Applications

Abstract

The complexity of Internet of things applications is inherited from the nature of Internet of things components interactions, construction, and implementation of non-functional requirements (crosscutting concerns). Managing such complexity is extremely difficult since implementing crosscutting concerns tend to be spread out and tangled across core IoT architecture. In this paper, we propose an aggregated model of aspect orientation paradigm and BIP components to provide better means to deal with these complexities. Our proposed model provides IoT high level abstractions which gathers relevant contextual properties pertaining to the environment of IoT interactions. We integrate BIP components to generate solutions for a complex tracking and tracing logic of interaction characteristics that might provide better separation of concerns and modularization.

BlockASP: A Framework for AOP-Based Model Checking Blockchain System

“…BlockASP architectural solution meticulously engineered to address the unique security challenges inherent to blockchain technologies. Leveraging the modular benefits of AOP [49], BlockASP seamlessly integrates with contemporary model-checking algorithms, creating a robust and real-time security assessment toolset that significantly outperforms existing solutions.…”

“…Each aspect comes preloaded with state-of-the-art statistical model-checking algorithms. These algorithms are designed to rigorously analyze the real-time, dynamic behaviors [49] of the blockchain system as they unfold. This analysis is backed by a Finite State Machine (FSM) that is programmatically generated to encapsulate not only the system's dynamic behavior but also the operational logic introduced by the injected aspects.…”