| title: |
Logic-based methods of composition of distributed applications |
| reg no: |
ETF6886 |
| project type: |
Estonian Science Foundation research grant |
| subject: |
2.9. System Engineering and Computer Technology
|
| status: |
accepted |
| institution: |
Institute of Cybernetics at Tallinn Technical University |
| head of project: |
Enn Tõugu |
| duration: |
01.01.2006 - 31.12.2009 |
| description: |
In the present project we are going to propose instruments with precise logical semantic for automatic composition of distributed applications. First, a logic-based specification language together with an experimental environment for dynamic composition of services from components – simple services and synthesized services will be developed. Second, a visual interface and software – middleware for grid control will be developed that will support semiautomatic and automatic composition of grid applications. Extension of structural synthesis of algorithms with linear logic instruments will be applied in both cases. It is intended that this work will enable one to unify specification and control of web services and grid computing. |