Аннотация:
Обсуждается комплекс моделей, составляющих основу методов “компьютеризированной системной инженерии” (CASE-технологии). Наряду с известными статическими моделями комплекс содержит динамические модели на базе сетей Петри с “раскрашенными” маркерами. Рассмотрены методы порождения и преобразования моделей.
Статья содержит как обзорный материал по CASE-технологии, так и предложения авторов по ее развитию.