We put forward a use-case based approach for SRML – a formal framework that is being defined by the SENSORIA consortium for serviceoriented modelling. We expand on the way SRML contributes to the engineering of software systems and we propose a number of extensions to the UML for supporting that approach. We use a mortgage brokerage scenario for illustrating our approach.
