Using aspect-oriented state machines for detecting and resolving feature interactions

Dinkelaker, Tom; Erradi, Mohammed; Ayache, Meryeme

doi:10.2298/csis111216033d

Cited by 5 publications

(3 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In aspect‐oriented methods, aspect‐aspect correctness has also been studied by many researchers for many years, such as Constantinides et al's moderator pattern, Kiczales et al's dominates modifier in AspectJ, Douence et al's general aspect independences, Pawlak et al's CompAr, Nagy et al's ordering and control constraints, Durr et al's semantics definition of advices on an abstract resource model, Kniesel and Bardey's incorrect and incomplete weaving, and Dinkelaker et al's feature interactions …”

Section: Related Workmentioning

confidence: 99%

“…CompAr, 66 Nagy et al's ordering and control constraints, 61 Durr et al's semantics definition of advices on an abstract resource model, 67 Kniesel and Bardey's incorrect and incomplete weaving, 38,39 and Dinkelaker et al's feature interactions. 68 In summary, in these studies, aspect-aspect correctness is determined by the correct interdependent aspects. This type of correctness is ensured by first analyzing the interdependencies among the aspects and then weaving them based on the interdependencies.…”

Section: Aspect-oriented Petri Nets and Correctnessmentioning

confidence: 99%

See 1 more Smart Citation

Trustworthiness requirement‐oriented software process modeling

Zhang

Wang

Kang

2018

J Software Evolu Process

View full text Add to dashboard Cite

Trustworthy software is delivered by enacting trustworthy software processes. The purpose of this paper is to propose an approach to modeling trustworthiness requirement‐oriented software processes. First, based on the aspect‐oriented modeling techniques, separation of concerns is used to separate the crosscutting activities and the core activities according to the different trustworthiness requirements and functional requirements. A goal‐oriented modeling and reasoning method for trustworthiness requirements to find the crosscutting activities that satisfy multiple trustworthiness requirements is presented. Then, base processes are modeled for functional requirements. The crosscutting activities for trustworthiness requirements are decomposed into processes or tasks and encapsulated in aspects that are woven into the base processes. In the weaving procedure, correct weaving methods between multiple aspects and between aspects and base processes are designed. Errors or mistakes of aspect‐oriented process modeling are prevented. Finally, trustworthy third‐party certification authority software is studied systematically in a case study, and performance evaluations are conducted to show the cost and effect of the approach.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Aspect-oriented Petri Nets and Correctnessmentioning

confidence: 99%

Trustworthiness requirement‐oriented software process modeling

Zhang

Wang

Kang

2018

J Software Evolu Process

View full text Add to dashboard Cite

show abstract

“…Their approach consists of a three-step procedure: creating a graph of potential weaving interaction, analyzing correctness, and creating an execution plan that is guaranteed to preserve correctness and completeness. Dinkelaker et al (2012) proposed a formal approach to detect and resolve feature interactions. Their approach is based on formalism for aspect-oriented state machines (AO-FSM) and language implementation AO4FSM based on finite-state machines and essential behavioral models.…”

Section: Correctness Of Business Process Modelsmentioning

confidence: 99%

Correctness of aspect-oriented business process modeling

Wang

Zhang

et al. 2018

BPMJ

View full text Add to dashboard Cite

Purpose -Business process models, while primarily intended for process documentation, communication, and improvement, are often also used as input for developing process-oriented software systems (Ouyang et al., 2009). Ensuring correctness, handling complexity, and improving reusability and maintainability of business process models are important for all these goals. The purpose of this paper is to propose an aspect-oriented business process modeling and correctness controlling method based on Petri nets to satisfy these goals. Design/methodology/approach -The aspect-oriented paradigm provides a proper mechanism to modularization, and thus reduces the complexity of models, and also improves reusability and maintainability. However, weaving aspects into base processes may bring in mistakes or errors. To ensure correctness of modeling, this paper presents a formal approach to modeling aspect-oriented business processes and a method to ensure modeling correctness. Petri net is used as the process modeling language and its analysis techniques are applied to analyze the correctness of modeling. Two types of correctness, specifically, aspect-aspect correctness and base-aspect correctness are analyzed. A real banking process model is studied systematically in the case study to evaluate the approach and the performance assessments are conducted to show the cost and effect of the approach. Findings -Designing aspect-oriented business process models help organizations reusing the model elements to reduce redundancy of their model repository, improving their maintainability, and supporting them to adapt to the changes of business requirements with flexible modeling. It is important to stress that the correctness of business process modeling is important in ensuring the quality of the models, especially in the safety-critical business domains, such as financial business domain. Originality/value -In this paper, separation of concerns is used to separate the cross-cutting activities and core activities in accordance with the different functions of these activities, and an approach to modeling aspect-oriented business processes is proposed. First, the cross-cutting activities are encapsulated as aspects, while core business activities are modeled as base processes. Then, according to the correctness requirements of business process models, based on the weaving mechanisms of aspect-oriented approach, weaving correctness is defined. Weaving correctness controlling methods between multi-aspects and between aspects and base processes are designed. Errors or mistakes of aspect-oriented business process modeling are prevented during the procedure of modeling to ensure error-free business process modeling.

show abstract