A systematic review of UML model consistency management

Lucas, Francisco J.; Molina, Fernando; Toval, Ambrosio

doi:10.1016/j.infsof.2009.04.009

Cited by 156 publications

(94 citation statements)

References 52 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For instance, [15] focuses on the class diagram, [5] handles state-machine diagrams, and [7] focuses on activity diagrams. As far as approaches examining various UML diagrams, [13] offers a systematic literature review but only four of the analyzed papers perform reasoning on more than one of the diagrams in our approach: they can handle class and state machine diagrams. [14] handles both the class diagram and the operation contracts, but it does not consider state transition nor activity diagrams.…”

Section: Related Workmentioning

confidence: 99%

Verification and Validation of UML Artifact-Centric Business Process Models

Estañol

Sancho

Teniente

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. there are no internal mistakes) and to validate them (i.e. the model complies with the business requirements). This approach is based on translating these models into logic and then encoding the desirable properties as satisfiability problems of derived predicates. In this way, we can then use a tool to check if these properties are fulfilled.

show abstract

Section: Related Workmentioning

confidence: 99%

Verification and Validation of UML Artifact-Centric Business Process Models

Estañol

Sancho

Teniente

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…SLR is composed of three main review phases: planning, conducting, and reporting. The conducting process is expanded and refined up to 4 activities to review the literature [2]. Several studies have used the SLR method to classify study area and find study trends in computer engineering.…”

Section: Related Workmentioning

confidence: 99%

“…Several studies have used the SLR method to classify study area and find study trends in computer engineering. For example, [2] has used the method to classify studies of UML(unified modeling language) and [19] has used the method to find the trend of UML studies. In the meantime, though a number of studies have studied on Twitter as a hot issue, the study that classify twitter studies and find study trend can not be find.…”

Section: Related Workmentioning

confidence: 99%

“…The following questions are defined in order to attain some analytic results through the SLR process [2].…”

Section: A Question Formationmentioning

confidence: 99%

“…The SLR method is adopted as a useful method for concentrating representative papers in this study [1][2]. Five representative Internet search sites that provide research literature are selected.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Analysis of Twitter research trends based on SLR

Park

Kim

2014

16th International Conference on Advanced Communication Technology

View full text Add to dashboard Cite

Abstract-With the increasing interest in micro blogging services, extensive research has focused on Twitter for a variety of purposes. For effective research on Twitter, an investigation of academic research papers related with Twitter will be required in order to analyze research trends. However, it is not easy to review the vast data. Therefore, we extract the representative literature related to Twitter and investigate the trends in Twitter research by using the systematic literature review (SLR) method. The five most popular resource sites are selected to collect Twitter-related literature and the 106 papers selected based on SLR are analyzed to study interesting trends in Twitter research. To classify the research area, the selected papers are divided into five main research categories according to research topics. In addition, other valuable results such as the inclination of the authors are also understood.

show abstract

Empirical evidence about the UML: a systematic literature review

et al. 2010

View full text Add to dashboard Cite

The Unified Modeling Language (UML) was created on the basis of expert opinion and has now become accepted as the ‘standard’ object‐oriented modelling notation. Our objectives were to determine how widely the notations of the UML, and their usefulness, have been studied empirically, and to identify which aspects of it have been studied in most detail. We undertook a mapping study of the literature to identify relevant empirical studies and to classify them in terms of the aspects of the UML that they studied. We then conducted a systematic literature review, covering empirical studies published up to the end of 2008, based on the main categories identified. We identified 49 relevant publications, and report the aggregated results for those categories for which we had enough papers— metrics, comprehension, model quality, methods and tools and adoption. Despite indications that a number of problems exist with UML models, researchers tend to use the UML as a ‘given’ and seem reluctant to ask questions that might help to make it more effective. Copyright © 2010 John Wiley & Sons, Ltd.

show abstract

A systematic review of UML model consistency management

Cited by 156 publications

References 52 publications

Verification and Validation of UML Artifact-Centric Business Process Models

Verification and Validation of UML Artifact-Centric Business Process Models

Analysis of Twitter research trends based on SLR

Empirical evidence about the UML: a systematic literature review

Contact Info

Product

Resources

About