Applicative Approach to Information Processes Modeling - Towards a Constructive Information Theory

Viacheslav Wolfengagen, Vladimir Roslovtsev, Leonid Shumsky, Artyom Bohulenkov, Artyom Sakhatskiy

2013

Abstract

The goal of this work is to present an approach to constructive definition of information processes and objects. Our approach is based on applicative computational systems (ACS), so that both (information) processes and objects are formal entities in an ACS. We also outline the usage of π-calculus as an operational semantics for our constructive processes execution. The usage of the presented ideas in a distributed application development framework is outlined.

References

  1. Codd, E. F., 1979. Extending the Database Relational Model to Capture More Meaning. In ACM Transactions on Database Systems, Vol. 4, No. 4, 1979, pp. 397-434.
  2. Date, C. J., Darwen, H., 2000. Foundation for Future Database Systems. The Third Manifesto. 2nd edition. Addison Wesley Longman, Inc.
  3. Roslovtsev, V. V., Luchin, A. E., 2009. Concept of Higher-Order Applicative Computational Environment. In Proceedings of the 11th international workshop on computer science and information technologies CSIT'2009, pp. 48-53.
  4. Roslovtsev, V. V., Shumsky, L. D., 2012a. Applicative Methods of Computational Process Decomposition. [In Russian.] In Proceedings of the 3rd International Conference on Applicative computation Systems (ACS'2012). NEI Institute of Contemporary Education “JurInfoR-MGU”, Moscow, Russia. pp. 224-233.
  5. Roslovtsev, V. V., Shumsky, L. D., 2012b. Developing a Service Bus for Computational Process Distributing Environment. [In Russian.] In Proceedings of the 3rd International Conference on Applicative computation Systems (ACS'2012). NEI Institute of Contemporary Education “JurInfoR-MGU”, Moscow, Russia. pp. 258-265.
  6. Scott, D., 1971. The Lattice of Flow Diagrams. Lecture Notes in Mathematics, Vol. 188. - Springer. - pp. 311-366.
  7. Roussopulos, N. D., 1977. A semantic network model of data bases. Ph.D. Thesis. Dep. of Computer Science, University of Toronto.
  8. Wolfengagen, W. E., 1984. Frame Theory and Computations. In Computers and Artificial Intelligence, Vol. 3, No. 1, 1984. pp. 3-32.
  9. Wolfengagen, W. E., 2004. Methods and Means for Computations with Objects. Applicative Computational Systems. "Center JurInfoR", Moscow, Russia. [In Russian].
  10. Wolfengagen, W. E., 2010a. Applicative computing. Its quarks, atoms and molecules. Edited by Dr. L.Yu. Ismailova. “Center JurInfoR”, Moscow, Russia.
  11. Wolfengagen, W. E., 2010b. The Parameterized Relational Model. Towards 40th Anniversary of Relational Data Model. In Proceedings of the Second International Conference on Applicative Computational Systems. NEI Institute of Contemporary Education “JurInfoRMGU”, Moscow, Russia.
Download


Paper Citation


in Harvard Style

Wolfengagen V., Roslovtsev V., Shumsky L., Bohulenkov A. and Sakhatskiy A. (2013). Applicative Approach to Information Processes Modeling - Towards a Constructive Information Theory . In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 323-328. DOI: 10.5220/0004563303230328


in Bibtex Style

@conference{iceis13,
author={Viacheslav Wolfengagen and Vladimir Roslovtsev and Leonid Shumsky and Artyom Bohulenkov and Artyom Sakhatskiy},
title={Applicative Approach to Information Processes Modeling - Towards a Constructive Information Theory},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2013},
pages={323-328},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004563303230328},
isbn={978-989-8565-60-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Applicative Approach to Information Processes Modeling - Towards a Constructive Information Theory
SN - 978-989-8565-60-0
AU - Wolfengagen V.
AU - Roslovtsev V.
AU - Shumsky L.
AU - Bohulenkov A.
AU - Sakhatskiy A.
PY - 2013
SP - 323
EP - 328
DO - 10.5220/0004563303230328