An OCL-Based Framework for Model Transformations

Dang, Duc-Hanh; Gogolla, Martin

doi:10.25073/2588-1086/jcsce.120

Cited by 7 publications

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…OCL has the advantage that it places constraints on the models [ 86 ] that can easily be understood by modelers. Another significant benefit of this language is that it is independent of programming languages [ 87 ] and has no side effects when used in UML models [ 88 , 89 ]. The aspect OCL [ 90 , 91 ] is the extension of OCL that provides a solution for specifying crosscutting constraints separately as an aspect.…”

Section: Uml Profilingmentioning

confidence: 99%

Modeling and verification of authentication threats mitigation in aspect-oriented mal sequence woven model

2022

View full text Add to dashboard Cite

The modeling of security threats is equally important as the modeling of functional requirements at the design stage of software engineering. However, unlike functional requirements modeling, the modeling of security threats is neglected, which consequently introduces software defects during the early stages of software engineering. Hence, there is a need to mitigate these threats at the design stage. Security threats, specifically authentication threats, crosscut other functional and non-functional requirements when modeled using the object-oriented paradigm. This not only makes the design complex but also results in tangling and scattering problems. We therefore model authentication threats using the aspect-oriented modeling (AOM) technique since it separates crosscutting concerns and localizes them as separate units called aspects. Our main research aim is to remove scattering and tangling in security threats modeling using all the core features of the aspect-oriented technique. In this paper, we propose a research approach to model security threats and their mitigation in mal sequence diagram. Using this approach, our contribution makes a clear difference from previous work. Our first contribution is the modeling of authentication threats in the mal sequence diagram using the security profile and AOM profile. Our second contribution is the mathematical verification of the aspect-oriented mal sequence woven model in terms of correctness and completeness. Using the proposed approach, the scattering and tangling from the resultant woven model are successfully removed at the design stage. Thus, the complexity of models and the time and effort required for future modifications of design models are reduced.

show abstract

Section: Uml Profilingmentioning

confidence: 99%

Modeling and verification of authentication threats mitigation in aspect-oriented mal sequence woven model

2022

View full text Add to dashboard Cite

show abstract

“…In practice, OCL is utilized in industries [39,40] to defne constraints as expressions. Moreover, a signifcant beneft of this language is that it is not dependent on any programming level languages [41] and has no side efects [42,43]. Te OCL specifes simple constraints precisely [44], but it has no solution for crosscutting constraints to specify.…”

Section: Object Constraint Language (Ocl)mentioning

confidence: 99%

An Authentication-Oriented Approach to Model the Crosscutting Constraints in Sequence Diagram Using Aspect OCL

Ullah

Musharaf

Haleem

2022

Security and Communication Networks

View full text Add to dashboard Cite

The modeling of software functional requirements is very important in the development of software systems. In addition, it is also highly important to model security requirements, specifically authentication requirements, to prevent security risks and threats at the design level. The authentication requirements impose various constraints on granting access to only legitimate users to use computer resources. These constraints play an important role in the modeling of functional and authentication concerns of software systems. However, due to their crosscutting nature, their modeling results in pervasiveness across several design models. These constraints crosscut other constraints, which raises the problems of tangling and scattering. As a result, it is highly difficult to manage and maintain the constraints put on design models. Moreover, taking ad hoc approaches to deal with these constraints in complex systems is likely to result in faulty design models. All the existing approaches only deal with crosscutting behavior and completely ignore the crosscutting constraints. Therefore, our main research objective is to improve the modeling of crosscutting constraints and remove the scattering and tangling problems. For this purpose, we propose an authentication-oriented approach to modeling these constraints using the aspect-oriented technique. Using this approach, two case studies are implemented. Finally, the results show that the tangling and scattering problems are eliminated by separately modeling the crosscutting constraints as aspects using aspect OCL. This reduces the overall number of constraints and lowers the maintenance and management effort, which ultimately reduces the complexity of sequence models. The constraint-oriented sequence models are successfully verified, which shows that the output models are correct and complete. To conclude, our research approach is more useful and effective than the other approaches as it covers all the necessary steps required for functional and authentication behavior and constraint modeling.

show abstract

“…According to [70], the graph transformation technique limited to check the structural inconsistencies only because it detect and resolve the inconsistencies which can be expressed as a graph structure only. Other approached in consistency and coevolution base on transformational models are provided in [71]- [74].…”

Section: Transformational Approachesmentioning

confidence: 99%

Current Issues in UML Diagrams Coevolution and Consistency Techniques and Approaches

Rajabi¹,

Lee²

2018

IJCEE

View full text Add to dashboard Cite

UML modelling language is widely adopted in software analysis and design. UML diagrams are divided into different perspectives on modelling a problem domain. Preserving the coevolution among these diagrams is very crucial so that they can be updated continuously to reflect software changes. Decades of research efforts have produced a wide spectrum of approaches in checking the coevolution among UML diagrams. These approaches can be classified into direct, transformational, formal semantics, or knowledge representation approaches. Formal methods such as Coloured Petri Nets (CPN) are widely used in detecting and handling the coevolution between artifacts. Although ample progress has been made, there still remains much work to be done in further improving the effectiveness and the accuracy of the state-of-the-art coevolution techniques in managing changes in UML diagrams. In this research, a survey about the approaches in maintaining the coevolution among UML diagrams is provided. This research proposed set of coevolution and change effect relations on UML diagrams and diagrams elements. Additionally, currently challenges and issues to detect and resolve the UML diagrams coevolution and inconsistencies are discussed.

show abstract

An OCL-Based Framework for Model Transformations

Cited by 7 publications

References 23 publications

Modeling and verification of authentication threats mitigation in aspect-oriented mal sequence woven model

Modeling and verification of authentication threats mitigation in aspect-oriented mal sequence woven model

An Authentication-Oriented Approach to Model the Crosscutting Constraints in Sequence Diagram Using Aspect OCL

Current Issues in UML Diagrams Coevolution and Consistency Techniques and Approaches

Contact Info

Product

Resources

About