An Environment for Interactive Service Specification

Karim BERKANI1, Rémy CAVE12, Sophie COUDERT2, Francis KLAY1, Pascale Le GALL 2 , Farid OUABDESSELAM3, and Jean-Luc RICHIER3

1France Télécom R&D
2 avenue Pierre Marzin
22307 Lannion Cedex, France
Francis.Klay@francetelecom.com
2LaMI, Université d’Evry
Cours Monseigneur Romero
91025 Evry Cedex, France
3LSR-IMAG
BP 72
38402 Saint Martin d’Hères
Cedex, France

Abstract. In many practical cases, deciding whether an interaction is desired or harmful is a subjective choice depending on the current state of the specification, and which results from a trial and error process. Thus, we propose an environment for service creation, at the logical level, which takes advantage of both the specifier’s expertise and formal methods.

Service integration is performed by the expert following a methodology which preserves the specification formal semantics. A specification is a couple composed of a behavioral description and a set of properties. During the integration phase, the latter are ordered into three categories: the properties which are desired, those which are to be rejected, and the ones which have not yet been classified. In order to help the expert to carry out his selection, the environment offers different automatic or semi automatic services: a static expert-assisted verification for the specification consistence based on heuristics, a controlled animation of the executable behavioral description based on some guides. The animation guides are generated by the tool from interaction patterns (independent from the current specification) high-level description which corresponds to to situations where a harmful interaction may knowledge.