Modularizing Cross-Cutting Concerns with Aspect-Oriented Extensions for Solidity

Hung, Chien-Che; Chen, Kung; Liao, Chun-Feng

doi:10.1109/dappcon.2019.00033

Cited by 4 publications

(3 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Decoupling concerns that often overlap, such as patient data management, access control, and data security, improves an EHR system's modularity and maintainability (Hung, 2019). Model checking verifies the correctness of such components, hence enhancing the reliability of EHR system.…”

Section: Introductionmentioning

confidence: 99%

OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applications

AlSobeh

2023

ONLINE J COMMUN MEDIA TECHNOL

View full text Add to dashboard Cite

In the intricate domain of software systems verification, dynamically model checking multifaceted system characteristics remains paramount, yet challenging. This research proposes the advanced observe-based statistical model-checking (OSM) framework, devised to craft executable formal models directly from foundational system code. Leveraging model checking predicates, the framework melds seamlessly with aspect-oriented programming paradigms, yielding a potent method for the analytical verification of varied behavioral attributes. Exploiting the transformative capacity of OSM framework, primary system code undergoes a systematic metamorphosis into multifaceted analysis constructs. This not only simplifies the model verification process but also orchestrates feature interactions using an innovative observing join point abstraction mechanism. Within this framework, components encompassing parsing, formal verification, computational analytics, and rigorous validation are intrinsically interwoven. Marrying the principles of model checking with aspect-oriented (AO) modularization, OSM framework stands as a paragon, proficiently scrutinizing and affirming system specifications. This ensures the unyielding performance of electronic health record systems amidst shifting preconditions. OSM framework offers runtime verification of both object-oriented and AO deployments, positioning itself as an indispensable open-source resource, poised to automate the enhancement of system performance and scalability.

show abstract

Section: Introductionmentioning

confidence: 99%

OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applications

AlSobeh

2023

ONLINE J COMMUN MEDIA TECHNOL

View full text Add to dashboard Cite

show abstract

“…The effective modeling of concerns improves the reusability and maintainability of software, which in turn lead to greater flexibility and extensibility [10][11][12]. Recently, studies have reported the benefits of AOSD in the development of middleware for IoT [13], in user activity detection [14], in supporting organizational patterns [15], and in smart contract development in the blockchains context [16], to name a few.…”

Section: Introductionmentioning

confidence: 99%

AJFCode: An Approach for Full Aspect-Oriented Code Generation from Reusable Aspect Models

2022

KSII TIIS

View full text Add to dashboard Cite

Model-driven engineering (MDE) and aspect-oriented software development (AOSD) contribute to the common goal of development of high-quality code in reduced time. To complement each approach with the benefits of the other, various methods of integration of the two approaches were proposed in the past. Aspect-oriented code generation, which targets obtaining aspect-oriented code directly from aspect models, offers some unique advantages over the other integration approaches. However, the existing aspect-oriented code generation approaches do not comprehensively address all aspects of a model-driven code generation system, such as a textual representation of graphical models, conceptual mapping, and incorporation of behavioral diagrams. These problems limit the worth of generated code, especially in practical use. Here, we propose AJFCode, an approach for aspect-oriented modeldriven code generation, which comprehensively addresses the various aspects including the graphical models and their text-based representation, mapping between visual model elements and code, and the behavioral code generation. Experiments are conducted to compare the maintainability and reusability characteristics of the aspect-oriented code generated using the AJFCode with the most comprehensive object-oriented code generation approach. AJFCode performs well in terms of all metrics related to maintainability and reusability of code. However, the most significant improvement is noticed in the separation of concerns, coupling, and cohesion. For instance, AJFCode yields significant improvement in concern diffusion over operations (19 vs 51), coupling between components (0 vs 6), and lack of cohesion in operations (5 vs 9) for one of the experimented concerns.

show abstract

“…• Smart contracts in Ethereum blockchain are considered a new platform; therefore, the coding practices of smart contracts are not yet mature (Hung et al, 2019). • The smart contract can be associated with a digital fortune that might be worth millions of dollars (Schrans et al, 2018).…”

Section: Introductionmentioning

confidence: 99%

A Mechanism to Detect and Prevent Ethereum Blockchain Smart Contract Reentrancy Attacks

Alkhalifah¹,

Watters

et al. 2021

Front. Comput. Sci.

View full text Add to dashboard Cite

In Ethereum blockchain, smart contracts are immutable, public, and distributed. However, they are subject to many vulnerabilities stemming from coding errors made by developers. Seven cybersecurity incidents occurred in Ethereum smart contracts between 2016 and 2018, which led to financial losses estimated to be over US$ 289 million. Reentrancy vulnerability was the cause of two of these incidents, and the impacts went far beyond financial loss. Several reentrancy countermeasures are available, which are based on predefined patterns that are used to prevent vulnerability exploitation before the deployment of a smart contract; however, several limitations have been identified in these countermeasures. Motivated by all these issues, the objective of this article is to help developers improve the cybersecurity of smart contracts by proposing a solution that calculates the difference between the contract balance and the total balance of all participants in a smart contract before and after any operation in a transaction that changes its state. Proof-of-concept implementations show that this solution can provide a detection and prevention mechanism against reentrancy attacks during the execution of any smart contract.

show abstract

Modularizing Cross-Cutting Concerns with Aspect-Oriented Extensions for Solidity

Cited by 4 publications

References 7 publications

OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applications

OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applications

AJFCode: An Approach for Full Aspect-Oriented Code Generation from Reusable Aspect Models

A Mechanism to Detect and Prevent Ethereum Blockchain Smart Contract Reentrancy Attacks

Contact Info

Product

Resources

About