Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 6 / Issue 11

available in:   HTML (40 kB) PDF (185 kB) PS (66 kB)
Similar Docs BibTeX   Write a comment
Links into Future


Use of E-LOTOS in Adding Formality to UML

Robert Clark (University of Stirling, UK)

Ana Moreira (Universidade Nova de Lisboa, Portugal)

Abstract: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover inconsistencies in, UML models. As part of this work, we give mappings from UML constructs to E-LOTOS. Emphasis is placed on dealing with UML use case, class and interaction diagrams as these play the dominant part in the development of a UML analysis or high-level design model. Requirements are usually inconsistent and incomplete and we deal with how this can be modelled in a formal language.

Keywords: E-LOTOS, UML, formal modelling, inconsistent specifications