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) provided by the expert. A pattern is a high-level description which corresponds to execution sequences potentially leading to situations where a harmful interaction may appear; a pattern synthesizes the expert knowledge. |
Year | Venue | Field |
---|---|---|
2003 | FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VII | Software engineering,Computer science |
DocType | Citations | PageRank |
Conference | 1 | 0.37 |
References | Authors | |
1 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karim Berkani | 1 | 20 | 3.35 |
Rémy Cave | 2 | 1 | 0.37 |
Sophie Coudert | 3 | 19 | 3.14 |
Francis Klay | 4 | 165 | 9.33 |
Pascale Le Gall | 5 | 287 | 32.95 |
Farid Ouabdesselam | 6 | 23 | 3.75 |
Jean-Luc Richier | 7 | 359 | 45.60 |