People | Alumni | Barry Norton

Research Fellow

For one year I have been employed by KMi as Research Fellow in Semantic Web Services. I work within the DIP and SUPER projects on service composition. Before joining KMi I had previously collaborated within the DIP and AKT projects, on which I worked at the University of Sheffield. My own general interests are in formal models for software composition which are, accordingly, compositional. The intersection between the two is embodied in the Cashew project, which is implemented in the IRS, integrated in the DIP project, and informs my work within the WSMO Working Group and the OASIS Semantic Execution Environment Technical Committee.

Keys: Semantic Web Services, Service Composition, Ontologies, Semantic Web, Knowledge Modelling

Krummenacher, R., Norton, B., Simperl, E. and Pedrinaci, C. (2009) SOA4All: Enabling Web-scale Service Economies, 3rd IEEE International Conference on Semantic Computing (ICSC) 2009, IEEE Computer Society

Pedrinaci, C., Simperl, E., Krummenacher, R. and Norton, B. (2009) Towards Web-scale SOA, The Architecture Journal, 21, Microsoft

Norton, B., Cabral, L. and Nitzsche, J. (2009) Ontology-based Translation of Business Process Models, The Fourth International Conference on Internet and Web Applications and Services (ICIW 2009), Venice, Italy, IEEE Computer Society

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

Norton, B. (2008) Ontology-Based Behavioural Reasoning for Business Processes, Workshop: Advances in Semantics for Web Services 2008 (semantics4ws 2008), Milan

View all 25 publications



A Complete Axiomatisation of Observation Congruence for Deterministic Time under Maximal Progress
Techreport ID: kmi-05-06
Date: 2005
Author(s): Barry Norton