Using Structural Polymorphism in Creating Process-Based Management Information Systems
- 1 Downloads
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.
Keywordsstructural polymorphism process-based management information systems design data handling language
Unable to display preview. Download preview PDF.
- 1.ARIS scripting tutorials. http://www.ariscommunity.com/users/eva-klein/2010-04-27-aris-scripting-tutorials. Accessed May 1, 2018.Google Scholar
- 3.Lammel, R. and Visser, J., Typed combinators for generic traversal, Practical Aspects of Declarative Languages: 4th International Symposium, 2002.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
- 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
- 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