Use of E-LOTOS in adding formality to UML

MaRDI QIDQ2709233zbMATH OpenFDO

Authors Robert Clark, Ana Moreira

Publication date 10 May 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

Full work available at URL http://www.jucs.org/jucs_6_11/use_of_e_lotos

zbMATH Keywords

E-LOTOSLOTOS

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
• The unified modeling language
• USE: A UML-based specification environment for validating UML and OCL
• Formalising the UML in structured temporal theories
• scientific article; zbMATH DE number 1949631

Cited in

(2)

• E-LOTOS
• Multimedia in the E-LOTOS process algebra

This page was built for publication: Use of E-LOTOS in adding formality to UML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2709233)