A systematic review of code generation proposals from state machine specifications

Domı́nguez, Elena; Pérez, Beatriz; Rubio, Ángel L.; Zapata, María A.

doi:10.1016/j.infsof.2012.04.008

Cited by 44 publications

(38 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Nine secondary studies explicitly assess the quality of the primary studies they include. Eight of those secondary studies use an ad hoc assessment, with custom-made criteria tailored for the specific domain those reviews are covering (Delgado et al 2013;Domínguez et al 2012;Giachetti et al 2012;Giraldo et al 2014;Hansson et al 2014;Misbhauddin and Alshayeb 2015;Mohagheghi and Dehlen 2008;Santiago et al 2012). Neto et al (2014) used guidelines (Kitchenham and Charters 2007) for the quality assessment of the included primary studies.…”

Section: Quality Evaluation Of Secondary Studiesmentioning

confidence: 99%

See 1 more Smart Citation

Quality in model-driven engineering: a tertiary study

2016

View full text Add to dashboard Cite

Model-driven engineering (MDE) is believed to have a significant impact in software quality. However, researchers and practitioners may have a hard time locating consolidated evidence on this impact, as the available information is scattered in several different publications. Our goal is to aggregate consolidated findings on quality in MDE, facilitating the work of researchers and practitioners in learning about the coverage and main findings of existing work as well as identifying relatively unexplored niches of research that need further attention. We performed a tertiary study on quality in MDE, in order to gain a better understanding of its most prominent findings and existing challenges, as reported in the literature. We identified 22 systematic literature reviews and mapping studies and the most relevant quality attributes addressed by each of those studies, in the context of MDE. Maintainability is clearly the most often studied and reported quality attribute impacted by MDE. Eighty out of 83 research questions in the selected secondary studies have a structure that is more often associated with mapping existing research than with answering more concrete research questions (e.g., comparing two alternative MDE approaches with respect to their impact on a specific quality attribute). We briefly outline the main contributions of each of the selected literature reviews. In the collected studies, we observed a broad coverage of software product quality, although frequently accompanied by notes on how much more empirical research is needed to further validate existing claims. Relatively, little attention seems to be devoted to the impact of MDE on the quality in use of products developed using MDE.

show abstract

Section: Quality Evaluation Of Secondary Studiesmentioning

confidence: 99%

“…Domínguez et al (2012) present an SLR where some of the reviewed proposals discuss the positive impact on quality attributes such as reusability and maintainability. Most of the works build upon software design patterns.…”

Section: Summary Of Secondary Studies Contributionsmentioning

confidence: 99%

Quality in model-driven engineering: a tertiary study

2016

View full text Add to dashboard Cite

show abstract

“…State machines control the behavior of instances of classes; it is a key way that UML envisions using state machines [117]. There is considerable literature focusing on such state machines and also on code generation from such machines [30,34,79,95,96] to avoid the need for manual coding of their logic.…”

Section: State Machinesmentioning

confidence: 99%

Promoting traits into model-driven development

Abdelzad

Lethbridge

2015

Softw Syst Model

View full text Add to dashboard Cite

Traits are primitive units of code reuse that serve as building blocks of classes. In this research, we enhance reuse by extending the capabilities of traits; in particular, we add modeling abstractions to them.Traits have a variety of benefits, including facilitating reuse and separation of concerns. They have appeared in several programming languages, particularly derivatives of Smalltalk. However, there is still no support for traits that contain modeling abstractions, and no straightforward support for them in general-purpose programming languages. The latter is due to structural concerns that exist for them at runtime, especially traits that contain modeling abstractions.Model-driven technologies are making inroads into the development community, albeit slowly. Modeling abstractions such as state machines and associations provide new opportunities for reuse, and can be combined with inheritance for even greater reusability.However, issues with inheritance apply also when these new abstractions are inheritable units. This suggests that traits and models ought to be able to be synergistically combined.We perform a comprehensive analysis of using modeling elements in traits. We implement such traits in Umple, which is a model-oriented programming language that permits embedding of programming concepts into models.The contributions of the thesis are: a) Adding new elements including state machines and associations into traits, hence bringing more reusability, modularity, and applications to traits; b) Developing an algorithm that allows reusing, extending, and composing state machines through traits; c) Extending traits with required interfaces so dependencies at the semantic level become part of their usage, rather than simple syntactic capture; d) Adding template parameters with associations in traits, offering new applications for traits in which it is possible to define design patterns and to have a library of most-used functionality; e) The implementation of all the above concepts, including generating code in multiple generalpurpose programming languages through automatic model transformation.iii

show abstract

“…However, they are not so good at precisely defining the behavior of an object [28]. The state diagrams and state machine specifications are considered the most effective and widely used method to specify behavior of a system [29,30]. This way, the use of state diagrams in RAM approach is significant.…”

Section: The Model Perspectivementioning

confidence: 99%

“…That is why, a considerable volume of literature (cf. [29]) is devoted to studying the implementation of state diagram in different programming languages. Currently, both RAM and Theme/UML have not considered implementation of state diagrams.…”

Section: The Code Perspectivementioning

confidence: 99%