Abstract: A method and system for generating a set of service definitions relating to a computer application based on a set of activity events associated with a service. Based on an examination of an existing service of interest, a set of activity traces is extracted from the set of activity events and common activity events in each activity trace are identified. The common activity events are transformed into service actions and a service definition is generated including the service actions. The generated service definition may then be deployed on a suitable computing system, such as, for example, a Service Oriented Architecture (SOA) platform.

Abstract: A method and system for generating a set of service definitions relating to a computer application based on a set of interaction models relating to a set of participants in the interaction models. For each participant, a set of message traces is extracted from the set of interaction models and common message events in each message trace are identified. The common message events are transformed into service actions and a service definition is generated including the service actions. The generated service definition may then be deployed on a suitable computing system, such as, for example, a Service Oriented Architecture (SOA) platform.

Abstract: There is described a method, computer program product and system which relate to the execution of verifiable processes in a distributed computing/processing environment. More particularly the invention relates to the autonomic implementation and verification of a business logic specification in a heterogeneous distributed computing environment. The business logic specification (102) is rendered (step 112) as a plurality of validated processes (104) for execution in a distributed processing environment (110). By monitoring and analysing the information generated in that execution (step 114), it is possible to correlate a view of the executing processes (106). Comparison between the original specification and the correlated view is performed, context information is applied (step 116) and amendments made to the specification as a result. The invention achieves the full cycle of events substantially autonomically.

Abstract: There is described a method, computer program product and system which relate to the execution of verifiable processes in a distributed computing/processing environment. More particularly the invention relates to the autonomic implementation and verification of a business logic specification in a heterogeneous distributed computing environment. The business logic specification (102) is rendered (step 112) as a plurality of validated processes (104) for execution in a distributed processing environment (110). By monitoring and analysing the information generated in that execution (step 114), it is possible to correlate a view of the executing processes (106). Comparison between the original specification and the correlated view is performed (step 116) and amendments made to the specification as a result. The invention achieves the full cycle of events substantially autonomically.

Abstract: In a piston and cylinder gas compressor having a cylinder block, a valve plate and a cylinder head the sealing means between the cylinder head and the valve plate is designed to constrain the delivered air and/or coolant fluid to flow in an extended fluid flow path to enhance the heat flow from the delivered air before arrival at a delivery port.

Abstract: A piston and cylinder air compressor has a valve plate between an upper end of the cylinder and a cylinder head, the valve plate having a generally diametrically located recess at the inward surface thereof accommodating a suction valve reed, the valves being located above apertures at least to one side of said recess the arrangement being such as to minimize the operating clearance volume of the compressor.