Dynamic Weaving of Aspect-Oriented Executable UML Models

Fuentes, Lidia; Sánchez, Pablo

doi:10.1007/978-3-642-03764-1_1

Cited by 13 publications

(6 citation statements)

References 49 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…From this we conclude that the field of model execution tracing has reached a moderate level of maturity. However, among the investigated approaches, only three (9%) have been subjected to an empirical evaluation, namely approach A05 [40,41,42,43] implemented in the Populo tool, approach A31 [58,59] implemented in the TRACE tool, and approach A33 [97] implemented for the tool UPPAAL. In fact, the most common method used to validate the investigated approaches is through case studies.…”

Section: Maturity Level (Q10)mentioning

confidence: 99%

Model execution tracing: a systematic mapping study

et al. 2019

View full text Add to dashboard Cite

Model Driven Engineering is a development paradigm that uses models instead of code as primary development artifacts. In this paper, we focus on executable models, which are used to abstract the behavior of systems for the purpose of verifying and validating (V&V) a system's properties. Model execution tracing (i.e., obtaining and analyzing traces of model executions) is an important enabler for many V&V techniques including testing, model checking, and system comprehension. This may explain the increase in the number of proposed approaches on tracing model executions in the last years. Despite the increased attention, there is currently no clear understanding of the state of the art in this research field, making it difficult to identify research gaps and opportunities. The goal of this paper is to survey and classify existing work on model execution tracing, and identify promising future research directions. To achieve this, we conducted a systematic mapping study where we examined 64 primary studies out of 645 found publications. We found that the majority of model execution tracing approaches has been developed for the purpose of testing and dynamic analysis. Furthermore, most approaches target specific

show abstract

Section: Maturity Level (Q10)mentioning

confidence: 99%

Model execution tracing: a systematic mapping study

et al. 2019

View full text Add to dashboard Cite

show abstract

“…Fuentes et al [64,65] provided a dynamic model weaver for executing aspect-oriented models, leading to the generation of execution traces. A trace represents the execution of an activity as well as the current status of objects and their attribute values.…”

Section: Model Execution Tracing Approachesmentioning

confidence: 99%

Lossless compaction of model execution traces

Hojaji¹,

Zamani²,

Hamou-Lhadj³

et al. 2019

Softw Syst Model

View full text Add to dashboard Cite

Dynamic Verification and Validation (V&V) techniques are used to verify and validate the behavior of software systems early in the development process. In the context of model-driven engineering, such behaviors are usually defined using Executable Domain-Specific Modeling Languages (xDSML). Many V&V techniques rely on execution traces to represent and analyze the behavior of executable models. Traces, however, tend to be overwhelmingly large, hindering effective and efficient analysis of their content. While there exist several trace metamodels to represent execution traces, most of them suffer from scalability problems. In this paper, we present a generic compact trace representation format called generic Compact Trace Metamodel (CTM) that enables the construction and manipulation of compact execution traces of executable models. CTM is generic in the sense that it supports a wide range of xDSMLs. We evaluate CTM on traces obtained from real-world fUML models. Compared to existing trace metamodels, the results show a significant reduction in memory and disk consumption. Moreover, CTM offers a common structure with the aim to facilitate interoperability between existing trace analysis tools.

show abstract

“…(1) [2] has proposed a dynamic weaver for aspect-oriented xUML models. Advice pieces are modeled as activity diagrams and pointcuts as sequence diagrams.…”

Section: Related Workmentioning

confidence: 99%

“…In this context, we aim at providing an aspect-oriented framework that handles xUML behaviors. Existing approaches that handle aspect-oriented xUML models [2], [3], [4] mainly focus on providing a framework for executing the woven model for the purposes of simulation and verification. Moreover, they are presented from a practical perspective.…”

Section: Motivationmentioning

confidence: 99%

Aspect-Oriented Semantic Framework for Executable Models

Mouheb

Ziarati

Debbabi

2013

2013 International Symposium on Theoretical Aspects of Software Engineering

View full text Add to dashboard Cite

Aspect-Oriented Modeling (AOM) has gained a lot of attention from researchers. It emerged as an appropriate paradigm to improve the modularization of crosscutting concerns at the software modeling phase. On the other hand, with the rise of Model-Driven Development, Executable UML (xUML) plays a central role since it allows modelers to specify detailed specifications that can be automatically transformed into code. In this paper, we provide a formal semantics for aspect matching and weaving on xUML models, particularly activity diagrams. The semantics is based on Continuation-Passing Style since it provides a concise and elegant description of aspect-oriented mechanisms. We first consider basic pointcuts. Then, we provide a semantics for the dataflow pointcut, which is useful from a security perspective. I. MOTIVATIONAspect-Oriented Modeling (AOM) has gained a lot of attention from researchers. It emerged as an appropriate paradigm to improve the modularization of crosscutting concerns at the modeling phase. Indeed, handling those concerns at the modeling level would significantly help in alleviating the complexity of software models and facilitate adaptation and reuse of existing design models [1]. Moreover, research in AOM has the potential to help finding common aspect-oriented characteristics, which are programming language-independent. Advice, join points, and pointcuts are the main concepts of the aspect-oriented approach. Advice specifies the modification to be performed on a model. A join point is the location where advice should be applied. And lastly, a pointcut is an expression that designates a set of join points. The process of identifying join points is called matching and the process of composing aspects with the base models is called weaving.On the other hand, with the rise of Model-Driven Development (MDD), Executable UML (xUML) plays a central role since it allows modelers to specify detailed and precise specifications that can be automatically transformed into code. In this context, we aim at providing an aspect-oriented framework that handles xUML behaviors. Existing approaches that handle aspect-oriented xUML models [2], [3], [4] mainly focus on providing a framework for executing the woven model for the purposes of simulation and verification. Moreover, they are presented from a practical perspective. Accordingly, there is a desideratum to provide semantic foundations that are important to offer complete and rigorous definitions for better understandability and to facilitate mathematical reasoning.In this paper, we provide a formal semantics for aspect matching and weaving on xUML models, particularly activity diagrams. The target action language is Action Language for Foundational UML (Alf) [5] proposed by OMG. In addition of being a standard, Alf is highly expressive and provides precise semantics for specifying detailed behaviors at the modeling level. However, for the sake of illustration, we choose a small core syntax that captures the essence of Alf language as we believe that readabili...

show abstract

Dynamic Weaving of Aspect-Oriented Executable UML Models

Cited by 13 publications

References 49 publications

Model execution tracing: a systematic mapping study

Model execution tracing: a systematic mapping study

Lossless compaction of model execution traces

Aspect-Oriented Semantic Framework for Executable Models

Contact Info

Product

Resources

About