Use of E-LOTOS in Adding Formality to UML
| dc.creator | Clark,Robert | |
| dc.creator | Moreira,Ana | |
| dc.date | 2000 | |
| dc.date.accessioned | 2024-02-06T12:50:51Z | |
| dc.date.available | 2024-02-06T12:50:51Z | |
| dc.description | 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. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-006-11-1071 | |
| dc.identifier | https://lib.jucs.org/article/27730/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/7849 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 6(11): 1071-1087 | |
| dc.subject | UML | |
| dc.subject | E-LOTOS | |
| dc.subject | formal modelling | |
| dc.subject | inconsistent specifications | |
| dc.title | Use of E-LOTOS in Adding Formality to UML | |
| dc.type | Research Article |