Chemical methods of synthesis of materials play a crucial role in the design and discovery of
new materials, and also provide better and less cumbersome methods for preparing known …

Alloy is a little language for describing structural properties. It offers a declaration syntax
compatible with graphical object models, and a set-based formula syntax powerful enough …

This paper presents an approach and a tool to increase specification quality by using a
combination of UML and formal languages. Our approach is based on the expression of the …

We present a formal semantics for the Object Constraint Language (OCL) which is part of the
Unified Modeling Language (UML)–an emerging standard language and notation for object …

Abstract The Unified Modeling Language (UML) is a widely accepted standard for modeling
software systems. The UML supports object-oriented approaches to software development …

To produce a precise and analyzable software model, it is essential for the modeling
technique to have formality in the syntax and the semantics of its notation, and to allow …

This paper presents a precise and descriptive semantics for core modeling concepts in
Object-Z and a formal description for UML class constructs. Given the formal descriptions, it …

Abstract The Unified Modeling Language UML is a complex language offering many
modeling features. Especially the description of static structures with class diagrams is …

UML is a complex language with many modeling features. In particular, the modeling of
static structures with class diagrams is supported by a rich set of description primitives. We …

Formal specification techniques provide precise and analyzable software specifications.
However, the formal notations provided by most formal specification techniques are not easy …