A Use-Case Driven Approach to Formal Service-Oriented Modelling
Abstract
We put forward a use-case based approach for SRML - a formal framework that is being defined by the SENSORIA consortium for service-oriented 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.
- Publication:
-
Leveraging Applications of Formal Methods, Verification and Validation
- Pub Date:
- 2009
- DOI:
- Bibcode:
- 2009lafm.book..155B