FP4Индивидуална стипендия1996–1997

Abstract interpretation of mobile processes

4РП — Обучение и мобилност на изследователи

Период: 1996-10-01 → 1997-09-30
Финансиране от ЕС: —
Участници: 2
Схема: RGI

Линиите свързват координатора с партньорите. За проекти отпреди 2014 г. CORDIS не винаги дава точни координати. Тези точки са на ниво град или държава.

Накратко на български

Методите за анализ на мобилни процеси в разпределените системи се изследват чрез нови математически модели за описание на тяхното поведение. Това помага за по-добра проверка на софтуера и създаване на инструменти, които подпомагат разработчиците в целия цикъл на проектиране.

Този кратък обзор е генериран от изкуствен интелект

Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.

Цел на проекта

The design of efficient concurrent distributed systems is currently one of the major challenges in computer science. Compile time analysis is essential in software engineering and to develop efficient realizations able to fill the gap between high-level descriptions and their actual implementations. The basic idea of driving designers and implementors of systems with a hierarchy of semantics closer and closer to implementations is common to parametric theory of distributed systems and abstract interpretation. The candidate plan to extend the parametric theory based on the SOS description of proved transition system developed during his Ph. D. studies to the powerful format of GXSOS. This format allows the specification of finite as well as infinite behaviours of processes in an uniform way. Since infinite behaviours are an essential feature of distributed systems, and hence of mobile processes, the extension should improve the verification of these systems. In order to maintain the parametricity of the semantic definitions that allow a hierarchy of semantic descriptions, the candidate plans to replace relabelling functions defined on finite proved computations in his previous works with abstract intcrpretation. This is an essential step towards the realization of integrated programming environment that support designers of distributed systems in any phase of their life-cycle.

Оригинален текст от CORDIS (на английски).

Участници

Centre National de la Recherche Scientifique (CNRS) · PARISКоординаторФранция
Not availableНиво градИталия

Връзки

Виж в CORDIS