DocumentCode
176370
Title
Application of simulation-based software design solution
Author
Aksyonov, Konstantin ; Bykov, Eugene ; Aksyonova, Olga ; Wang Kai
Author_Institution
Ural Fed. Univ., Ekaterinburg, Russia
fYear
2014
fDate
May 31 2014-June 2 2014
Firstpage
2825
Lastpage
2830
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Control and Decision Conference (2014 CCDC), The 26th Chinese
Conference_Location
Changsha
Print_ISBN
978-1-4799-3707-3
Type
conf
DOI
10.1109/CCDC.2014.6852654
Filename
6852654
Link To Document