informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-834Research ArticleАВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯCOMPUTER AIDED DESIGNЭФФЕКТИВНЫЕ ТРАНЗАКЦИОННЫЕ МОДЕЛИ В СИСТЕМАХ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИЛеоновичВ. В.Белорусский государственный университетBelarus20041802201902(02)120132Copyright © Леонович В.В., 20192019Леонович В.В.Леонович В.В.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/834

Рассматривается проблема транзакционной обработки данных в системах управления технологическими процессами. Дан обзор подходов и технологий к решению этой проблемы. Приведены общая терминология описания и способ анализа технологических процессов, позволяющие улучшить процесс разработки сложных распределенных программных комплексов.

ReferencesCoalition. Workflow Reference Model Specification. – The Workflow Management Coalition, 1995. – 55 p.Coalition. Workflow Reference Model Specification. – The Workflow Management Coalition, 1995. – 55 p.Date С. An introduction to database systems. V. 6. – Addison-Wesley Longman Inc, 1995. – 846 p.Date С. An introduction to database systems. V. 6. – Addison-Wesley Longman Inc, 1995. – 846 p.Connolly T. M., Begg C. E. Database Systems. A Practical Approach to Design, Implementation and Management. Third Edition. – Addison-Wesley, 2003. – 1440 p.Connolly T. M., Begg C. E. Database Systems. A Practical Approach to Design, Implementation and Management. Third Edition. – Addison-Wesley, 2003. – 1440 p.Worah D., Sheth A. Transactions in Transactional Workflows. In Advanced Transactional Models and Architectures. – Kluwer Academic Publishers, 1997. – 400 p.Worah D., Sheth A. Transactions in Transactional Workflows. In Advanced Transactional Models and Architectures. – Kluwer Academic Publishers, 1997. – 400 p.Advanced Transaction Models in Workflow Contexts / G. Alonso, D. Agrawal, A. Abbadi et al. // In proc. of the 12th International Conference on Data Engineering. – New Orleans, 1996Advanced Transaction Models in Workflow Contexts / G. Alonso, D. Agrawal, A. Abbadi et al. // In proc. of the 12th International Conference on Data Engineering. – New Orleans, 1996Elmagarmid A. Database Transaction Models for Advanced Applications. – Morgan Kaufmann Publishers, 1992. – 610 p.Elmagarmid A. Database Transaction Models for Advanced Applications. – Morgan Kaufmann Publishers, 1992. – 610 p.Gray J., Reuter A. Transaction Processing: Concepts and Techniques. – Morgan Kaufmann Publishers, 1993. – 1070 p.Gray J., Reuter A. Transaction Processing: Concepts and Techniques. – Morgan Kaufmann Publishers, 1993. – 1070 p.ASSET: A System for Supporting Extended Transactions / A. Birilis., S. Dar., N. Gehani et al. // In proc. of SIGMOD International Conference on Management of Data. – 1994. – P. 44-54.ASSET: A System for Supporting Extended Transactions / A. Birilis., S. Dar., N. Gehani et al. // In proc. of SIGMOD International Conference on Management of Data. – 1994. – P. 44-54.The Open Group. Distributed Transaction Processing: The XA Specification. X/Open Document C193. – X/Open Company Ltd., UK, 1991. – 80 p.The Open Group. Distributed Transaction Processing: The XA Specification. X/Open Document C193. – X/Open Company Ltd., UK, 1991. – 80 p.Vingralek R., Ye H., Breitbart Y., Schek H. J. Unified Transaction Model for Semantically Rich Operations // ICDT (International Conference on Database Theory). – 1995. – 25 p.Vingralek R., Ye H., Breitbart Y., Schek H. J. Unified Transaction Model for Semantically Rich Operations // ICDT (International Conference on Database Theory). – 1995. – 25 p.Pu C., Kaiser G., Hutchinson N. Split-Transactions for Open-Ended activities // In proc. of the 14th International Conference on VLDB. – 1988. – P. 26-37.Pu C., Kaiser G., Hutchinson N. Split-Transactions for Open-Ended activities // In proc. of the 14th International Conference on VLDB. – 1988. – P. 26-37.Moss J. Nested Transactions and Reliable Distributed Computing // In proc. of the 2nd symposium on Reliability in Distributed Software and Database Systems. – IEEE CS Press., 1982.Moss J. Nested Transactions and Reliable Distributed Computing // In proc. of the 2nd symposium on Reliability in Distributed Software and Database Systems. – IEEE CS Press., 1982.Davies C. Data Processing Spheres of Control // IBM Systems Journal. – 1978. –V.17.– № 2.Davies C. Data Processing Spheres of Control // IBM Systems Journal. – 1978. –V.17.– № 2.Weikum G., Shek H. Concepts and applications of multilevel and open-nested transactions. In Elmagarmid A. Database Transaction models for Advanced Applications. – Morgan Kaufmann Publishers, 1992. – 39 p.Weikum G., Shek H. Concepts and applications of multilevel and open-nested transactions. In Elmagarmid A. Database Transaction models for Advanced Applications. – Morgan Kaufmann Publishers, 1992. – 39 p.Garcia-Molina H., Salem K. Sagas // In proc. of ACM SIGMOD Conference on Management of Data. – San Francisco, CA, 1987.Garcia-Molina H., Salem K. Sagas // In proc. of ACM SIGMOD Conference on Management of Data. – San Francisco, CA, 1987.ARIES (Algorithm for Recovery and Isolation Exploiting Semantics): A Transaction Recovery Method Supporting Fine-Granulatity Locking and Partial Rollback Using Write-Ahead Logging. IBM Research Report RJ6649 / С. Mohan, D. Haderle, B. Lindsay et al. // ACM Transactions on Database Systems. – 1992. – V. 17. – № 1.ARIES (Algorithm for Recovery and Isolation Exploiting Semantics): A Transaction Recovery Method Supporting Fine-Granulatity Locking and Partial Rollback Using Write-Ahead Logging. IBM Research Report RJ6649 / С. Mohan, D. Haderle, B. Lindsay et al. // ACM Transactions on Database Systems. – 1992. – V. 17. – № 1.Modeling Long-Running Activities as Nested Sagas / H. Garcia-Molina, K Salem, D. Gawlick et al.// IEEE Data Engineering Bulletin. – № 14(1). – 1991.Modeling Long-Running Activities as Nested Sagas / H. Garcia-Molina, K Salem, D. Gawlick et al.// IEEE Data Engineering Bulletin. – № 14(1). – 1991.Krychniak P., Rusinkiewicz M., Cichocki A., et al. Bounding the Effects of Compensation under Relaxed Multi-level Serializability // Distributed and Parallel Databases. – 1996. – V. 4. – № 4.Krychniak P., Rusinkiewicz M., Cichocki A., et al. Bounding the Effects of Compensation under Relaxed Multi-level Serializability // Distributed and Parallel Databases. – 1996. – V. 4. – № 4.Bernstein A., Gerstl D., Lewis P. A concurrency control for step-decomposed transactions // Information Systems. – 1999. – 35 p.Bernstein A., Gerstl D., Lewis P. A concurrency control for step-decomposed transactions // Information Systems. – 1999. – 35 p.Chrysanthis P. K., Ramamritham K. ACTA: The SAGA Continues // Database Transaction models for Advanced Applications. – Morgan Kaufmann Publishers, 1992. – P. 435-470.Chrysanthis P. K., Ramamritham K. ACTA: The SAGA Continues // Database Transaction models for Advanced Applications. – Morgan Kaufmann Publishers, 1992. – P. 435-470.Ansari M., Ness L., Rusinkiewicz M., Sheth A. Using Flexible Transactions to Support Multi-System Telecom Applications // In proc. of the 18th International Conference on VLDB. –Canada. – 1992. – 12 p.Ansari M., Ness L., Rusinkiewicz M., Sheth A. Using Flexible Transactions to Support Multi-System Telecom Applications // In proc. of the 18th International Conference on VLDB. –Canada. – 1992. – 12 p.General model for nested transactional workflows. Technical report. DSTC. / D. Kuo, M.Lawley, C.Liu, M. Orlowska A – University of Queensland, 1996. – 18 p.General model for nested transactional workflows. Technical report. DSTC. / D. Kuo, M.Lawley, C.Liu, M. Orlowska A – University of Queensland, 1996. – 18 p.Exotica: A Project on Advanced Transaction Management and Workflow Systems / C. Mohan, A. Abbadi, D. Agrawal et al. // ACM SIGOIS. – 1995. – V. 16. – № 1.Exotica: A Project on Advanced Transaction Management and Workflow Systems / C. Mohan, A. Abbadi, D. Agrawal et al. // ACM SIGOIS. – 1995. – V. 16. – № 1.Tai S., Mikalsen T., Rouvellou I., Sutton S. Dependency spheres: A global transaction context for distributed objects and messages // In 5th International Enterprise Distributed Object Computing Conference (EDOC). – September, 2001. – P. 10-22.Tai S., Mikalsen T., Rouvellou I., Sutton S. Dependency spheres: A global transaction context for distributed objects and messages // In 5th International Enterprise Distributed Object Computing Conference (EDOC). – September, 2001. – P. 10-22.

The authors declare that there are no conflicts of interest present.