Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search

Kessentini, Marouane; Bouchoucha, Arbi; Sahraoui, Houari; Boukadoum, Mounir

doi:10.1007/978-3-642-13595-8_14

Cited by 16 publications

(13 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Morinaga, Wakamatsu, Abiru and Arai, Journal of Advanced Mechanical Design, Systems, and Manufacturing, Vol.11, No.5 (2017) field of software engineering for exploiting UML (Unified Modeling Language) and SysML (System Modeling Language) (Agarwal, 2013;Alhroob, et al, 2014;Bowles and Meedeniya, 2010;Carneiro, et al, 2008;Emadi and Shams, 2009;Fernandes, et al, 2007;Hu and Shatz, 2004;Kessentini, et al, 2010;López-Grao, et al, 2004;Pais, et al, 2014;Rahim, et al, 2014;Rahim, et al, 2013;Ribeiro and Fernandes, 2006;Saputra, et al, 2010;Yang, et al, 2011). Those researchers proposed methods for transforming diagrams of UML and SysML such as activity diagrams and sequence diagrams in order to take advantage of theoretical results and features of Petri nets.…”

Section: Resultsmentioning

confidence: 99%

Behavior modeling method for functional verification of product considering ways of usage

Morinaga

Wakamatsu

Abiru

et al. 2017

JAMDSM

View full text Add to dashboard Cite

Section: Resultsmentioning

confidence: 99%

Behavior modeling method for functional verification of product considering ways of usage

Morinaga

Wakamatsu

Abiru

et al. 2017

JAMDSM

View full text Add to dashboard Cite

“…Various such byexample approaches have been described in the literature [17,18,19,20,32]. The most similar one is Model Transformation By Example (MTBE), which was proposed in [18,32]. Varrò and Balogh [17] propose a semi-automated process for MTBE using Inductive Logic Programming (ILP).…”

Section: Related Workmentioning

confidence: 98%

“…The principle of their approach is to derive transformation rules semi-automatically from an initial prototypical set of interrelated source and target models. In a previous work [18,32], we proposed MOTOE (MOdel Transformation as Optimization by Example), a novel approach to automate model transformation using heuristic-based search. MOTOE uses a set of transformation examples to derive a target model from a source model.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Sequence diagram to colored Petri nets transformation testing

Kessentini

Sahraoui

Boukadoum

2010

Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10

Self Cite

View full text Add to dashboard Cite

Model transformation is an important concern in software engineering today and rigorous techniques are needed to check transformation quality. In this paper, we propose a novel oracle function for model transformation testing that is based on the notion that the more a transformation deviates from well-known transformation examples, the more likely it is in error. Our approach takes its inspiration from the biological metaphor of immune systems, where pathogens are identified by their difference with normal body cells. We also propose a visualization module to explore transformation fragments according to their risk. We evaluate our approach with a complex transformation mechanism: Sequence Diagram to Colored Petri Nets. The validation results confirm the effectiveness and efficiency of our approach.

show abstract

“…Our choice of CLD-to-RS transformation is motivated by the fact that it is well known and reasonably complex; this allows us to focus on describing the technical aspects of our approach and comparing its results with those of a well-known alternative. Our approach can also be applied to more complex transformations such as sequence diagrams-to-colored Petrinets [21].…”

Section: Introductionmentioning

confidence: 99%

Search-based model transformation by example

et al. 2010

Self Cite

View full text Add to dashboard Cite

Model transformation (MT) has become an important concern in software engineering. In addition to its role in model-driven development, it is useful in many other situations such as measurement, refactoring, and test-case generation. Roughly speaking, MT aims to derive a target model from a source model by following some rules or principles. So far, the contributions in MT have mostly relied on defining languages to express transformation rules. However, the task of defining, expressing, and maintaining these rules can be difficult, especially for proprietary and non-widely used formalisms. In some situations, companies have accumulated examples from past experiences. Our work starts from these observations to view the transformation problem as one to solve with fragmentary knowledge, i.e. with only examples of source-to-target MTs. Our approach has two main advantages: (1) it always proposes a transformation for a source model, even when rule induction is impossible or difficult to achieve; (2) it is independent from the source and target formalisms; aside from the examples, no extra information is needed. In this context, we propose an Communicated by Prof. Krzysztof Czarnecki.optimization-based approach that consists of finding in the examples combinations of transformation fragments that best cover the source model. To that end, we use two strategies based on two search-based algorithms: particle swarm optimization and simulated annealing. The results of validating our approach on industrial projects show that the obtained models are accurate.

show abstract

Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search

Cited by 16 publications

References 22 publications

Behavior modeling method for functional verification of product considering ways of usage

Behavior modeling method for functional verification of product considering ways of usage

Sequence diagram to colored Petri nets transformation testing

Search-based model transformation by example

Contact Info

Product

Resources

About