Specification of abstract dynamic-data types: a temporal logic approach
Theoretical Computer Science - Special issue: algebraic development techniques
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
SOA Principles of Service Design (The Prentice Hall Service-Oriented Computing Series from Thomas Erl)
Specifying and Validating Data-Aware Temporal Web Service Properties
IEEE Transactions on Software Engineering
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |
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.