Checking for consistency between different UML models

Peter Green, Kinika Tasie-Amadi

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    The development of software with UML necessitates the construction of several models representing the system from different perspectives. It is important to ensure that the behaviour of the different models is consistent, but for complex systems this is difficult to accomplish manually. Hence, in this paper, an automated approach to verifying consistency between different UML behavioural models is presented. The behaviour of use cases and classes is represented by state machines, and these models, along with sequence diagrams representing use case scenarios, are automatically translated into machine-readable CSP by the UML2CSP tool developed as part of this work. The CSP representations of these three models are then checked for consistency via the CSP model-checker FDR.
    Original languageEnglish
    Title of host publicationProceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005|Proc. IASTED Int. Conf. Softw. Eng.: part 23rd IASTED Int. Multi-Conf. Appl. Informatics, SE
    PublisherACTA Press
    Pages378-383
    Number of pages5
    ISBN (Print)0889864640, 9780889864641
    Publication statusPublished - 2005
    EventIASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005 - Innsbruck
    Duration: 1 Jul 2005 → …

    Conference

    ConferenceIASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005
    CityInnsbruck
    Period1/07/05 → …

    Keywords

    • Model-checking
    • UML

    Fingerprint

    Dive into the research topics of 'Checking for consistency between different UML models'. Together they form a unique fingerprint.

    Cite this