PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
Metamodel-based model conformance and multiview consistency checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Comparing multiple state diagrams to sequence diagrams using super state analysis
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Reducing multiplicities in class diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
| Hi-index | 0.00 |
In this article, we present an approach to defining UML diagrams in terms of state predicates and using the theorem prover PVS (Prototype Verification System) to verify consistency between various diagrams. We focus on the dynamic aspects of the various diagrams. Our approach can easily handle partially specified systems as the behaviour is described in terms of the history of the computation.