Article

vUML: A Tool for Verifying UML Models

Authors:

Johan Lilius,

Ivan Porres PaltorAuthors Info & Claims

ASE '99: Proceedings of the 14th IEEE international conference on Automated software engineering

Page 255

Published: 12 October 1999 Publication History

Publisher Site

Abstract

The Unified Modeling Language (UML) is a standardized notation for describing object-oriented software designs. We present vUML, a tool that automatically verifies UML models where the behavior of the objects is described using UML State-charts diagrams. The tool uses the SPIN model checker to perform the verification, but the user does not have to know how to use SPIN or the PROMELA language. If an error is found during the verification, the tool creates a UML sequence diagram showing how to reproduce the error in the model.

Cited By

View all

Antonino PGibson-Robinson TRoscoe A(2019)Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT SolvingACM Transactions on Software Engineering and Methodology10.1145/333514928:3(1-43)Online publication date: 18-Jul-2019
https://dl.acm.org/doi/10.1145/3335149
Chren SBuhnova BMacak MDaubner LRossi BBeecham SDamian D(2019)Mistakes in UML diagramsProceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training10.1109/ICSE-SEET.2019.00019(100-109)Online publication date: 27-May-2019
https://dl.acm.org/doi/10.1109/ICSE-SEET.2019.00019
Gabmeyer SKaufmann PSeidl MGogolla MKappel G(2019)A feature-based classification of formal verification techniques for software modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0591-z18:1(473-498)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0591-z
Show More Cited By

vUML: A Tool for Verifying UML Models
1. Networks
  1. Network types
2. Software and its engineering
  1. Software creation and management
    1. Software development techniques
  2. Software notations and tools
    1. General programming languages

Recommendations

vUML: a Tool for Verifying UML Models
A Formal Approach to Model Composition Applied to VUML
ICECCS '11: Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems

Several approaches adopted by the software engineering community rely on the principle of multi-modeling which allows to separate concerns and to model a system as a set of less complex sub-models. Model composition is a crucial activity in Model Driven ...
VUML: a viewpoint oriented UML extension
ASE'03: Proceedings of the 18th IEEE International Conference on Automated Software Engineering

Comments

Information & Contributors

Information

Published In

ASE '99: Proceedings of the 14th IEEE international conference on Automated software engineering

October 1999

ISBN:0769504159

Publisher

IEEE Computer Society

United States

Publication History

Published: 12 October 1999

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

46
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Antonino PGibson-Robinson TRoscoe A(2019)Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT SolvingACM Transactions on Software Engineering and Methodology10.1145/333514928:3(1-43)Online publication date: 18-Jul-2019
https://dl.acm.org/doi/10.1145/3335149
Chren SBuhnova BMacak MDaubner LRossi BBeecham SDamian D(2019)Mistakes in UML diagramsProceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training10.1109/ICSE-SEET.2019.00019(100-109)Online publication date: 27-May-2019
https://dl.acm.org/doi/10.1109/ICSE-SEET.2019.00019
Gabmeyer SKaufmann PSeidl MGogolla MKappel G(2019)A feature-based classification of formal verification techniques for software modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0591-z18:1(473-498)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0591-z
Baresi LMorzenti AMotta AK. MRossi M(2017)A Logic-Based Approach for the Verification of UML Timed ModelsACM Transactions on Software Engineering and Methodology10.1145/310641126:2(1-47)Online publication date: 18-Sep-2017
https://dl.acm.org/doi/10.1145/3106411
Planas ECabot JGómez C(2016)Lightweight and static verification of UML executable modelsComputer Languages, Systems and Structures10.1016/j.cl.2016.07.00246:C(66-90)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1016/j.cl.2016.07.002
Przigoda NHilken CWille RPeleska JDrechsler RLethbridge T(2015)Checking concurrent behavior in UML/OCL modelsProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351760(176-185)Online publication date: 30-Sep-2015
https://dl.acm.org/doi/10.5555/3351736.3351760
Meyers BWimmer MVangheluwe HDenil JGray JKelly SSprinkle J(2013)Towards domain-specific property languagesProceedings of the 2013 ACM workshop on Domain-specific modeling10.1145/2541928.2541936(39-44)Online publication date: 27-Oct-2013
https://dl.acm.org/doi/10.1145/2541928.2541936
Liu SLiu YSun JZheng MWadhwa BDong JMeyer BBaresi LMezini M(2013)USMMC: a self-contained model checker for UML state machinesProceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering10.1145/2491411.2494595(623-626)Online publication date: 18-Aug-2013
https://dl.acm.org/doi/10.1145/2491411.2494595
Guerra ELara JKolovos DPaige RSantos O(2013)Engineering model transformations with transMLSoftware and Systems Modeling (SoSyM)10.1007/s10270-011-0211-212:3(555-577)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1007/s10270-011-0211-2
Banerjee ARay SDasgupta PChakrabarti PRamesh SVignesh PGanesan V(2012)A dynamic assertion-based verification platform for validation of UML designsACM SIGSOFT Software Engineering Notes10.1145/2088883.208889137:1(1-14)Online publication date: 27-Jan-2012
https://dl.acm.org/doi/10.1145/2088883.2088891
Show More Cited By

Abstract

Cited By

Recommendations