Title :
Application of simulation-based software design solution
Author :
Aksyonov, Konstantin ; Bykov, Eugene ; Aksyonova, Olga ; Wang Kai
Author_Institution :
Ural Fed. Univ., Ekaterinburg, Russia
fDate :
May 31 2014-June 2 2014
Abstract :
The paper describes several model, where the computer-aided software design system BPsim.SD was used. Some of them were existing projects with available output data, and were used for system verification as the baseline deployments. Namely, the University Information System is the project of such kind, and has been developed earlier, partially by authors, who had all the initial data to be able to reproduce important aspects within the current system. Others became the real examples of system use, and allowed the customers to achieve benefit from automated software design. That is the development of software for the independent shareholders registry, including sub-system for documents registration, transfer agent exchange module and an electronic docflow system. Positive deployment experience proves effectiveness of presented software.
Keywords :
document handling; formal verification; automated software design; computer-aided software design system BPsim.SD; documents registration; electronic docflow system; independent shareholders registry; positive deployment experience; simulation-based software design solution; system verification; transfer agent exchange module; university information system; Consumer electronics; Educational institutions; Information systems; Personnel; Software; Unified modeling language; CASE tool; experiment; simulation; software design;
Conference_Titel :
Control and Decision Conference (2014 CCDC), The 26th Chinese
Conference_Location :
Changsha
Print_ISBN :
978-1-4799-3707-3
DOI :
10.1109/CCDC.2014.6852654