A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation)