Sciweavers

Share
JUCS
2000

Use of E-LOTOS in Adding Formality to UML

8 years 8 months ago
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.
Robert G. Clark, Ana M. D. Moreira
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where JUCS
Authors Robert G. Clark, Ana M. D. Moreira
Comments (0)
books