A Weil-Founded Approach to Service Modelling with Casl4Soa Part 1 (Service in isolation)

摘要

We propose in this paper the first part of Casl4Soa a notation and a technique to model a SOA (Service Oriented Architecture), I.e., here we consider only services in isolation. Our Casl4Soa approach is to provide a well-founded modelling to SOA, using the Casl-Ltl formal specification language as an underlying foundation. We explore then the various possible visual presentation of the Casl4Soa notation, so as to ensure as much as possible readability and communicability. Given the Casl-Ltl concept of a simple system as a labelled transition system we propose a new way to model the services that is not object-oriented. While modelling the static, the behavioural, and the semantic aspects of a service, we pay a specific attention to the protocols between the provider and the consumer of the service for which we propose either a logical specification of their properties, or a constructive specification expressed by interaction machines. Our ideas are illustrated by the example of a printing service offered by a printer to a user.