Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

22

JUCS
2000

favoriteEmaildiscussreport

119views more JUCS 2000»

Use of E-LOTOS in Adding Formality to UML

13 years 6 months ago

Use of E-LOTOS in Adding Formality to UML

Download ctp.di.fct.unl.pt

: 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

Real-time Traffic

Formal Meaning | JUCS 2000 | Specification Language Lotos | UML Models |

claim paper

Related Content

» Using a Formal Language Constructs for Software Model Evolution

» A Minimalist Visual Notation for Design Patterns and Antipatterns

» On the suitability of UML 20 activity diagrams for business process modelling

» An Automated Approach to Transform Use Cases into Activity Diagrams

» Cell modeling with reusable agentbased formalisms

» Designing Data Warehouses for Geographic OLAP Querying by Using MDA

» Automatic synthesis and verification of realtime embedded software for mobile and ubiquito...

» A Safe Dynamic Adaptation Framework for AspectOriented Software Development

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	JUCS
Authors	Robert G. Clark, Ana M. D. Moreira

Comments (0)