More Web Proxy on the site http://driver.im/

research-article

UML diagram synthesis techniques: a systematic mapping study

Authors:

Marcela Genero,

Maria Teresa Baldassarre,

Maged ElaasarAuthors Info & Claims

MiSE '18: Proceedings of the 10th International Workshop on Modelling in Software Engineering

Pages 33 - 40

https://doi.org/10.1145/3193954.3193957

Published: 27 May 2018 Publication History

Abstract

Context: UML software development relies on different types of UML diagrams, which must be consistent with one another. UML Synthesis techniques suggest to generate diagram(s) from other diagram(s), thereby implicitly suggesting that input and output diagrams of the synthesis process be consistent with one another.

Objective: Our aim is to provide a comprehensive summary of UML synthesis techniques as they have been described in the literature to date to then collect UML consistency rules, which can then be used to verify UML models. Method: We performed a Systematic Mapping Study by following well-known guidelines. We selected 14 studies by means of a search with seven search engines executed until January, 2018. Results: Researchers have not frequently published papers concerning UML synthesis techniques since 2004. We present a set of 47 UML consistency rules collected from the different synthesis techniques analyzed. Conclusion: Although UML diagrams synthesis doesn't seem to be an active line of research, it is relevant since synthesis techniques rely on enforcing diagram consistency, which is an active line of research. We collected consistency rules which can be used to check UML models, specifically to verify if the diagrams of a model are consistent with one another.

References

[1]

J. Mukerji and J. Miller. 2003. Overview and guide to OMG's architecture, Object Management Group http://www.omg.org/mda/.

[2]

D. Thomas. 2004. MDA: Revenge of the modelers or UML utopia?, IEEE Software, vol. 21, pp. 15--17.

Digital Library

[3]

M. Genero, A. M. Fernández-Saez, H. J. Nelson, G. Poels, and M. Piattini. 2011. A Systematic Literature Review on the Quality of UML Models, Journal of Database Management, vol. 22, pp. 46--70, July-September 2011.

Digital Library

[4]

OMG. 2011. OMG Unified Modeling LanguageTM - Superstructure Version 2.4.1.

[5]

T. Pender. 2003. UML Bible (1st ed.). New York, NY, USA: John Wiley & Sons, Inc.

Digital Library

[6]

D. Torre, Y. Labiche, and M. Genero. 2014. UML consistency rules: a systematic mapping study, In Proceeding of the 18th International Conference on Evaluation and Assessment in Software Engineering (EASE 2014), London, UK.

Digital Library

[7]

P. Selonen, K. Koskimies, and M. Sakkinen. 2003. Transformations between UML diagrams, Journal of Database Management, vol. 14, pp. 37--55.

[8]

P. Selonen, K. Koskimies, and M. Sakkinen. 2001. How to Make Apples from Oranges in UML, In Proceeding of the 34th Annual Hawaii International Conference on System Sciences (HICSS '01).

Digital Library

[9]

Z. Manna and R. J. Waldinger. 1971. Toward automatic program synthesis. Commun., ACM vol. 14, pp. 151--165.

Digital Library

[10]

E. Mäkinen and T. Systä. 2001. MAS --- an interactive synthesizer to support behavioral modelling in UML, In Proceeding of the 23rd International Conference on Software Engineering (ICSE '01), Washington, DC, USA.

Digital Library

[11]

A. M. Fernández-Sáez, M. Genero, D. Caivano, and M. R. V. Chaudron. 2016. Does the level of detail of UML diagrams affect the maintainability of source code?: a family of experiments Empirical Software Engineering, vol. 21, pp. 212--259.

Digital Library

[12]

A. M. Fernández-Sáez, M. Genero, M. R. V. Chaudron, D. Caivano, and I. Ramos. 2015. Are forward designed or reverse-engineered UML diagrams more helpful for code maintenance?: A family of experiments, IST, vol. 57, pp. 644--663.

[13]

D. Torre, Y. Labiche, M. Genero, M. Elaasar, T. K. Das, B. Hoisl, et al. 2016. 1st International Workshop on UML Consistency Rules (WUCOR 2015): Post workshop report, SIGSOFT Softw. Eng. Notes, vol. 41, pp. 34--37.

Digital Library

[14]

D. Torre. 2014. On collecting and validating UML consistency rules: a research proposal, In Proceeding of the Doctoral Symposium at 18th International Conference on Evaluation and Assessment in Software Engineering (EASE 2014), London, UK.

Digital Library

[15]

D. Torre. 2015. On validating UML consistency rules, In Proceeding of the 26th IEEE International Symposium on Software Reliability Engineering, Doctoral Symposium (ISSRE 2015) Gaithersburg, MD, USA, pp. 50--60.

Digital Library

[16]

D. Torre. 2016. Verifying the consistency of UML models, In Proceeding of the 27th IEEE International Symposium on Software Reliability Engineering, Fast Abstract (ISSRE 2016) Ottawa, Canada.

[17]

H. Arksey and L. O'Malley. 2005. Scoping studies: towards a methodological framework, International Journal of Social Research Methodology, vol. 8.

[18]

B. Kitchenham and S. Charters. 2007. Guidelines for performing systematic literature reviews in software engineering, Keele University.

[19]

K. Petersen, S. Vakkalanka, and L. Kuzniarz. 2015. Guidelines for conducting systematic mapping studies in software engineering: An update, Information & Software Technology, vol. 64, pp. 1--18.

Digital Library

[20]

D. Budgen, M. Turner, P. Brereton, and B. Kitchenham. 2008. Using mapping studies in software engineering, In Proceeding of the Psychology of Programming Interest Group Workshop, Lancaster University, pp. 195--204.

[21]

R. Wieringa, N. Maiden, N. Mead, and C. Rolland. 2005. Requirements engineering paper classification and evaluation criteria: a proposal and a discussion, Requirements Eng., vol. 11, pp. 102--107.

Digital Library

[22]

T. Mens, R. Van der Straeten, and J. Simmonds. 2005. A framework for managing consistency of evolving UML models, in Software Evolution with UML and XML, ed: IGI Publishing, 2005, pp. 1--30.

[23]

P. Brereton, B. Kitchenham, D. Budgen, M. Turner, and M. Khalil. 2007. Lessons from applying the systematic literature review process within the software engineering domain, Journal of Systems and Software, vol. 80, pp. 571--583.

Digital Library

[24]

Z. Huzar, L. Kuzniarz, G. Reggio, and J. L. Sourrouille. 2005. Consistency problems in UML-based software development, In Proceeding of the International Conference on UML Modeling Languages and Applications, Lisbon, Portugal, pp. 1--12.

Digital Library

[25]

G. Engels, J. H. Hausmann, and R. Heckel. 2002. Testing the consistency of dynamic UML diagrams, In Proceeding of the Integrated Design and Process Technology, Pasadena, California.

[26]

M. A. Ahmad and A. Nadeem. 2010. Consistency checking of UML models using Description Logics: A critical review, In Proceeding of the 6th International Conference on Emerging Technologies Islamabad, Pakistan, pp. 310--315.

[27]

G. Engels, R. Heckel, and J. M. Küster. 2001. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model, In Proceeding of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, Toronto, Ontario, Canada, pp. 272--286.

Digital Library

[28]

G. Engels, J. M. Küster, R. Heckel, and L. Groenewegen. 2001. A methodology for specifying and analyzing consistency of object-oriented behavioral models, Sigsoft Software Engineering Notes, vol. 26, pp. 186--195, September 2001.

Digital Library

[29]

J. Whittle and P. K. Jayaraman. 2010. Synthesizing hierarchical state machines from expressive scenario descriptions, ACM Trans. Softw. Eng. Methodol., vol. 19.

Digital Library

[30]

S. Kang, H. Kim, J. Baik, H. Choi, and C. Keum. 2010. Transformation Rules for Synthesis of UML Activity Diagram from Scenario-Based Specification In Proceeding of the IEEE 34th Annual Computer Software and Applications Conference (COMPSAC '10), pp. 431--436.

Digital Library

[31]

T. Ziadi, L. Helouet, and J.-M. Jezequel. 2004. Revisiting Statechart Synthesis with an Algebraic Approach. In Proceeding of the 26th International Conference on Software Engineering (ICSE '04).

Digital Library

[32]

J. Schumann. 2000. Automatic debugging support for uml designs, In Proceeding of the 4th International Workshop on Automated Debugging.

[33]

I. Khriss, M. Elkoutbi, and R. K. Keller. 1998. Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams, In Proceeding of the 1st International Workshop on The Unified Modeling Language: Beyond the Notation (UML '98), pp. 132--147.

Digital Library

[34]

T. Maier and A. Zndorf. 2003. The Fujaba Statechart Synthesis Approach, In Proceeding of the Workshop on Scenarios and State Machines (ICSE '03), Portland, Oregon, USA.

[35]

P. Selonen and T. Systä. 2000. Scenario-based Synthesis of Annotated Class Diagrams in UML, In Proceeding of the Workshop: Scenario-based round-trip engineering (OOPSLA '00) Tampere University of Technology, Software Systems Laboratory, pp. 26--31.

[36]

R. Eshuis and P. V. Gorp. 2106. Synthesizing object life cycles from business process models, Software & Systems Modeling, vol. 15, pp. 281--302.

Digital Library

[37]

J. Whittle and J. Schumann. 2000 Generating statechart designs from scenarios, In Proceeding of the 22nd international conference on Software engineering (ICSE '00).

Digital Library

[38]

J. Schumann and J. Whittle. 2000. Automatic Synthesis of Agent Designs in UML, In Proceeding of the 1st International Workshop on Formal Approaches to Agent-Based Systems (FAABS '00).

Digital Library

[39]

I. Krka and N. Medvidovic. 2014. Component-Aware Triggered Scenarios, In Proceeding of the 2014 IEEE/IFIP Conference on Software Architecture (WICSA '14).

Digital Library

[40]

B. Dobing and J. Parsons. 2006. How UML is used, ACM, vol. 49, pp. 109--113.

Digital Library

[41]

T. Systä. 2000. Incremental construction of dynamic models for object-oriented software systems, Journal of Object-Oriented Programming, vol. 13, pp. 18--27.

[42]

M. T. Baldassarre, J. Carver, O. Dieste, and N. Juristo. 2014. Replication types: Towards a shared taxonomy, ACM International Conference Proceeding Series.

Cited By

Alhogail AAlshahrani MAlsheddi AAlmadi DAlfaris N(2024)RideChain: A Blockchain-Based Decentralized Public Transportation Smart WalletMathematics10.3390/math1219303312:19(3033)Online publication date: 28-Sep-2024
https://doi.org/10.3390/math12193033
Sasmito GRahman T(2024)Implementation e-commerce of salted fish sales based on supply chain management using the SCRUM frameworkPROCEEDINGS OF THE TEGAL INTERNATIONAL CONFERENCE ON APPLIED SCIENCES 2022: Applied Science Research Post-Covid-19 Pandemic10.1063/5.0198877(030014)Online publication date: 2024
https://doi.org/10.1063/5.0198877
Sahlabadi MMuniyandi RShukur ZIslam MSaberiKamarposhti MYim K(2024)LPMSAEF: Lightweight Process Mining-Based Software Architecture Evaluation Framework for Security and Performance AnalysisHeliyon10.1016/j.heliyon.2024.e26969(e26969)Online publication date: Feb-2024
https://doi.org/10.1016/j.heliyon.2024.e26969
Show More Cited By

Recommendations

UML consistency rules: a systematic mapping study
EASE '14: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering

Context: The Unified Modeling Language (UML), with its 14 different diagram types, is the de-facto standard modeling language for object-oriented modeling and documentation. Since the various UML diagrams describe different aspects of one, and only one, ...
On collecting and validating UML consistency rules: a research proposal
EASE '14: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering

The main aim of my doctoral research is to create a comprehensive set of well-accepted consistency rules for UML diagrams that can be found in the literature, in reference textbooks or in the UML standard. Moreover, an important part of that aim will be ...
A systematic identification of consistency rules for UML diagrams
Highlights
- A systematic mapping study on UML consistency rules.
- From 105 primary studies ...
Abstract
UML diagrams describe different views of one software. These diagrams strongly depend on each other and must therefore be consistent with one another, since inconsistencies between diagrams may be a source of faults during software ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

MiSE '18: Proceedings of the 10th International Workshop on Modelling in Software Engineering

May 2018

87 pages

ISBN:9781450357357

DOI:10.1145/3193954

Conference Chairs:
Jennifer Horkoff
Chalmers and the University of Gothenburg, Sweden
,
Sahar Kokaly
McMaster University, Canada
,
Richard Paige
University of York, United Kingdom
,
Jocelyn Simmonds
University of Chile, Chile

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 May 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '18

Sponsor:

SIGSOFT
IEEE-CS

ICSE '18: 40th International Conference on Software Engineering

May 27 - 28, 2018

Gothenburg, Sweden

Acceptance Rates

Overall Acceptance Rate 13 of 30 submissions, 43%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
333
Total Downloads

Downloads (Last 12 months)50
Downloads (Last 6 weeks)14

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Alhogail AAlshahrani MAlsheddi AAlmadi DAlfaris N(2024)RideChain: A Blockchain-Based Decentralized Public Transportation Smart WalletMathematics10.3390/math1219303312:19(3033)Online publication date: 28-Sep-2024
https://doi.org/10.3390/math12193033
Sasmito GRahman T(2024)Implementation e-commerce of salted fish sales based on supply chain management using the SCRUM frameworkPROCEEDINGS OF THE TEGAL INTERNATIONAL CONFERENCE ON APPLIED SCIENCES 2022: Applied Science Research Post-Covid-19 Pandemic10.1063/5.0198877(030014)Online publication date: 2024
https://doi.org/10.1063/5.0198877
Sahlabadi MMuniyandi RShukur ZIslam MSaberiKamarposhti MYim K(2024)LPMSAEF: Lightweight Process Mining-Based Software Architecture Evaluation Framework for Security and Performance AnalysisHeliyon10.1016/j.heliyon.2024.e26969(e26969)Online publication date: Feb-2024
https://doi.org/10.1016/j.heliyon.2024.e26969
Wei XWang ZYang S(2023)An Automatic Generation and Verification Method of Software Requirements SpecificationElectronics10.3390/electronics1212273412:12(2734)Online publication date: 19-Jun-2023
https://doi.org/10.3390/electronics12122734
Ucán-Pech JAguilar-Vera RDíaz-Mendoza JGómez-Gómez O(2023)Faltas en el aprendizaje del modelado de clases y casos de uso: una revisión sistemáticaRevista Científica10.14483/23448350.1965546:1(93-106)Online publication date: 2-Jan-2023
https://doi.org/10.14483/23448350.19655
Sasmito GWiyono SIrwansyah ESuhartono D(2023)Mobile Application for Agribusiness Crops Transport Vehicle Reservation with First Come First Served Algorithm2023 Third International Conference on Advances in Electrical, Computing, Communication and Sustainable Technologies (ICAECT)10.1109/ICAECT57570.2023.10117623(1-5)Online publication date: 5-Jan-2023
https://doi.org/10.1109/ICAECT57570.2023.10117623
Ali ABashir MHassan AHamza RAlqhtani STawfeeg TYousif A(2022)Design-Time Reliability Prediction Model for Component-Based Software SystemsSensors10.3390/s2207281222:7(2812)Online publication date: 6-Apr-2022
https://doi.org/10.3390/s22072812
Fayad MMostefaoui AChouali SBenbernou S(2022)Toward a design model-oriented methodology to ensure QoS of a cyber-physical healthcare systemComputing10.1007/s00607-022-01058-5104:7(1615-1641)Online publication date: 23-Feb-2022
https://doi.org/10.1007/s00607-022-01058-5
Diva FPriyadi Y(2020)Designing Business Models through a Combination of BMC and UML Methods at Eiger Adventure Store BandungINTENSIF: Jurnal Ilmiah Penelitian dan Penerapan Teknologi Sistem Informasi10.29407/intensif.v4i2.140974:2(184-202)Online publication date: 19-Aug-2020
https://doi.org/10.29407/intensif.v4i2.14097
Kaluri RJajoo KJha VLin L(2020)A Structured Analysis and Design of a Mobile Repair Development System using a Grady Booch Approach2020 International Conference on Emerging Trends in Information Technology and Engineering (ic-ETITE)10.1109/ic-ETITE47903.2020.389(1-6)Online publication date: Feb-2020
https://doi.org/10.1109/ic-ETITE47903.2020.389
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents