????????? ?????????????? ???????

Мобильные вычисления относятся к обоим аспектам мобильность аппаратного обеспечения и мобильность программного обеспечения. Мобильные вычисления с программной стороны относятся к переносу кода с одного сайта на другой. Такая мобильность была впервые предложена на заре развития распределенных и параллельных систем с целью сбалансировать нагрузку между процессорами путем миграции задач или обеспечить отказоустойчивость. Мобильность с аппаратной стороны часто относится к мобильным устройствам, что еще больше усилилось с развитием беспроводных сетей (WIFI или сотовых). Мобильность программного обеспечения пережила важную инновационную тенденцию с появлением Интернета и, таким образом, трансформацией распределенных систем с локальными и ограниченными сетями в распределенные системы глобального масштаба. Разработка мобильных систем (аппаратное/программное обеспечение) требует хорошо продуманного программного процесса на всех этапах разработки, от анализа до кодирования и тестирования. Цель этой книги - показать использование формальных методов для мобильных вычислительных систем.