Use of E-LOTOS in Adding Formality to UML

: 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. 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. Key Words: UML, E-LOTOS, formal modelling, inconsistent specifications.

• Type: Journal
• Year: 2000
• Where: JUCS
• Authors: Robert G. Clark, Ana M. D. Moreira
• Keywords: Formal Meaning, JUCS 2000, Specification Language Lotos, UML Models