KMi Publications

External Publications

6 publications | cashew


Publications | Visit External Site for Details

Norton, B., Pedrinaci, C., Henocque, L. and Kleiner, M. (2008) 3-Level Behavioural Models for Semantic Web Services, International Transactions on Systems Science and Applications, 4, 4, pp. 340-355

Publications | Download PDF Publications | Visit External Site for Details

Norton, B. and Pedrinaci, C. (2006) 3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services, Workshop: 2nd International Workshop on Agents, Web Services and Ontologies Merging (AWeSOMe'06) at OnTheMove Federated Conferences (OTM'06), Montpelier, FR

Publications | Download PDF

Norton, B. (2005) Experiences with OWL-S, Directions for Service Composition: The Cashew Position, Workshop: OWL: Experiences and Directions, Galway, Ireland

Publications | Download PDF

Norton, B., Foster, S. and Hughes, A. (2005) A Compositional Operational Semantics for OWL-S, Workshop: 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France Formal Techniques for Computer Systems and Business Processes, eds. Mario Bravetti, Leila Kloul, Gianluigi Zavattaro, LNCS 3670, pp. 303-317, Springer

Publications | Download PDF

Norton, B. (2005) Behavioural Types for Synchronous Software Composition, Workshop: Workshop on Foundation of Interface Technologies (FIT 2005), San Francisco, US

Publications | Download PDF

Norton, B., Luttgen, G. and Mendler, M. (2003) A Compositional Semantic Theory for Synchronous Component-Based Design, 14th International Conference on Concurrency Theory (CONCUR'03), Marseilles, France CONCUR 2003 - Concurrency Theory, eds. Roberto Amadio, Denis Lugiez, LNCS 2761, pp. 461-476, Springer

 
 
 

Future Internet is...


Future Internet
With over a billion users, today's Internet is arguably the most successful human artifact ever created. The Internet's physical infrastructure, software, and content now play an integral part of the lives of everyone on the planet, whether they interact with it directly or not. Now nearing its fifth decade, the Internet has shown remarkable resilience and flexibility in the face of ever increasing numbers of users, data volume, and changing usage patterns, but faces growing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scientific research, physical infrastructure investment, better education, and better utilisation of the Internet. Within Japan, USA and Europe major new initiatives have begun in the area.

To succeed the Future Internet will need to address a number of cross-cutting challenges including:

  • Scalability in the face of peer-to-peer traffic, decentralisation, and increased openness

  • Trust when government, medical, financial, personal data are increasingly trusted to the cloud, and middleware will increasingly use dynamic service selection

  • Interoperability of semantic data and metadata, and of services which will be dynamically orchestrated

  • Pervasive usability for users of mobile devices, different languages, cultures and physical abilities

  • Mobility for users who expect a seamless experience across spaces, devices, and velocities