software engineering ()

Projects

Towards Green, Sustainable and Personalisable E-Business Services
Towards Green, Sustainable and Personalisable E-Business Services
The project will advance the current state of art of e-business and cloud computing by developing a novel approach to cloud-based e-business service evolution and personalisation. We'll seek further funding from the research councils and EU calls based on the partnership.
"Tornado" Automated Warehouse Management System
"Tornado" Automated Warehouse Management System
FlexiCAGE
FlexiCAGE
Sponsored by a SMART Grant from Scottish Executive, the project aims to achieve a commercially capable component adaptation prototype tool via market-informed research and development. A company has been started as the vehicle to carry out the commercialisation activities.
Treegreen Feasibility study
An SME, Treegreen, had developed a demonstrator of an energy saving system which used a Passive Infrared Sensor to switch off domestic appliances when there is nobody in the room. However, early versions of the product had limitations due to the fact that the IR sensor is essentially a motion...
FlexiCAGE PRP (PoC Plus)
Traffic Data
Maintenance & Upgrade of Risk Management Database
PEDFLOW
PEDFLOW
The PEDFLOW (PEDestrian FLOW) project is concerned with the development of a microscopic model of pedestrian movement in a congested urban environment. Autonomous agent technology is utilised to represent each pedestrian as an agent capable of making its own decisions based upon a part of the...
OBADIAH: Object Based Data Manipulation With Intelligent Access And Handling
OBADIAH: Object Based Data Manipulation With Intelligent Access And Handling
OBADIAH (Object BAsed Data manipulation with Intelligent Access and Handling)is a parallel database development project with particular emphasis on adaptable access to the data stored. It uses a relational transputer-based storage system that can be accessed via a low level interface called WSQL.
An Approach to Modelling and Evolution of Service Architecture and its Reliability in Clouds
An Approach to Modelling and Evolution of Service Architecture and its Reliability in Clouds
Clouds are a new supplement, consumption, and delivery model for ICT services based on the Internet, and it typically involves over-the-Internet provision of dynamically scalable and often virtualized resources. The project will contribute to service-oriented architecture and cloud computing...
Lincrea Professional Training 2010
A Metadata-based Ontological Component Repository
This project offers to create an intelligent ontological component repository to facilitate the reuse of existing components in measurement software development. The repository will enable precise description, logical classification and accurate retrieval matching of reusable components in measure...
Design & Implementation Support Tools for Integrated Local Land Use, Transport & the Environment (DISTILLATE)
SAGA Bench
SAGA Bench
SAGA Bench endevours to develop a component adaptation and integration tool with a cutting-edge technology called ScenArio-based Generative component Adaptation. E-business systems have been selected as the particular application domain due to its popularity.
Central Intelligence Database
PERMEATE
To build and infra-red detector system that can count people as they move around the urban environment. In particular we wish to evaluate measures for the vitality and viability of urban areas.
Westmont Systems Ltd

Members

Zhe Wang
Mr Zhe Wang
Research student
z.wang2@napier.ac.uk
+44 131 455 2303 07747464018

Publications

Fang, D., Liu, X., Romdhani, I., Zhao, H. (2012). Towards OWL 2 Natively Supported Fuzzy Cloud Ontology. In: (Ed.) 6th IEEE International Workshop Quality-Oriented Reuse of Software (IEEE QUORS’12) , , () ( ed.). (pp. ). : . IEEE Computer Society.

Jaroucheh, Z., Liu, X., Smith, S. (2012). A Unified Approach for the Dynamic Evolution of Context-aware Services. In: (Ed.) Proceedings of International Conference on Innovations in Computers, Information and Communication - ICICIC 2012, , () ( ed.). (pp. ). India: . PSG Tech.

Jaroucheh, Z., Liu, X., Smith, S. (2012). An Approach to Domain-based Scalable Context Management Architecture in Pervasive Environments. Personal and Ubiquitous Computing, 16, (6), 741-755.

Kosek, A., Syed, A., Kerridge, J. (2012). RDF Recipes for Context-Aware Interoperability In Pervasive Systems. In: (Ed.) Proceedings of IEEE Symposium on Computers and Communications, , () ( ed.). (pp. ). : . IEEE Press.

Wang, Z., Liu, X., Chalmers, K., Cheng, G. (2012). Evolution Pattern for Service Evolution in Clouds. In: (Ed.) The 7th International Conference for Internet Technology and Secured Transactions (ICITST-2012), , () ( ed.). (pp. ). London, UK: . Copyright © ICITST-2012 Published IEEE UK Computer Chapter.

Yang, H., Liu, X. (2012). Software Reuse in the Emerging Cloud Computing Era ( ed.). Pennsylvania, USA: . IGI Global Publishing.

Zhao, H., Liu, X. (2012). DYNAMIC EVOLUTION OF SERVICE ARCHITECTURE IN MOBILE CLOUD APPLICATIONS. In: (Ed.) prcoeedings of the 2nd internation conference of Cloud Computing and Services Science (CLOSER'12), , () ( ed.). (pp. ). : . INSTICC.

Jaroucheh, Z., Liu, X., Smith, S., Zhao, H. (2011). Lightweight Software Product Line Based Privacy Protection Scheme for Pervasive Applications . In: (Ed.) Proceedings of the 35th IEEE COMPSAC, , () ( ed.). (pp. ). Munich, Germany: . IEEE Computer Society.

Jaroucheh, Z., Liu, X., Smith, S. (2011). Recognize contextual situation in pervasive environments using process mining techniques. Journal OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2, (1), 53-69.

Kosek, A., Syed, A., Kerridge, J. (2011). An Emergent Behaviour Algorithm for Energy Conservation in Lighting Systems. In: al., P. (Ed.) Communicating Process Architectures 2011, , () ( ed.). (pp. ). : . IOS Press.

Li, C., Liu, X., Kennedy, J. (2011). Quality Attributes Suggestion in Component Retrieval. In: (Ed.) Proceedings of International Conference on Computational Intelligence and Software Engineering (CiSE 2011), , () ( ed.). (pp. ). : . .

Liu, X., Li, Y. (2011). Advanced Design Approach to Emerging Software Systems - Principles, Methodologies and Tools ( ed.). : . IGI Global Publishing.

Jaroucheh, Z., Liu, X., Smith, S. (2010). A MDD-based Generic Framework for Context-aware Deeply Adaptive Service-based Processes. In: (Ed.) Proceedings of The 8th IEEE International Conference on Web Services (ICWS’10), , () ( ed.). (pp. ). Miami, USA: . IEEE Computer Society.

Jaroucheh, Z., Liu, X., Smith, S. (2010). A Model-driven Approach to Flexible Multi-Level Customization of SaaS Applications. In: (Ed.) Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE'10), , () ( ed.). (pp. ). San Francisco, USA: . Knowledge Systems Institute.

Jaroucheh, Z., Liu, X., Smith, S. (2010). CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications. In: (Ed.) CICIS'10 Proceedings, , () ( ed.). (pp. ). Krakow Poland: . IEEE Computer Society Press.

Jaroucheh, Z., Liu, X., Smith, S. (2010). Mapping Features to Context Information: Supporting Context Variability for Context-aware Pervasive Applications. In: (Ed.) Proceedings of IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technologies (WI-IAT 2010), , () ( ed.). (pp. ). Toronto, Canada: . IEEE Computer Society.

Li, C., Liu, X., Kennedy, J. (2010). Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS. In: (Ed.) Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE'10), , () ( ed.). (pp. ). San Francisco, USA: . Knowledge Systems Institute.

Li, C., Pooley, R., Liu, X. (2010). Ontology-Based Quality Attributes Prediction in Component-Based Development. International Journal of Computer Science & Information Technology (IJCSIT), 2, (5), .

Chalmers, K., Kerridge, J. (2009). An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. In: Welch, P., Barnes, F., Stiles, G., Broenink, J., Roebbers, H., Sampson, A. (Eds.) Communicating Process Architectures 2009, , () ( ed.). (pp. ). Amsterdam: . IOS Press.

Clayton, S., Urquhart, N., Kerridge, J. (2009). Application of CoSMoS Parallel Design Patterns to a Pedestrian Simulation. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (Eds.) Parallel Processing and Applied Mathematics, 2, () ( ed.). (pp. 505-512). Berlin Heidelberg: . Springer Verlag.

Jaroucheh, Z., Liu, X., Smith, S. (2009). A Perspective on Middleware-oriented Context-aware Pervasive Systems. In: (Ed.) Proceedings of IEEE 33rd COMPSAC'09, , () ( ed.). (pp. ). Seattle, USA: . IEEE Computer Society Press.

Kosek, A., Syed, A., Kerridge, J., Armitage, A. (2009). A Dynamic Connection Capability for Pervasive Adaptive Environments using JCSP. In: (Ed.) Proceedings of AISB'09, , () ( ed.). (pp. ). : . The Society for the Study of Artificial Intelligence.

Kosek, A., Kerridge, J., Syed, A., Armitage, A. (2009). JCSP Agents-Based Service Discovery for Pervasive Computing. In: Welch, P., Roebbers, H., Broenink, J., Barnes, F., Ritson, C., Sampson, A., Vinter, G. (Eds.) Concurrent Systems Engineering Series, 67, () ( ed.). (pp. 363-373). : . IOS Press.

Li, C., Liu, X., Kennedy, J. (2009). A Multiple Viewed Interrelated Ontology Model for Holistic Component Specification and Retrieval. In: (Ed.) Springer-Verlag's LNCS, , () ( ed.). (pp. 50-69). : . Springer-Verlag.

Wang, Z. (2009). Component Based Decision Support System (MSc Thesis). Edinburgh Napier University.

Chalmers, K., Kerridge, J., Romdhani, I. (2008). A Critique of JCSP Networking. In: Welch, P., Stepney, S., Polack, F., Barnes, F., McEwan, A., Stiles, G., Broenink, J., Sampson, A. (Eds.) Communicating Process Architectures 2008, , () ( ed.). (pp. 271-291). Amsterdam: . IOS Press.

Kerridge, J., Haschke, J., Chalmers, K. (2008). Mobile Agents and Processes using Communicating Process Architectures. In: Welch, P., Stepney, S., Polack, F., Barnes, F., McEwan, A., Stiles, G., Broenink, J., Sampson, A. (Eds.) Communicating Process Architectures 2008, , () ( ed.). (pp. 397-410). Amsterdam: . IOS Press.

Kosek, A., Kerridge, J., Syed, A. (2008). Modelling a Multi-Core Media Processor Using JCSP. In: Stepney, S., Polack, F., McEwan, A., Welch, P., Ifill, a. (Eds.) Communicating Process Architectures 2008, , () ( ed.). (pp. ). : . IOS Press.

Li, C., Liu, X., Kennedy, J. (2008). Semantics-Based Component Repository: State of Arts and a Calculation Rating Factor-based Framework. In: (Ed.) Proceedings of Computer Software and Applications Conference, , () ( ed.). (pp. 751-756). : . IEEE Computer Society Press.

Liu, X., Ye, H. (2008). A Sustainable Service-Oriented B2C Framework for Small Businesses. 4th IEEE International Symposium on Service-Oriented Systems Engineering (SOSE'08), , (), .

Liu, X., Feng, Y., Kerridge, J. (2008). Generative Aspect-Oriented Component Adaptation. IET Software, 2, (2), 149-160.

Chalmers, K., Kerridge, J., Romdhani, I. (2007). Mobility in JCSP: New Mobile Channel and Mobile Process Models. In: McEwan, A., Schneider, S., Ifill, W., Welch, P. (Eds.) Communicating Process Architectures 2007, , () ( ed.). (pp. ). : . IOS Press.

Feng, Y., Liu, X., Kerridge, J. (2007). A product line based aspect-oriented generative unit testing approach to building quality components. the 1st IEEE International Workshop on Quality-Oriented Reuse of Software, , (), .

Feng, Y., Liu, X., Kerridge, J. (2007). An Aspect-Oriented Component-Based Approach to Seamless Web Service Composition. System and Information Sciences Notes, , (), .

Feng, Y., Liu, X., Kerridge, J. (2007). Smooth Quality Oriented Component Integration through Product Line Based Aspect- Oriented Component Adaptation. International Conference on Software Engineering and Knowledge Engineering (SEKE'2007), , (), .

Lawson, A., Buchanan, W. (2007, ). Challenge-based Learning Framework for Teaching Programming Skills. Paper presented at HEA-ICS 7th Programming Workshop, University of Kent, Canterbury, 2nd April 2007, .

Liu, X. (2007). Quality Metrics for Internet Applications: Developing New from Old. the 1st IEEE International Workshop on Quality-Oriented Reuse of Software, , (), .

Chalmers, K., Kerridge, J., Romdhani, I. (2006). Performance Evaluation of JCSP Micro Edition: JCSPme. In: Welch, P., Kerridge, J., Barnes, F. (Eds.) Proceedings of Communicating Process Architectures 2006, , () ( ed.). (pp. 31-40). UK: . IOS Press.

Feng, Y., Liu, X., Kerridge, J. (2006). Achieving Smooth Component Integration with Generative Aspect and Component Adaptation. Springer-Verlag's LNCS 4039, (9th International Conference on Software Reuse),, , (), .

Kerridge, J., Chalmers, K. (2006). Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View. In: Welch, P., Kerridge, J., Barnes, F. (Eds.) Proceedings of Communicating Process Architectures 2006, , () ( ed.). (pp. 41-58). : . .

Liu, X., Feng, Y., Kerridge, J. (2006). Achieving Dependable Component-Based Systems through Generative Aspect Oriented Component Adaptation. 30th IEEE International Conference on Computer Software and Applications (COMPSAC'06), , (), .

Chalmers, K., Kerridge, J. (2005). jcsp.mobile: A Package Enabling Mobile Processes and Channels. In: Broenink, J., Roebbers, H., Sunter, J., Welch, P., Wood, D. (Eds.) Communicating Process Architectures 2005, , () ( ed.). (pp. 109-127). : . IOS Press.

Kerridge, J., Chamberlain, T. (2005). Collecting Pedestrian Trajectory Data In Real-time. Proceedings of PED2005, , (), .

Kerridge, J., Chamberlain, T. (2005). Collecting, Processing and Calculating Pedestrian Flow Data in Real-time. In: (Ed.) Transportation Research Board Annual Meeting, 84th Annual Meeting, () (84th Annual Meeting ed.). (pp. ). : . US National Academies of Science.

Kerridge, J., Barclay, K., Savage, J. (2005). Groovy Parallel! A Return to the Spirit oif occam?. In: Broenink, J., Roebbers, H., Sunter, J., Welch, P., Wood, D. (Eds.) Communicating Process Architectures 2005, , () ( ed.). (pp. 13-28). : . .

Liu, X., Wang, B., Kerridge, J. (2005). Achieving Seamless Component Composition Through Scenario-Based Deep Adaptation And Generation. Journal of Science of Computer Programming (Elsevier), 56, (2), 157-170.

Kerridge, J. (2004). Active Serial Port: A Component for JCSP.net Embedded Systems. In: East, I., Martin, J., Welch, P., Duce, D., Green, M. (Eds.) Communicating Process Architectures 2004, WoTUG-27, () (WoTUG-27 ed.). (pp. 85-98). : . IOS Press.

Kerridge, J., Armitage, A., Binnie, D., Lei, L. (2004). Monitoring the Movement of Pedestrians Using Low-cost Infrared Detectors: Initial Findings. Transportation Research Record, 1878, (), 11-18.

Smith, S., Lawson, S., Lawson, A. (2004). Can Real-time Software Engineering be Taught to Java Programmers?. In: (Ed.) 17th Conference on Software Engineering Education and Training (CSEE&T 2004) March 1-3, 2004, , () ( ed.). (pp. ). Norfolk, Virginia (USA): . .

Wang, B., Liu, X., Kerridge, J. (2004). Scenario Based Generative Component Adaptation in .Net Framework. In: (Ed.) The IEEE International Conference on Information Reuse and Integration, , () ( ed.). (pp. ). Las Vegas USA: . .

Wang, B., Liu, X., Kerridge, J. (2004). Scenario-based Generative Component Adaptation in .NET Framework. IEEE International Conference on Information Reuse and Integration (IRI'04), , (), .

Willis, A., Kukla, R., Kerridge, J. (2004). Human movement behaviour in urban spaces: Implications for the design and modelling of effective pedestrian environments. Environment and Planning B: Design and Planning, 31, (6), 805-828.

Armitage, A., Binnie, D., Kerridge, J., Lei, L. (2003). Measuring pedestrian trajectories using a pyroelectric differential infrared detector. In: (Ed.) Sensors and their Applications, 12, () ( ed.). (pp. ). Limerick, Ireland: . .

Armitage, A., Binnie, D., Kerridge, J., Lei, L. (2003). Measuring Pedestrian Trajectories with Low Cost Infrared Detectors: Preliminary Results. In: Galea, E. (Ed.) Pedestrian and Evacuation Dynamics 2003, , () ( ed.). (pp. 101-110). Greenwich: . CMS Press London.

Kerridge, J., Kukla, R., Willis, A., Armitage, A., Binnie, D., Lei, L. (2003). A comparison of Video and Infrared based tracking of pedestrian movements. In: Hoogendoorn, S., Luding, S., Bovy, P., Schreckenberg, M., Wolf, D. (Eds.) Traffic and Granular Flow, , () ( ed.). (pp. 383-391). Berlin Heidelberg: . Springer-Verlag.

Wang, B., Liu, X., Kerridge, J. (2003). A Generative and Component based Approach to Reuse in Database Applications. In: (Ed.) 5th Generative Programming and Component Engineering Young Researcher Workshop, , () ( ed.). (pp. ). : . .

Wang, B., Liu, X., Kerridge, J. (2003). Achieving Flexible Reuse through Scenario-Based Deep Component Adaptation and Generation. In: (Ed.) the 7th IASTED International Conference on Software Engineering and Applications (SEA'03), , () ( ed.). (pp. ). California, USA: . .

Wang, B., Liu, X., Kerridge, J. (2003). Facilitating Reuse in Database Applications with Scenario-based Component Adaptation and Generation. In: (Ed.) The IEEE International Conference on Information Reuse and Integration, , () ( ed.). (pp. ). Las Vegas, USA: . .

Wang, B., Liu, X., Kerridge, J. (2003). Tackling Deep Adaptation through XML-Based Component Generation. In: (Ed.) the 16th International Conference on Software and System Engineering and their Applications (ICSSEA 2003), , () ( ed.). (pp. ). Paris France: . .

Weir, R., Peng, T., Kerridge, J. (2003). Best Practice for Implementing a Data Warehouse: A Review for Strategic Alignment. In: (Ed.) Data Warehousing and Data Mining Workshop (August 2003), , () ( ed.). (pp. ). Berlin: . VLDB.

Chu, W., Liu, X., Yang, H. (2002). Reverse Engineering. In: (Ed.) Software Engineering and Knowledge Engineering Handbook, Volume 2, () ( ed.). (pp. ). : . World Scientific Publisher.

Chu, W., Liu, X., Yang, H. (2002). Reverse Engineering. In: (Ed.) Software Engineering and Knowledge Engineering Handbook, 2, () ( ed.). (pp. ). : . World Scientific Publisher.

Liu, X. (2002). Support Software Evolution with Abstraction Rules and Program Knowledge Patterns. Journal of Asian Information-Science-Life, 1, (1), .

Teng, G., Liu, X. (2002). Support Software Evolution with Abstraction Rules and Program Knowledge Patterns. Journal of Asian Information-Science-Life, 1, (1), 177-189.

Wang, B., Liu, X., Kerridge, J. (2002). A Pattern-Based Framework for Database Reusability. In: (Ed.) International Conference on Software Engineering: Research and Practice (SERP'02), , () ( ed.). (pp. ). Las Vegas, USA: . .

Willis, A., Kukla, R., Kerridge, J., Hine, J. (2002). Laying the foundations: the use of video footage to explore pedestrian dynamics in PEDFLOW. In: Schreckenberg, M., Sharma, S. (Eds.) Pedestrian and Evacuation Dynamics, , () ( ed.). (pp. 181-186). Berlin Heidelberg: . Springer-Verlag.

Kerridge, J., Hine, J. (2001). Agent based modelling of pedestrian movements:. Environment and Planning B: Planning and Design, 28, (), 327-341.

Kukla, R., Kerridge, J., Willis, A., Hine, J. (2001). PEDFLOW: Development of an Autonomous Agent Model of Pedestrian Flow. Transportation Research Record, 1774, (), 11-17.

Liu, X., Yang, H., Zedan, H., Cau, A. (2000). Speed and Scale Up Software Reengineering with Abstraction Patterns and Rules. In: (Ed.) ISPSE 2000 - International Symposium on Software Evolution, , () (November ed.). (pp. ). Kanazawa, Japan: . .

Willis, A., Kukla, R., Kerridge, J. (2000, September). Developing the Behavioural Rules for an Agent-based Model of Pedestrian Movement. Paper presented at 25th European Transport Congress, Cambridge, UK.

Yang, H., Liu, X., Zedan, H. (2000). Abstraction: a Key Notation for Reverse Engineering in a System Reengineering Approach. Journal of Software Maintenance: Research and Practice, 12, (4), .

Kerridge, J., McNair, N. (1999). PEDFLOW - A system for modelling pedestrian movement using occam. In: Cook, B. (Ed.) Architectures, Languages and Techniques for Concurrent Systems, , () ( ed.). (pp. 1-17). : . IOS Press.

Kerridge, J., Welch, P., Wood, D. (1999). Synchronisation Primitives for Highly Parallel Discrete Event Simulations. In: (Ed.) 32nd Hawaii International Conference on Systems Science - HICSS-32, 1999, , () ( ed.). (pp. ). : . IEEE Computer Society Press.

Liu, X., Yang, H., Zedan, H. (1999). On the Assessment of Reengineering Tools. In: (Ed.) WESS '99 - Workshop on Empirical Studies in Software Maintenance, , () ( ed.). (pp. ). Oxford, UK: . .

Chen, Z., Cau, A., Zedan, H., Liu, X., Yang, H. (1998). A Refinement Calculus for the Development of Real-time Systems. In: (Ed.) 5th Asia Pacific Software Engineering Conference, APSEC '98, , () (December ed.). (pp. ). Taipei, Taiwan: . .

Liu, X., Yang, H., Zedan, H. (1998). Improving Maintenance through Development Experiences. In: (Ed.) WESS '98 - Workshop on Empirical Studies in Software Maintenance, , () (November ed.). (pp. ). Metropolitan, Washington D.C., USA: . .

Liu, X. (1998). Reverse Engineering Through Formal Abstraction. In: (Ed.) Post-graduate Conference, 1998, , () (April ed.). (pp. ). De Montfort University: . .

Yang, H., Liu, X., Zedan, H. (1998). Tackling the Abstraction Problem for Reverse Engineering in a System Reengineering Approach. In: (Ed.) the proceedings of the IEEE Conference on Software Maintenance (ICSM'98), , () (November ed.). (pp. ). Metropolitan, Washington D.C., USA: . .

Kukla, R., Kerridge, J. (1997). Intelligent storage Devices for scalable information systems. Future Generation Computer Systems, 12, (5), 335-344.

Liu, X., Chen, Z., Yang, H., Zedan, H., Chu, W. (1997). A Design Framework for System Reengineering. In: (Ed.) Proceedings of Joint Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97/ICSC'97), , () (December ed.). (pp. ). Hong Kong: . .

Liu, X., Yang, H., Zedan, H. (1997). Formal Methods For The Reengineering of Computing Systems. In: (Ed.) Proceedings of The 21st IEEE International Conference on Computer Software and Application (COMPSAC'97), , () (August ed.). (pp. ). Washington, D.C., USA: . .

Kerridge, J., Kukla, R. (1996). A Plug-in Disk-Interface-Process for the W-SQL Data Access Controller. In: O’Neill, B. (Ed.) Parallel Processing Developments, 74, () ( ed.). (pp. 75-88). Amsterdam: . IOS Press.

Kerridge, J., Walter, D. (1996). Design of the IRISS Parallel Database Machine. In: Liddell, H., Colbrook, A., Hertzberger, B., Sloots, P. (Eds.) High Performance Computing and Networks Europe 1996, 1067, () ( ed.). (pp. 913-914). : . Springer-Verlag.

Kerridge, J. (1996). IDIOMS: A Database Machine with Distributed Processor Architecture. In: Keane, J. (Ed.) Parallel Information Processing, , () ( ed.). (pp. 103-114). : . Stanley Thorne / UNICOM.

Kerridge, J., Jelly, I., Bates, C. (1996). Modelling Test Data for Performance Evaluation of Large Parallel Database Machines. Distributed and Parallel Databases, 4, (), 5-23.

Kerridge, J., Jelly, I., Bates, C. (1996). Performance Evaluation of Large Parallel Database Machines : Techniques and Tools. In: Keane, J. (Ed.) Parallel Information Processing, , () ( ed.). (pp. 185-1202). : . Stanley Thorne / UNICOM.

Kerridge, J., Bates, C., Jelly, I., Forgacs, I., Szabo, E. (1996). Semantic Computability: A Mechanism for the Description of Test Data Sets for Scalable Information Systems. In: Liddell, H., Colbrook, A., Hertzberger, B., Sloots, P. (Eds.) High Performance Computing and Networks Europe 1996, 1067, () ( ed.). (pp. 677-682). : . Springer-Verlag.

Kukla, R., Kerridge, J. (1996). Intelligent Storage Devices for Scalable Information Management Systems. In: Liddell, H., Colebrook, A., Hertzberger, B., Sloot, P. (Eds.) High-Performance Computing and Networking, 1067, () ( ed.). (pp. 683-688). Berlin Heidelberg: . Springer-Verlag.

Buchanan, W. (1995). C for Electronic Engineering with Applied Software Engineering ( ed.). : . Prentice-Hall, Inc. Upper Saddle River, NJ, USA.

Kerridge, J. (1995). IDIOMS: A Multi-transputer Database Machine. In: Abdelguerfi, M., Lavington, S. (Eds.) Emerging Trends in Database and Knowledge-base Machines, , () ( ed.). (pp. 9-23). : . IEEE Computer Society Press.

Kerridge, J., Lu, K., Jones, J., Bell, M. (1995). Modelling Driver and Vehicle Behaviour in a Highly Parallel Microscopic Traffic Model. In: (Ed.) Transportation Research Board, 1995, , () (January ed.). (pp. ). Washington DC: . .

Kerridge, J. (1995). National Lotteries: An Exercise in Parallel Data Management Design. In: Cook, B., al, e. (Eds.) Transputer Applications and Systems '95, , () ( ed.). (pp. 441-456). : . IOS Press.

Kerridge, J., Walter, D., Guiton, R. (1995). W-SQL An Interface for Highly Scalable Parallel Database Machines. In: Goble, C., Keane, J. (Eds.) 13th British National Conference on Database - BNCOD13, 1995, 940, () (July ed.). (pp. 263-276). Manchester: . Springer-Verlag.

Liu, X., Chen, J. (1995). An Approach of Efficient Query Processing in Object-Oriented Database Management Systems: Revealing and Assembly. Database Research and Development, 3, (), .

Kerridge, J., Waithe, S. (1994). A Scalable Massively Parallel Architecture for Database Concurrency Control. In: (Ed.) 1st International Conference on Concurrent Engineering: Research and Applications, 1994, , () (June ed.). (pp. ). : . .

Kerridge, J., McCarrol, N. (1994). A Strategy for Semantic Integrity Enforcement in a Parallel Database Machine. In: Bowers, D. (Ed.) 12th British National Conference on Database: Directions in Databases - BNCOD12, 1994, 826, () (July ed.). (pp. 137-152). : . Springer-Verlag.

Kerridge, J., Jelly, I., Bates, C. (1994). Benchmarking Parallel SQL Database Machines. In: Bowers, D. (Ed.) 12th British National Conference on Database: Directions in Databases - BNCOD12, 1994, 826, () (July ed.). (pp. 105-120). : . Springer-Verlag.

Kerridge, J. (1994). Dynamic Allocation of Processes and Channels in T9000/C104 Networks using occam3. In: (Ed.) WoTUG 17, 1994, , () (April ed.). (pp. 1-18). University of West of England Bristol: . IOS Press.

Kerridge, J., Nixon, P. (1994). Dynamic Allocation of TASKs in occam3. In: Gloria, A., al, e. (Eds.) Transputer Applications and Systems '94, , () (September ed.). (pp. 375-389). : . IOS Press.

Kerridge, J., Jelly, I., Bates, C. (1994). Evaluation of High Performance Parallel Database Machines. In: (Ed.) High Performance Computing and Networks, Europe 94, April , LNCS 796, () (April , LNCS 796 ed.). (pp. 424-429). Munich: . Springer-Verlag.

Kerridge, J. (1994). Generic Abstract Data Types in occam3(e). In: Vettoretto, M., Naghdy, F., Gray, J. (Eds.) Parallel Computing and Transputer '94, , () (November ed.). (pp. 58-67). NSW, Australia: . IOS Press.

Kerridge, J., Chutimaskul, W. (1994). Generic Matrices in occam3(e),. In: Arabnia, H. (Ed.) Transputer Research and Application '94, NATUG 7, October, () (NATUG 7, October ed.). (pp. 255-267). Georgia, USA: . IOS Press.

Kerridge, J. (1994). Large Scale Data Management and Massively Parallel Architectures in Automatic Fingerprint Recognition. In: (Ed.) High Performance Computing and Networks, Europe 94, 796, () (April ed.). (pp. 435-440). Munich: . Springer-Verlag.

Kerridge, J., Lu, K., Jones, J. (1994). Modelling Congested Road Traffic Networks Using a Highly Parallel System. In: Gloria, A., al, e. (Eds.) Transputer Applications and Systems '94, , () (September ed.). (pp. 634-647). : . IOS Press.

Kerridge, J., Lu, K., Jones, J. (1994). Modelling Saturated Traffic Networks Using Massively Parallel Computing Techniques. Traffic Engineering and Control, , (), .

Kerridge, J., Chutimaskul, W. (1994). Record Types with Ad-hoc Polymorphism in occam3(e). In: Noguchi, S., al, e. (Eds.) 6th International Conference Transputer and Occam, 1993, , () (June ed.). (pp. 117-130). : . IOS Press.

Kerridge, J., McCarrol, N. (1994). Scheduling Extended Transactions on Parallel Database Systems Using occam. In: Gloria, A., al, e. (Eds.) Transputer Applications and Systems '94, , () (September ed.). (pp. 431-445). : . IOS Press.

Kerridge, J. (1994). The IDIOMS Parallel Database Machine: Design, Performance and Future Directions. In: Noguchi, S., al, e. (Eds.) 6th International Conference Transputer and Occam, 1993, , () (June ed.). (pp. 33-52). : . IOS Press.

Kerridge, J. (1994). Using occam3 to build large parallel systems: Part2, a scalable file system. In: (Ed.) Transputer Communications, Vol2, No1, March, () (Vol2, No1, March ed.). (pp. 1-24). : . John Wiley.

Liu, X. (1994). , Evidence Generation and Combination in Relational Databases. Database Research and Development, 2, (), .

Liu, X., Chen, J. (1994). A Flexible Framework for Co-operative Distributed Software Development. Academic Journal of North China Electric Power University, 7, (), .

Kerridge, J., Waithe, S. (1993). An Appreciation of the Subtleties of Shared Channels in occam3. in Transputer and occam Reseach: New Directions. In: Kerridge, J. (Ed.) T, , () ( ed.). (pp. 232-245). : . IOS Press.

Kerridge, J. (1993). Large Scale Data Management and Massive Parallel Architecture in Criminal Justice Information Services. In: (Ed.) Research in Criminal Justice Information Services Technology Symposium, , () (September ed.). (pp. C211-C218). Gaithersburg: . NIST.

Kerridge, J., Chutimaskul, W. (1993). Record Types with Ad-hoc Polymorphism in occam3(e). in Transputer Applications and Systems '93. In: Grebe, R., al, e. (Eds.) Record Types with Ad-hoc Polymorphism in occam3(e). in Transputer Applications and Systems '93, , () ( ed.). (pp. 1181-1195). : . IOS Press.

Kerridge, J. (1993). The Implementation of Large Parallel Database Machines on T9000 and C104 Networks. In: May, M., Thompson, P., Welch, P. (Eds.) Networks, Routers and Transputers, , () ( ed.). (pp. 133-149). : . IOS Press.

Kerridge, J. (1993). Towards a Benchmark for Scalable Parallel Database Machines. In: (Ed.) Workshop on Performance Evaluation of Parallel Systems, PEPS'93, , () (November ed.). (pp. 166-173). University of Warwick: . .

Kerridge, J. (1993). Using occam3 to build large parallel systems: Part1, occam3 features. Transputer Communications, 1, (1), 47-63.

Liu, X., Chen, J. (1993). Applying Artificial Intelligence Technology in Decision Support Systems. System Engineering, 4, (), .

Liu, X., Chen, J. (1993). Decision Support Models of the Office Automation System for Hebei Province Government. , System Engineering, 4, (), .

Kerridge, J. (1992). A Transputer Based System to Control Congested Traffic Flow. In: Valero, M., Jane, M., Onate, E. (Eds.) International Conference on Parallel Computing and Transputer Applications - PACTA '92, , () ( ed.). (pp. 1176-1185). : . IOS Press.

Kerridge, J. (1992). Control of a Large Massively Parallel Database Machine, Using SQL Catalogue Extensions and a DSDL in Preference to an Operating System, Advanced Database Systems. In: Gray, P., Lucas, R. (Eds.) 10th British National Conference on Databases - BNCOD10, 1992, , () ( ed.). (pp. 138-155). : . Springer-Verlag.

Kerridge, J., Krug, J. (1992). Managing the Design and Implementation of Large Parallel Systems.Transputer Applications - progress and prospects. In: Jane, M., Fawcett, R., Mawby, T. (Eds.) T, , () ( ed.). (pp. 42-53). : . IOS Press.

Kerridge, J. (1992). The Performance of the IDIOMS Parallel Database Machine. In: Valero, M., Jane, M., Onate, E. (Eds.) International Conference on Parallel Computing and Transputer Applications - PACTA '92, , () ( ed.). (pp. 1166-1175). : . IOS Press.

Kerridge, J. (1992). Transputer Topologies for Data Management. In: Valduriez, P. (Ed.) Parallel Processing and Data Management, , () ( ed.). (pp. 107-120). : . Chapman and Hall.

Liu, X., Chen, Y. (1992). CAFG System: A CASE Tool Based on Cognitive Theory. Computer World, , (8), .

Kerridge, J., Walter, D. (1991). A Scalable Communications Network for a Parallel Database Machine. in occam and the transputer - current developments. In: Edwards, J. (Ed.) T, , () ( ed.). (pp. 201-216). : . IOS Press.

Kerridge, J., Miller, G. (1991). A Transputer Based Parallel Sort Engine. in Transputer Applications '91. In: Duranni, T., al, e. (Eds.) T, , () ( ed.). (pp. 6). : . IOS Press.

Kerridge, J., Oates, R. (1991). Adding Fault Tolerance to a Transputer-based Parallel Database Machine. in Transputing '91. In: Welch, P., al, e. (Eds.) T, , () ( ed.). (pp. 449-461). : . IOS Press.

Kerridge, J., Oates, R. (1991). Aspects of Database Machine Design Using the T9000, C104, and occam 91. in occam and the transputer - current developments. In: Edwards, J. (Ed.) T, , () ( ed.). (pp. 13-27). : . IOS Press.

Kerridge, J., Oates, R. (1991). Improving the Fault Tolerance of the Recovery Ring. in Transputer Applications '91. In: Duranni, T., al, e. (Eds.) T, , () ( ed.). (pp. 6). : . IOS Press.

Kerridge, J. (1991). The Design of the IDIOMS Parallel Database Machine, in Aspects of Databases. In: Jackson, M., Robinson, A. (Eds.) T, , () ( ed.). (pp. 128-149). : . Butterworth Heinemann.

Kerridge, J., Jones, G. (1990). A Disk Handling Library for 3L Compilers. in Transputer Applications 90. In: Pritchard, D., Scott, C. (Eds.) T, , () ( ed.). (pp. 355-360). : . IOS Press.

Kerridge, J. (1990). Parallel Processing and the Transputer. In: Nicholson, R., Linkens, D. (Eds.) Trends in Information Technology, , () ( ed.). (pp. 53-68). : . Peter Peregrinus.

Kerridge, J., Oates, R., Wright, S. (1989). Design Abstract Data Types and occam. in applying transputer based Parallel Machines. In: Bakkers, A. (Ed.) 10th Occam user group meeting. Applying Transputer Bases Parallel Machines, 1989, , () ( ed.). (pp. 29-46). : . IOS Press.

Kerridge, J., Gorton, I., Jervis, B. (1989). Simulating Multiprocessor systems using occam on a network of transputers. IEE Proceedings - E Computers and Digital Techniques, , (), 22-28.

Kerridge, J. (1988). Developments using occam ( ed.). : . IOS Press.

Kerridge, J., Emms, J. (1987). A Definition of an Access Control Systems Language. Computer Standards and Interfaces, , (6), 25.

Kerridge, J. (1987). DRAT - A Dynamically Reconfigurable Array of Transputers for database applications. In: (Ed.) 7th occam user group meeting, 1987, , () ( ed.). (pp. 10). : . IOS Press.

Kerridge, J. (1987). occam programming - a practical approach ( ed.). : . Blackwell Scientific Publications.

Kerridge, J., Simpson, D. (1986). Communicating Parallel Processes. Software Practice and Experience, 16, (1), 63-86.

Kerridge, J. (1985). An Access Control System For Database Systems. In: (Ed.) 4th British National Conference on Databases, , () ( ed.). (pp. 25-38). : . Cambridge University Press.

Kerridge, J. (1985). Experience with Teaching occam. Computer Bulletin, , (), .

Kerridge, J. (1984). An Architecture and Language Syntax for Distributed Databases for the Network Model. In: (Ed.) 3rd British National Conference on Databases, , () ( ed.). (pp. 207-224). : . Cambridge University Press.

Kerridge, J. (1984). An Architecture and Syntax for Distributed Databases. Computers and Standards, 3, (1), 33-56.

Kerridge, J., Simpson, D. (1984). Three Solutions to Controlling a Robot Arm, using Pascal plus, Edison and occam. Software Practice and Experience, 14, (1), 3-16.