作者: Toan Nguyen , Christine Plumejeaud
关键词: Software deployment 、 Software 、 Formal specification 、 Massively parallel 、 Object request broker 、 Distributed computing 、 Integration platform 、 Computer science 、 Object-oriented programming 、 Metacomputing
摘要: Simulation and optimisation applications involve a large variety of codes that result in high CPU loads on existing computer systems. Advances both hardware software, including massively parallel computers, PCclusters programming languages somewhat alleviate current performance penalties. It is the claim this paper formal specification techniques, together with distributed integration platforms, provide sound efficient support for computing metacomputing environments. Formal specifications rigourous provable approaches complex definition configuration, while platforms standardised deployment execution environments coupling heterogeneous problem-solving supporting multi-discipline applications.