Geodesic
A model-driven approach for government services specification
Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 4 (2012), pp. 102-116 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

There is a lot of research and practical activities in e-government area at the moment. However, it still lacks methods for formal specification of e-government services. Such methods might significantly help in e-government services development due to simplification of discussions and validation of specifications: domain experts could perceive and check specifications easier than texts or ready software. It should be also possible to generate target code and tests for e-government services, to automatically verify specifications and get other benefits of model-driven development. But it is uneasy to use model-driven techniques directly for the reason of the domain area specifics. The most important one is a necessity of unified specification style of the different services of the area (the same terms, document names, etc.). In this paper, we adapt the model-driven approach to development of e-government services specifications. Following the method, ontology of the domain should be developed. Basing on this ontology, the models of particular services of the domain should be also created: behavior model (BPMN), document model (feature diagrams) and information model (constraints, pieces of information etc.). We also describe how we used the method in Russian-Finish project “Improving Social Services” that is dedicated to development of formal specifications and Web-system for government services for Finns in Russia and Russians in Finland.
Keywords: model-driven development, government services, e-government services, feature diagrams.
Mots-clés : ontologies, BPMN 
@article{VSPUI_2012_4_a10,
     author = {D. V. Koznov and A. V. Azarskov and A. V. Samochadin and J. A. Chevzova and K. Yu. Romanovsky},
     title = {A model-driven approach for government services specification},
     journal = {Vestnik Sankt-Peterburgskogo universiteta. Prikladna\^a matematika, informatika, processy upravleni\^a},
     pages = {102--116},
     year = {2012},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSPUI_2012_4_a10/}
}
TY  - JOUR
AU  - D. V. Koznov
AU  - A. V. Azarskov
AU  - A. V. Samochadin
AU  - J. A. Chevzova
AU  - K. Yu. Romanovsky
TI  - A model-driven approach for government services specification
JO  - Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
PY  - 2012
SP  - 102
EP  - 116
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/VSPUI_2012_4_a10/
LA  - ru
ID  - VSPUI_2012_4_a10
ER  - 
%0 Journal Article
%A D. V. Koznov
%A A. V. Azarskov
%A A. V. Samochadin
%A J. A. Chevzova
%A K. Yu. Romanovsky
%T A model-driven approach for government services specification
%J Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
%D 2012
%P 102-116
%N 4
%U http://geodesic.mathdoc.fr/item/VSPUI_2012_4_a10/
%G ru
%F VSPUI_2012_4_a10
D. V. Koznov; A. V. Azarskov; A. V. Samochadin; J. A. Chevzova; K. Yu. Romanovsky. A model-driven approach for government services specification. Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 4 (2012), pp. 102-116. http://geodesic.mathdoc.fr/item/VSPUI_2012_4_a10/

[1] Shareef M. A., Archer N., Dutta S., E-Government Service Maturity and Development: Cultural, Organizational and Technological Perspectives, Information Science Publ., 2011, 356 pp.

[2] Al Ajeeli A. T., Al Bastaki Y. A. L., Handbook of Research on E-Services in the Public Sector: E-Government Strategies and Advancements, 2010, 576 pp.

[3] Mitrakas A., Hengeveld P., Polemi D., Gamper J., Secure E-Government Web Services, 2007, 340 pp.

[4] Hogrebe F., Blinn N., Nottgens M., “Survey of E-Government Portals in European Capitals and Large Cities: A Benchmarking Study of G2B-Services”, EGOV, 2009, 188–197

[5] Tambouris E., Gorilas S., Kavadias G. e. a., “Ontology-Enabled E-gov Service Configuration: An Overview of the OntoGov Project”, KMGov., 2004, 122–127

[6] Peristeras V., Loutas N., Goudos S. K., Tarabanis K. A., “A conceptual analysis of semantic conflicts in pan-European e-government services”, J. Information Science (JIS), 34:6 (2008), 877–891 | DOI

[7] Smith M. L., “Limitations to building institutional trustworthiness through e-government: a comparative study of two e-services in Chile”, JIT, 26:1 (2011), 78–93

[8] Nung Chu C. N., “Requirements of the Vision Impairments for E-Government Services in Taiwan from Accessibility to Efficiency”, ICCHP, 2010, 464–467

[9] Dorasamy M., Marimuthu M., Raman M., Kaliannan M., “E-Government Services Online: An Exploratory Study on Tax E-Filing in Malaysia”, IJEGR, 6:4 (2010), 12–24

[10] Rorissa A., Demissie D., “The State of the Art of E-Government Services in Africa: An Analysis of Relevant Websites”, HICSS, 2009, 1–8

[11] Kaaya J., “Determining Types of Services and Targeted Users of Emerging E-Government Strategies: The Case of Tanzania”, IJEGR, 5:2 (2009), 16–36

[12] Stefan V., Stefan A., “Live Services for Citizens with Live Technologies — e-Payment in Romania as First Step to an Effective e-Government”, WEBIST, 2008, 503–506

[13] Al-hassan M., Lu H., Lu J., “A Framework for Delivering Personalized e-Government Tourism Services”, WEBIST, 2010, 263–270

[14] Mocan A., Facca F. M., Loutas N. e. a., “Solving Semantic Interoperability Conflicts in Cross-Border E-Government Services”, Intern. J. Semantic Web Inf. Syst. (IJSWIS), 5:1 (2009), 1–47 | DOI

[15] Buch G., Maksimchuk R. A., Engl M. i dr., Ob'ektno-orientirovannyi analiz i proektirovanie s primerami prilozhenii, 3-e izd., Izd-vo «Vilyams», M., 2008, 721 pp.

[16] Terekhov A. N., Romanovskii K. Yu., Koznov D. V. e. a., “RTST++: Methodology and CASE-tool for development of information systems and software for real-time systems”, Programming and Computer Software, 25:5 (1999), 276–281 | MR | Zbl

[17] Pavlinov A. A., Koznov D. V., Peregudov A. F. i dr., “O sredstvakh razrabotki problemno-orientirovannykh vizualnykh yazykov”, Sistemnoe programmirovanie, 2:1 (2006), 116–141

[18] Business Process Model and Notation (BPMN), Version 1.2. OMG formal/2009–01–03, , 2009, 316 pp. http://www.omg.org/spec/BPMN/1.2

[19] Kang K., Cohen S., Hess J. e. a., Feature-Oriented Domain Analysis (FODA) Feasibility Study, technical Report, CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, 1990

[20] Koznov D. V., Romanovsky K. Yu., “DocLine: A method for software product line documentation development”, Programming and Computer Software, 34:4 (2008), 216–224 | DOI | Zbl

[21] Koznov D. V., Romanovskii K. Yu., “DocLine: Metod razrabotki dokumentatsii semeistv programmnykh produktov”, Programmirovanie, 34:4 (2008), 41–53

[22] Lu R., Sadiq S. W., “A Survey of Comparative Business Process Modeling Approaches”, BIS, 2007, 82–94

[23] Van der Linden F. J., Schmid K., Rommes E., Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering, Springer, 2010, 353 pp.

[24] Koznov D. V., Romanovskii K. Yu., “Avtomatizirovannyi refaktoring dokumentatsii semeistv programmnykh produktov”, Sistemnoe programmirovanie, 4 (2009), 128–150

[25] Koznov D. V., Smirnov M. N., Dorokhov V. A., Romanovskii K. Yu., “WebMLDoc: podkhod k avtomaticheskomu otslezhivaniyu izmenenii v polzovatelskoi dokumentatsii Web-prilozhenii”, Vestn. S.-Peterb. un-ta. Ser. 10: Prikladnaya matematika, informatika, protsessy upravleniya, 2011, no. 3, 112–126

[26] Romanovskii K. Yu., Koznov D. V., “Yazyk DRL dlya proektirovaniya i razrabotki dokumentatsii semeistv programmnykh produktov”, Vestn. S.-Peterb. un-ta. Ser. 10: Prikladnaya matematika, informatika, protsessy upravleniya, 2007, no. 4, 1–16

[27] Romanovskii K. Yu., “Razrabotka povtorno ispolzuemoi dokumentatsii semeistva programmnykh produktov sredstvami tekhnologii DocLine”, Vestn. S.-Peterb. un-ta. Ser. 10: Prikladnaya matematika, informatika, protsessy upravleniya, 2009, no. 2, 166–180 | MR

[28] Romanovskii K. Yu., “Metod razrabotki dokumentatsii semeistv programmnykh produktov”, Sistemnoe programmirovanie, 2:1 (2006), 191–218

[29] Smirnov M. N., Koznov D. V., Dorokhov V. A., Romanovskii K. Yu., “Programmnaya sreda WebMLDoc dlya avtomatizirovannogo otslezhivaniya izmenenii polzovatelskoi dokumentatsii Web-prilozhenii”, Sistemnoe programmirovanie, 5:1 (2010), 32–51

[30] http://www.w3.org/XML/Schema

[31] Ivanov A., Koznov D., “REAL-IT: Model-Based User Interface Development Environment”, Proc. of IEEE/NASA ISoLA 2005, Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (Loyola College Graduate Center Columbia, Maryland, USA, 23–24 September 2005), 31–41 | Zbl

[32] Kontseptsiya administrativnoi reformy v Rossiiskoi federatsii v 2006–2010 godakh, V red. rasporyazheniya Pravitelstva RF ot 09.02.2008 No 157-r, Postanovleniya Pravitelstva RF ot 28.03.2008 No 221

[33] Azarskov A. V., Samochadin A. V., “Formirovanie ponyatiinoi struktury dlya ontologii gosudarstvennykh uslug”, Nauch.-tekhnich. vedomosti S.-Peterb. gos. politekhn. un-ta, 2011, no. 121, 270–274