Visualization and interpretation of analysis results within the context of formalized UML diagrams
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Performance Validation of Fault-Tolerance Software: A Compositional Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Proceedings of the 25th International Conference on Software Engineering
TOWARDS A UNIFIED TEST PROCESS: FROM UML TO END-OF-LINE FUNCTIONAL TEST
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Model Checking for an Executable Subset of UML
Proceedings of the 16th IEEE international conference on Automated software engineering
LfP: A Specification Language for Rapid Prototyping of Concurrent Systems
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Evaluating dynamic correctness properties of domain reference architectures
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
Improving UML Design Tools by Formal Games
Proceedings of the 26th International Conference on Software Engineering
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward an integratred verification environment for embedded systems
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
GUIDE: Games with UML for interactive design exploration
Knowledge-Based Systems
On The Evolution Of Reliability Methods For Critical Software
Journal of Integrated Design & Process Science - Applications of formal methods
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Scenario-Based Static Analysis of UML Class Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
GUIDE: Games with UML for Interactive Design Exploration
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
A New Approach to Model Checking of UML State Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Verifying Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
An Environment for the Development of Concurrent Object-Based Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
LSC Verification for UML Models with Unbounded Creation and Destruction
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Quality analysis of dependable systems: a developer oriented approach
Architecting dependable systems
Model checking of extended OCL constraints on UML models in SOCLe
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Generating transformation rules from examples for behavioral models
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A prototype development of ET rescue robot by using a UML
ICICS'09 Proceedings of the 7th international conference on Information, communications and signal processing
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
Formal verification of UML state diagrams: a petri net based approach
ACM SIGSOFT Software Engineering Notes
Automatically discovering properties that specify the latent behavior of UML models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Automatic generation of model checking scripts based on environment modeling
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Parametric model checking with verICS
Transactions on Petri nets and other models of concurrency IV
A knowledge-based object modeling advisor for developing quality object models
Expert Systems with Applications: An International Journal
Lightweight verification of executable models
ER'11 Proceedings of the 30th international conference on Conceptual modeling
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A dynamic assertion-based verification platform for validation of UML designs
ACM SIGSOFT Software Engineering Notes
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Automated analysis of natural language properties for UML models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Example-Based sequence diagrams to colored petri nets transformation using heuristic search
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Towards checking parametric reachability for UML state machines
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
A precise approach for the analysis of the UML models consistency
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Time properties verification framework for UML-MARTE safety critical real-time systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
A New Approach to Model Checking of UML State Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Leveraging formal verification tools for DSML users: a process modeling case study
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
USMMC: a self-contained model checker for UML state machines
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Towards domain-specific property languages: the ProMoBox approach
Proceedings of the 2013 ACM workshop on Domain-specific modeling
| Hi-index | 0.00 |
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.