Return to Article Details Formal approach to modeling of modern information systems Download Download PDF