Skip to main content
SpringerLink
Log in

Formalizing Requirement Specifications for Problem Solving in a Research Domain

  • Conference paper
  • First Online:
New Trends in Databases and Information Systems (ADBIS 2019)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1064))

Included in the following conference series:

Abstract

The paper presents the research of a methodology of conceptual scheme development to solve problems in subject domains. A semantic approach to domain model specifications building is principal for it. The development process involves formulating a model of requirements to the domain from verbal specifications of domain requirements, developing a domain ontology, transforming it into a conceptual scheme, and reusing domain knowledge specifications in the domain. Relevant data sources are mapped to conceptual schemes of domains in data infrastructures. Requirement specifications are implemented over conceptual schemes for entity resolution and problem-solving in domains using accessible data sources.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12-1990

    Google Scholar 

  2. OWL 2 Web Ontology Language Document Overview, Second edn. W3C (2012). http://www.w3.org/TR/owl-overview/

  3. About the Unified Modeling Language Specification Version 2.0. OMG (2011). https://www.omg.org/spec/UML/2.0/

  4. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)

    Google Scholar 

  5. Boley, H., Kifer, M. (eds.): RIF Framework for Logic Dialects. W3C Recommendation, 2nd edn. W3C (2013)

    Google Scholar 

  6. Boley, H., Kifer, M. (eds.): RIF Basic Logic Dialect. W3C Recommendation, 2nd edn. W3C (2013)

    Google Scholar 

  7. Brodie, M.L., Mylopoulos J., Schmidt, J.W. (eds.): On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Language. Springer, New York (1984). https://doi.org/10.1007/978-1-4612-5196-5. ISBN 978-1-4612-9732-1

    Google Scholar 

  8. Conesa, J., Olivé, A.: Pruning ontologies in the development of conceptual schemas of information systems. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.W. (eds.) ER 2004. LNCS, vol. 3288, pp. 122–135. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30464-7_11

    Google Scholar 

  9. De Nicola, A., Missikoff, M.: A lightweight methodology for rapid ontology engineering. Commun. ACM 59(3), 79–86 (2016). https://doi.org/10.1145/2818359

    Article  Google Scholar 

  10. Fernández-López, M., Gómez-Pérez, A.: Overview and analysis of methodologies for building ontologies. J. Knowl. Eng. Rev. 17(2), 129–156 (2002)

    Article  Google Scholar 

  11. Fonseca, F., Martin, J.: Learning the differences between ontologies and conceptual schemas through ontology-driven information systems. J. Assoc. Inf. Syst. – Spec. Issue Ontol. Context IS 8(2), Article 3 (2007). http://www.personal.psu.edu/faculty/f/u/fuf1/publications/Fonseca_Martin_Ontologies_and_Schemas_Abstract.pdf

  12. Helbig, H., Gnörlich, C.: Multilayered extended semantic networks as a language for meaning representation in NLP systems. In: Gelbukh, A. (ed.) CICLing 2002. LNCS, vol. 2276, pp. 69–85. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45715-1_6

    Chapter  Google Scholar 

  13. Jiang, L., Topaloglou T., Borgida, A., Mylopoulos, J.: Goal-oriented conceptual database design. In: Conference on Requirements Engineering (RE 2007), Delhi (2007)

    Google Scholar 

  14. Kalinichenko, L.A., Stupnikov, S.A., Martynov, D.O.: SYNTHESIS: a Language for Canonical Information Modeling and Mediator Definition for Problem Solving in Heterogeneous Information Resource Environments, 171 p. IPI RAN, Moscow (2007)

    Google Scholar 

  15. La-Ongsri, S., Roddick, J.F.: Incorporating ontology-based semantics into conceptual modelling. Inf. Syst. 52, 1–20 (2015). https://doi.org/10.1016/j.is.2015.02.003

    Article  Google Scholar 

  16. Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-driven design and configuration management of business processes. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 246–261. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75183-0_18

    Chapter  Google Scholar 

  17. McLeod, D., Smith, J.M. (eds.): Abstraction in databases. In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modeling, SIGMOD Record, vol. 11, no. 2 (1981)

    Google Scholar 

  18. Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and minimum-cost satisfiability for goal models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20–35. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25975-6_4

    Chapter  Google Scholar 

  19. Serna, E.M., Serna, A.A., Bachiller, O.S.: A framework for knowledge management in requirements engineering. Int. J. Knowl. Manag. Stud. 9(1), 31–50 (2018). https://doi.org/10.1504/IJKMS.2018.089694

    Article  Google Scholar 

  20. Spyns, P., Meersman, R., Jarrar, M.: Data modelling versus ontology engineering. SIGMOD Rec. 31(4), 12–17 (2002)

    Article  Google Scholar 

  21. Stupnikov, S.: Rule-based specification and implementation of multimodel data integration. In: Kalinichenko, L., Manolopoulos, Y., Malkov, O., Skvortsov, N., Stupnikov, S., Sukhomlin, V. (eds.) DAMDID/RCDL 2017. CCIS, vol. 822, pp. 198–212. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96553-6_15

    Chapter  Google Scholar 

  22. Suárez-Figueroa, M.C., Gómez-Pérez, A., Fernandez-Lopez, M.: The NeOn methodology framework: a scenario-based methodology for ontology development. Appl. Ontol. 10(2), 107–145 (2015). https://doi.org/10.3233/AO-150145

    Article  Google Scholar 

  23. Sugumaran, V., Storey, V.: The role of domain ontologies in database design – an ontology management and conceptual modeling environment. ACM Trans. Database Syst. 31(3), 1064–1094 (2006)

    Article  Google Scholar 

  24. Smith, J.M., Smith, D.C.P.: Database abstraction: aggregation and generalization. ACM TODS 2(2), 105–133 (1977)

    Article  Google Scholar 

  25. Sundgren, B.: An infological approach to data bases. Urval, N7. National Central Bureau of Statistics, Stockholm, Sweden (1973)

    Google Scholar 

  26. Vovchenko, A.E., et al.: From specifications of requirements to conceptual schema. In: Proceedings of the 12th Russian Conference on Digital Libraries RCDL 2010, pp. 375–381. Kazan Federal University, Kazan (2010). (in Russian)

    Google Scholar 

Download references

Acknowledgments

The work has been supported by the Russian Foundation of Fundamental Research (grants 18-07-01434, 18-29-22096, 19-07-01198).

Author information

Authors and Affiliations

  1. Institute of Informatics Problems, Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences, Moscow, Russia

    Nikolay A. Skvortsov & Sergey A. Stupnikov

Authors
  1. Nikolay A. Skvortsov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergey A. Stupnikov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nikolay A. Skvortsov .

Editor information

Editors and Affiliations

  1. University of Maribor, Maribor, Slovenia

    Tatjana Welzer

  2. Alpen Adria University Klagenfurt, Klagenfurt am Wörthersee, Austria

    Johann Eder

  3. University of Maribor, Maribor, Slovenia

    Vili Podgorelec

  4. Poznan University of Technology, Poznan, Poland

    Robert Wrembel

  5. University of Novi Sad, Novi Sad, Serbia

    Mirjana Ivanović

  6. Free University of Bozen-Bolzano, Bolzano, Italy

    Johann Gamper

  7. Poznań University of Technology, Poznan, Poland

    Mikoƚaj Morzy

  8. University of Thessaly, Lamia, Greece

    Theodoros Tzouramanis

  9. Université Lumière Lyon 2, Lyon, France

    Jérôme Darmont

  10. University of Maribor, Maribor, Slovenia

    Aida Kamišalić Latifić

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Skvortsov, N.A., Stupnikov, S.A. (2019). Formalizing Requirement Specifications for Problem Solving in a Research Domain. In: Welzer, T., et al. New Trends in Databases and Information Systems. ADBIS 2019. Communications in Computer and Information Science, vol 1064. Springer, Cham. https://doi.org/10.1007/978-3-030-30278-8_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-30278-8_29

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-30277-1

  • Online ISBN: 978-3-030-30278-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation