МОДЕЛЬ АБСТРАКТНОГО ИСПОЛНЕНИЯ ДЛЯ МЕТА-РАБОЧЕГО ЦИКЛА, ОСНОВАННОГО НА ПРОДОЛЖЕНИИ

1. Способ моделирования реальных процессов в поточной схеме, причем указанный способ содержит:
определение автомата 500 для ассоциации с активностью 606 в поточной схеме, причем указанный определенный автомат 500 имеет набор состояний, ассоциированных с этим автоматом;
определение одного или нескольких методов, соответствующих каждому из состояний в автомате 500, причем определенные методы, ассоциированные со структурой данных, представляют активность 606;
исполнение при помощи механизма 202 мета-рабочего цикла, виртуализующего управляемую среду 106 исполнения, имеющую фиксированные функциональные возможности, фрагмента программы, включающего активность 606, на основе определенного автомата 500 и определенных методов;
прием сигнала приостановки, направленного на исполнение фрагмента программы;
определение данных 210 продолжения, ассоциированных с фрагментом программы, в ответ на принятый сигнал приостановки, причем указанные данные 210 продолжения представляют продолжение исполнения фрагмента программы;
сохранение определенных данных 210 продолжения в области 208 памяти;
идентификацию одного или нескольких ресурсов, ассоциированных с упомянутым фрагментом программы; и
освобождение идентифицированных ресурсов.
2. Способ по п.1, дополнительно содержащий:
прием сигнала возобновления, направленного во фрагмент программы;
предоставление доступа к данным продолжения, сохраненным в области памяти;
загрузку данных продолжения, к которым получен доступ, в память исполнения, ассоциированную с машиной исполнения; и
возобновление исполнения фрагмента программы на основе загруженных данных продолжения.
3. Способ по п.1, в котором машина исполнения работает с целью виртуализации одного или нескольких из следующих аспектов управляемой среды исполнения: домен-специфичного оп-кода, потока исполнения, примитива синхронизации, машины исполнения, времени жизни объекта, формата ресурса, исключения, ошибки, продвижения ошибки и обработки ошибки.
4. Способ по п.1, в котором определение одного или нескольких методов содержит прием от пользователя методов для установления ассоциации с по меньшей мере одним из состояний в автомате, ассоциированным с активностью.
5. Способ по п.1, в котором автомат содержит одно или несколько условий перехода, определяющих переход активности через набор состояний, и дополнительно содержит верификацию условий перехода, перед тем как активность получит возможность для перехода через состояния.
6. Способ по п.1, в котором одна или несколько читаемых компьютером сред имеют исполняемые компьютером инструкции для выполнения способа по п.1.
7. Система для моделирования реальных процессов в поточной схеме, причем указанная система содержит:
область 208 памяти для хранения данных 210 продолжения, представляющих продолжение фрагмента программы, причем указанный фрагмент программы ассоциирован с активностью 606 в поточной схеме, при этом область 208 памяти дополнительно хранит механизм 202 мета-рабочего цикла для виртуализации управляемой среды 106 исполнения, имеющей фиксированные функциональные возможности, причем указанный механизм 202 мета-рабочего цикла имеет машину исполнения, представляющую автомат 500, имеющий набор состояний, ассоциированных с этим автоматом, при этом каждому из состояний соответствуют один или несколько методов, причем упомянутые методы ассоциированы со структурой данных, представляющей активность 606, при этом указанный механизм 202 мета-рабочего цикла исполняет фрагмент программы на основе машины исполнения; и
процессор 602, выполненный с возможностью исполнения исполняемых компьютером инструкций для:
захвата данных 210 продолжения, ассоциированных с фрагментом программы исполнения;
сохранения захваченных данных 210 продолжения в области 208 памяти и
освобождения одного или нескольких ресурсов, ассоциированных с фрагментом программы.
8. Система по п.7, в которой указанный захват и указанное сохранение соответствуют одному или нескольким из следующего: складированию фрагмента программы, выселению фрагмента программы, осушению фрагмента программы и/или выгрузке фрагмента программы.
9. Система по п.7, в которой механизм мета-рабочего цикла использует одно или несколько из следующего из управляемой среды исполнения: потока исполнения, стека и неупорядоченного массива.
10. Система по п.7, в которой данные продолжения включают в себя программный счетчик, причем указанный программный счетчик идентифицирует следующий обработчик исключения, запланированный для исполнения.
11. Система по п.7, в которой область памяти хранит данные продолжения, включающие в себя состояние приложения и состояние рабочего цикла.
12. Система по п.11, в которой состояние приложения включает в себя список объектов активности.
13. Система по п.11, в которой состояние рабочего цикла включает в себя программный счетчик.
14. Система по п.7, в которой процессор дополнительно выполнен с возможностью исполнения исполняемых компьютером инструкций для:
получения доступа к данным продолжения, сохраненным в области памяти;
загрузки данных продолжения, к которым получен доступ, в память исполнения, ассоциированную с мета-рабочим циклом; и
возобновления исполнения фрагмента программы на основе загруженных данных продолжения.
15. Система по п.14, в которой указанная загрузка и указанное возобновление соответствуют одному или нескольким из следующего: повторной активации и повторному запуску.
16. Система по п.7, дополнительно содержащая средство для предоставления мета-рабочего цикла и средства для захвата продолжения, ассоциированного с фрагментом программы.
17. Система по п.7, дополнительно содержащая автомат, принятый от пользователя, при этом механизм мета-рабочего цикла исполняет фрагмент программы на основе принятого автомата.
18. Система по п.7, в которой автомат содержит одно или несколько условий перехода, определяющих переход активности через набор состояний, дополнительно содержащая первый автомат, ассоциированный с первой активностью, и второй автомат, ассоциированный со второй активностью, причем условие перехода автомата первой активности зависит от текущего состояния второго автомата второй активности.
19. Одна или несколько читаемых компьютером сред, имеющих исполняемые компьютером модули для моделирования пассивирования поточной схемы, причем указанные модули содержат:
модуль 212 автомата для определения автомата 500 для ассоциации с активностью 606, причем определенный автомат 500 имеет набор состояний, ассоциированных с этим автоматом и один или несколько методов, соответствующих каждому из состояний;
модуль 214 машины исполнения для исполнения фрагмента программы, включающего активность 606, на основе автомата 500, определенного модулем 212 автомата; и
модуль 216 продолжения для захвата данных 210 продолжения фрагмента программы в ответ на получение сигнала приостановки, направленного во фрагмент программы, исполняемый модулем 214 машины исполнения, и освобождения ресурса, ассоциированного с фрагментом программы, причем данные 210 продолжения представляют продолжение исполнения фрагмента программы.
20. Читаемая компьютером среда по п.19, дополнительно содержащая модуль возобновления для восстановления в ответ на получение сигнала возобновления, направленного во фрагмент программы, исполняемый модулем машины исполнения, данных продолжения для фрагмента программы, захваченных модулем продолжения, причем модуль машины исполнения возобновляет исполнение фрагмента программы на основе восстановленных данных продолжения.