Skip to main content
SpringerLink
Log in

Using Structural Polymorphism in Creating Process-Based Management Information Systems

  • Information Systems
  • Published:
Automatic Documentation and Mathematical Linguistics Aims and scope

Abstract

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.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. ARIS scripting tutorials. http://www.ariscommunity.com/users/eva-klein/2010-04-27-aris-scripting-tutorials. Accessed May 1, 2018.

  2. Pierce, B.C., Types and Programming Languages, MIT Press, 2002.

    MATH  Google Scholar 

  3. Lammel, R. and Visser, J., Typed combinators for generic traversal, Practical Aspects of Declarative Languages: 4th International Symposium, 2002.

    Google Scholar 

  4. Booch, G., Object-Oriented Analysis and Design with Applications, Upper Saddle River, N.J.: Addison-Wesley, 2007, 3rd ed.

    MATH  Google Scholar 

  5. Strachey, C., Fundamental concepts in programming languages, Higher-Order Symb. Comput., 2000, vol. 13, nos. 1–2.

    Google Scholar 

  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. 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. 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. 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.

    Article  MATH  Google Scholar 

  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. Pottier, F., A versatile constraint-based type inference system, Nord. J. Comput., 2007 no. 4, pp. 312–347.

    MathSciNet  MATH  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. All-Russian Institute for Scientific and Technical Information (VINITI), Russian Academy of Sciences, Moscow, 125315, Russia

    V. N. Shvedenko

  2. OOO Regul+, St. Petersburg, 193231, Russia

    V. V. Shvedenko & O. V. Shchekochikhin

Authors
  1. V. N. Shvedenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. V. Shvedenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. O. V. Shchekochikhin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. N. Shvedenko.

Additional information

Original Russian Text © V.N. Shvedenko, V.V. Shvedenko, O.V. Shchekochikhin, 2018, published in Nauchno-Tekhnicheskaya Informatsiya, Seriya 2: Informatsionnye Protsessy i Sistemy, 2018, No. 11, pp. 9–15.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Shvedenko, V.N., Shvedenko, V.V. & Shchekochikhin, O.V. Using Structural Polymorphism in Creating Process-Based Management Information Systems. Autom. Doc. Math. Linguist. 52, 290–296 (2018). https://doi.org/10.3103/S0005105518060031

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0005105518060031

Keywords

Search

Navigation