Спецификация модели параллельных и распределенных вычислений GraphPlus на основе логики TLA
Автор: Востокин С.В.
Журнал: Известия Самарского научного центра Российской академии наук @izvestiya-ssc
Рубрика: Управление и моделирование
Статья в выпуске: 3 т.8, 2006 года.
Бесплатный доступ
В статье описывается структурная модель вычислительных процессов GraphPlus и ее формальная спецификация на основе темпоральной логики Лампорта TLA. Рассматриваемая модель предназ- начена для формализации семантики параллельных и распределенных алгоритмов, используе- мых при реализации сложных численных моделей.
Короткий адрес: https://sciup.org/148197855
IDR: 148197855
Список литературы Спецификация модели параллельных и распределенных вычислений GraphPlus на основе логики TLA
- Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. СПб.: БХВ-Петербург, 2002.
- Берзигияров П.К. Программирование на типовых алгоритмических структурах с массивным параллелизмом//Вычислительные методы и программирование. 2001. Т. 2. Разд. 2.
- Востокин С.В. Технология визуального программирования каркасов параллельных и распределенных приложений на основе объектно-ориентированной модели вычислений GraphPlus//Труды III международной конференции "Параллельные вычисления и задачи управления. М.: ИПУ РАН, 2006.
- Lamport L. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
- Lamport L. Specifying Systems. The TLA+Language and Tools for Hardware and Software Engineers. Addison-Wesley. 2002.
- Востокин С.В. Объектно-ориентированный метод структурирования кода метакомпьютерного приложения//Информационные технологии. 2006. №5.
Статья научная
