Text this: Una perspectiva formal para modelar transacciones de comercio electrónico