Sophie Ramel, LU, outlines the modelling of dynamic aspects of an electronic transaction and of static aspects. Finally the author discusses the validation of a transaction. The Efficient project applies neutral approaches resulting in a lot of reuse opportunities.