Differences

This shows you the differences between two versions of the page.

fullcost-abstract [2012/01/26 11:12]
simon [A. ABSTRACT]
fullcost-abstract [2012/01/27 16:21] (current)
simon [A. ABSTRACT]
Line 11: Line 11:
 services that are newly developed or that may already exist. The services that are newly developed or that may already exist. The
 consequences of failure are severe, including security breaches and consequences of failure are severe, including security breaches and
-unavailability of essential services.+unavailability of essential services. Current software development 
 +technology is not well suited to production of these large-scale 
 +systems, because of the lack of appropriate high-level structuring 
 +abstractions for complex communication behaviour. 
 + 
 +Modern society is increasingly dependent on large-scale software 
 +systems that are distributed, collaborative and 
 +communication-centred. Correctness and reliability of such systems 
 +depend on compatibility between components and 
 +services that are newly developed or may already exist. The 
 +consequences of failure are severe, including security breaches and 
 +unavailability of essential services. Current software development 
 +technology is not well suited to producing these large-scale 
 +systems, because of the lack of high-level structuring 
 +abstractions for complex communication behaviour.
  
 This Action will use behavioural type theory as the basis for new This Action will use behavioural type theory as the basis for new
Line 18: Line 32:
 theory encompasses concepts such as interfaces, communication theory encompasses concepts such as interfaces, communication
 protocols, contracts, and choreography. As a unifying structural protocols, contracts, and choreography. As a unifying structural
-principle it will transform the theory and practice of +principle it will transform the theory and practice of distributed 
-distributed software development.+software development
 + 
 +The significance of behavioural types has been recognised 
 +world-wide during the last five years. European researchers are 
 +internationally leading. There is an urgent need for European 
 +co-ordination to avoid duplication of effort, facilitate 
 +interactions among research groups, and ensure that the field 
 +proceeds efficiently from academic research to industrial 
 +practice. This Action will provide the co-ordination layer and 
 +leverage the efforts of European researchers, to 
 +increase the competitiveness of the European software industry.
  
-The significance of behavioural types has been increasingly 
-recognised world-wide during the last five years, and European 
-researchers are internationally leading. Progress has been made 
-through several national research projects in various 
-countries. There is, however, a need for European co-ordination in 
-order to avoid duplication of effort, to facilitate interactions among 
-research groups, and to ensure that the field proceeds efficiently 
-from academic research to industrial practice. This Action will 
-provide the co-ordination layer and leverage the efforts of researchers 
-across Europe, in order to increase the competitiveness of the 
-European software industry. 
  
  
 
fullcost-abstract.txt · Last modified: 2012/01/27 16:21 by simon
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki