scholarly journals Détection des préoccupations transversales par l'analyse formelle de concepts des diagrammes de séquence

2014 ◽  
Vol Volume 18, 2014 ◽  
Author(s):  
Fairouz Dahi ◽  
Nora Bounour
Keyword(s):  
Formal Concept Analysis ◽  
Source Code ◽  
Object Oriented ◽  
Formal Concept ◽  
Conceptual Level ◽  
Sequence Diagrams ◽  
New Approach ◽  
Crosscutting Concerns ◽  
International Audience ◽  
Industrial Adoption

International audience The existence of crosscutting concerns tangled or scattered, complicates the understanding and evolution of object oriented source code. The industrial adoption of aspect-oriented paradigm has led to research new approaches supporting aspect oriented migration. This migration requires the identification of crosscutting concerns, in order to encapsulate them into aspects. We propose in this paper a new approach for the identification of crosscutting concerns at the conceptual level. We materialize this latter by the UML class and sequence diagrams. We use the formal concept analysis to group scattered functionalities in sequence diagrams, and we analyze the order of method calls to detect the tangled ones. Then, we filter all obtained candidate aspects, in order to avoid the mistakes.

scholarly journals An Assessment of Maintainability of an Aspect-Oriented System

2013 ◽  
Vol 2013 ◽  
pp. 1-11 ◽  
Author(s):  
Kagiso Mguni ◽  
Yirsaw Ayalew
Keyword(s):  
Software Maintenance ◽  
Structural Complexity ◽  
Object Oriented ◽  
Aspect Oriented Programming ◽  
New Approach ◽  
Crosscutting Concerns ◽  
Aspect Oriented System ◽  
Important Activity ◽  
Oriented System

Software maintenance is an important activity in software development. Some development methodologies such as the object-oriented have contributed in improving maintainability of software. However, crosscutting concerns are still challenges that affect the maintainability of OO software. In this paper, we discuss our case study to assess the extent of maintainability improvement that can be achieved by employing aspect-oriented programming. Aspect-oriented programming (AOP) is a relatively new approach that emphasizes dealing with crosscutting concerns. To demonstrate the maintainability improvement, we refactored a COTS-based system known as OpenBravoPOS using AspectJ and compared its maintainability with the original OO version. We used both structural complexity and concern level metrics. Our results show an improvement of maintainability in the AOP version of OpenBravoPOS.

Concept-Oriented Model

2009 ◽  
pp. 171-180 ◽  
Author(s):  
Alexandr Savinov
Keyword(s):  
Formal Concept Analysis ◽  
Effective Means ◽  
Logical Structure ◽  
Point Of View ◽  
Formal Concept ◽  
Ordered Sets ◽  
Major Goal ◽  
New Approach ◽  
Two Sides ◽  
Multidimensional Models

The concept-oriented model (CoM) is a new approach to data modeling (Savinov, 2004) that is being developed along with concept-oriented programming (CoP) (Savinov, 2005a). Its major goal consists of providing simple and effective means for representing and manipulating multidimensional and hierarchical data while retaining the possibility to model how the data are represented physically. Thus, this model has two sides or flavors: logical and physical. From the point of view of logical structure, CoM belongs to a class of multidimensional models (Agrawal, Gupta, & Sarawagi, 1997; Gyssens & Lakshmanan, 1997; Li & Wang, 1996) and OLAP technologies (Berson & Smith, 1997). The main difference from the existing approaches is that CoM is based on the theory of ordered sets. Particularly, one source of inspiration when developing CoM was formal concept analysis (FCA) and lattice theory (Ganter & Wille, 1999).

scholarly journals ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram †

Information ◽  
2018 ◽  
Vol 9 (11) ◽  
pp. 266
Author(s):  
Phillip Santos ◽  
Pedro Ruas ◽  
Julio Neves ◽  
Paula Silva ◽  
Sérgio Dias ◽  
...  
Keyword(s):  
Data Structure ◽  
High Dimension ◽  
Formal Concept Analysis ◽  
Binary Decision Diagram ◽  
High Dimensional ◽  
Formal Context ◽  
Formal Concept ◽  
Binary Decision ◽  
New Approach ◽  
Original Algorithm

Formal concept analysis (FCA) is largely applied in different areas. However, in some FCA applications the volume of information that needs to be processed can become unfeasible. Thus, the demand for new approaches and algorithms that enable processing large amounts of information is increasing substantially. This article presents a new algorithm for extracting proper implications from high-dimensional contexts. The proposed algorithm, called ImplicPBDD, was based on the PropIm algorithm, and uses a data structure called binary decision diagram (BDD) to simplify the representation of the formal context and enhance the extraction of proper implications. In order to analyze the performance of the ImplicPBDD algorithm, we performed tests using synthetic contexts varying the number of objects, attributes and context density. The experiments show that ImplicPBDD has a better performance—up to 80% faster—than its original algorithm, regardless of the number of attributes, objects and densities.

scholarly journals Static generation of UML sequence diagrams

2019 ◽  
Author(s):  
Chris Alvin ◽  
Brian Peterson ◽  
Supratik Mukhopadhyay
Keyword(s):  
Software Engineering ◽  
Source Code ◽  
Visual Representations ◽  
Object Oriented ◽  
Program Comprehension ◽  
Theory And Practice ◽  
Sequence Diagrams ◽  
International Conference ◽  
Android Applications ◽  
Object Interactions

AbstractUML sequence diagrams are visual representations of object interactions in a system and can provide valuable information for program comprehension, debugging, maintenance, and software archeology. Sequence diagrams generated from legacy code are independent of existing documentation that may have eroded. We present a framework for static generation of UML sequence diagrams from object-oriented source code. The framework provides a query refinement system to guide the user to interesting interactions in the source code. Our technique involves constructing a hypergraph representation of the source code, traversing the hypergraph with respect to a user-defined query, and generating the corresponding set of sequence diagrams. We implemented our framework as a tool, StaticGen (supporting software: StaticGen), analyzing a corpus of 30 Android applications. We provide experimental results demonstrating the efficacy of our technique (originally appeared in the Proceedings of Fundamental Approaches to Software Engineering—20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017).

Aspect-Oriented Dynamic Weaving Testing Based on Sequence Diagrams

2013 ◽  
Vol 336-338 ◽  
pp. 1957-1963
Author(s):  
Kun Xiao
Keyword(s):  
Software Development ◽  
Initial Phase ◽  
Object Oriented ◽  
Sequence Diagrams ◽  
Crosscutting Concerns ◽  
The Core ◽  
Transition Problem

Now, the aspect-oriented software development is placed in the initial phase. For the nature of dynamic weaving, it is difficult to test the aspect-oriented dynamic weavings. The methods of the object-oriented testing and the procedure-oriented testing can not be applied in the dynamic weaving testing. In this paper, it analyzes the properties of the dynamic weaving, and induces the constraints in the dynamic weaving. Then, it regards the dynamic weavings as the processes piling the crosscutting concerns up the core concerns, and gives the formation concepts of the dynamic weaving. Following, it appends the weaving semantics to the sequence diagrams, and gives the constraints testing of the dynamic weavings based on the sequence diagrams. This method can give the testing cases through the dynamic weaving designs directly. It solves the transition-problem from the aspect-oriented design to the aspect-oriented testing in some manner.

Sign in / Sign up

Export Citation Format

Share Document