Класс информационных систем, рассматриваемый в этой работе, определяется следующим образом: система принадлежит этому классу, если ее изменение может быть вызвано как ее окружением, так и факторами внутри системы, и имеется передача информация из нее в ее окружение и из ее окружения в нее. В этой работе предложены два формализма (информационные системы переходов и концептуальные системы переходов) для абстрактного унифицированного моделирования артефактов (концептуальных набросков и моделей) концептуального дизайна информационных систем этого класса, ранней стадии процесса проектирования информационных систем. Информационные системы переходов определяют абстрактную унифицированную информационную модель для артефактов, основанную на таких общих понятиях как состояние, информационный запрос и ответ. Концептуальные системы переходов являются формализмом для концептуального моделирования информационных систем переходов. Они определяют абстрактную унифицированную концептуальную модель для артефактов. Даны базовые определения теории концептуальных систем переходов. Определен язык концептуальных систем переходов.