Page 25 - 4130

primarily for modeling large object-oriented (Java, C++, C#)
programs and design patterns.
 Unified Modeling Language (UML) is a general modeling
language to describe software both structurally and
behaviorally. It has a graphical notation and allows for
extension with a Profile (UML).
 Alloy (specification language) is a general purpose
specification language for expressing complex structural
constraints and behavior in a software system. It provides a
concise language based on first-order relational logic.
 Systems Modeling Language (SysML) is a new general-
purpose modeling language for systems engineering.

Task 3. Do you remember the English equivalents of the
following words and word combinations?
Послідовна інструкція, універсальна мова моделювання даних,
вартий уваги, онтології моделювання, структурне
програмування, відповідності, об’єктно-орієнтований,
поведінково, графічна система позначень, розширення,
структурні обмеження, стисла мова.

Task 4. Answer the following questions?
1. What is a modeling language?
2. What is the classification of modeling languages?
3. Give examples of graphical modeling languages.

23