Using Structural Polymorphism in Creating Process-Based Management Information Systems

  • V. N. ShvedenkoEmail author
  • V. V. Shvedenko
  • O. V. Shchekochikhin
Information Systems


This article considers the creation of information support for process-based management of production systems on the basis of structural polymorphism. A review of polymorphism by types is presented and their strengths and weaknesses are given. Structural polymorphism is given a new definition that expands its capabilities. In the new proposed approach to creating information resources and software, structural polymorphism is used in the concept-based logical design of the system, as well as in the information support and software implementation phase.


structural polymorphism process-based management information systems design data handling language 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ARIS scripting tutorials. Accessed May 1, 2018.Google Scholar
  2. 2.
    Pierce, B.C., Types and Programming Languages, MIT Press, 2002.zbMATHGoogle Scholar
  3. 3.
    Lammel, R. and Visser, J., Typed combinators for generic traversal, Practical Aspects of Declarative Languages: 4th International Symposium, 2002.Google Scholar
  4. 4.
    Booch, G., Object-Oriented Analysis and Design with Applications, Upper Saddle River, N.J.: Addison-Wesley, 2007, 3rd ed.zbMATHGoogle Scholar
  5. 5.
    Strachey, C., Fundamental concepts in programming languages, Higher-Order Symb. Comput., 2000, vol. 13, nos. 1–2.Google Scholar
  6. 6.
    Garrigue, J., Simple type inference for structural polymorphism, The Ninth International Workshop on Foundations of Object-Oriented Languages, Portland, OR, 2002.Google Scholar
  7. 7.
    Garrigue, J., A certified implementation of ML with structural polymorphism, Proc. Asian Symposium on Programming Languages and Systems; Lect. Notes Comput. Sci., 2010, vol. 6461, pp. 360–375.Google Scholar
  8. 8.
    Litvinov, V., Constraint-bounded polymorphism: An expressive and practical type system for object-oriented languages, PhD Thesis, Washington: University of Washington, 2003.Google Scholar
  9. 9.
    Millstein, T., Modular typechecking for hierarchically extensible datatypes and functions, Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, Pittsburgh, PA, 2002, vol. 37, no. 9, pp. 110–122.CrossRefzbMATHGoogle Scholar
  10. 10.
    Neubauer, M., Functional logic overloading, Conference Record of the 29th Symposium on Principles of Programming Languages, Portland, OR, 2002, pp. 233–244.Google Scholar
  11. 11.
    Pottier, F., A versatile constraint-based type inference system, Nord. J. Comput., 2007 no. 4, pp. 312–347.MathSciNetzbMATHGoogle Scholar
  12. 12.
    Tobin-Hochstadt, S., The design and implementation of typed scheme, Symposium on Principles of Programming Languages, San Francisco, CA, 2008, pp. 395–406.Google Scholar

Copyright information

© Allerton Press, Inc. 2018

Authors and Affiliations

  • V. N. Shvedenko
    • 1
    Email author
  • V. V. Shvedenko
    • 2
  • O. V. Shchekochikhin
    • 2
  1. 1.All-Russian Institute for Scientific and Technical Information (VINITI)Russian Academy of SciencesMoscowRussia
  2. 2.OOO Regul+St. PetersburgRussia

Personalised recommendations