From UML 2.0 diagrams to aspect oriented diagrams using graph transformation

Aouag, Mouna; Elmansouri, Raida; Chaoui, Allaoua

doi:10.1504/ijcaet.2014.060309

Cited by 2 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In literature, various research works have been done to transform informal models to formal ones (Rehab and Chaoui (2015)) (Aouag et al (2014)) (Guerrouf et al (2013)) (Debbabi et al (2010)). These transformations are generally implemented and offered as tools which can assist architects during the verification of their systems.…”

Section: Related Workmentioning

confidence: 99%

“…These transformations are generally implemented and offered as tools which can assist architects during the verification of their systems. Many of these works are dedicated to generate formal models from UML and SysML diagrams (Rehab and Chaoui (2015)) (Aouag et al (2014)) (Rahim et al (2015)), which are considered as informal models. In fact, the sequence diagram, which is a shared model between UML and SysML, was be the matter of many transformation works.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

SysML model-driven approach to verify blocks compatibility

Bouaziz

Chouali

Hammad

et al. 2019

IJCAET

View full text Add to dashboard Cite

In the component paradigm, the system is seen as an assembly of heterogeneous components, where the system reliability depends on these components compatibility. In our approach, we focus on verifying compatibility of components modelled with SysML diagrams. Thus, we model component interactions with sequence diagrams (SDs) and components with SysML blocks. The SDs constitute a good start point for compatibility verification. However, this verification is still inapplicable directly on SDs, because they are expressed in informal language. Thus, to apply a verification method, it is necessary to translate the SDs into formal models, and then verify the wanted properties. In this paper, we propose a high-level model-driven approach which consists of an ATL grammar that automates the transformation of SDs into interface automata. Also, to allow an easy use of Ptolemy tool to verify properties on automata, we have proposed some Acceleo templates, which generate the Ptolemy entry specification.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

SysML model-driven approach to verify blocks compatibility

Bouaziz

Chouali

Hammad

et al. 2019

IJCAET

View full text Add to dashboard Cite

show abstract

“…OOP creates a coupling between the core and cross-cutting concerns; that is undesirable. Cross-cutting concerns are those parts of the program that are scattered across multiple modules of the program and are also tangled with other modules (Singh et al, 2016;Aouag et al, 2014). The most simple and common example of a cross-cutting concern is logging.…”

Section: Aspect-oriented Programmingmentioning

confidence: 99%

Code refactoring using slice-based cohesion metrics and aspect-oriented programming

Singh

Khilar

Mohapatra

2018

IJBIS

View full text Add to dashboard Cite

Software restructuring is essential for maintaining software quality. It is a usual practice that we first design the software and then go for coding. After coding, if there is any change in the requirement or if the output is incorrect, then we have to modify the code again. For each small code modification, it is not feasible to alter the design. These minor changes made to the code causes decay in the software design. Software refactoring is used to restructure the code to improve the design and quality of the software. In this paper, we propose an approach for performing code refactoring. We use slice-based cohesion metrics to identify the target methods that require refactoring. After identifying the target methods, we use program slicing to divide the target method into two parts. Finally, we use the concept of aspects to alter the code structure in a manner that does not change the external behaviour of the original module.

show abstract

From UML 2.0 diagrams to aspect oriented diagrams using graph transformation

Cited by 2 publications

References 0 publications

SysML model-driven approach to verify blocks compatibility

SysML model-driven approach to verify blocks compatibility

Code refactoring using slice-based cohesion metrics and aspect-oriented programming

Contact Info

Product

Resources

About