A use-case driven approach to formal service-oriented modelling

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings
Pages155-169
Number of pages15
DOIs
Publication statusPublished - 1 Dec 2008
Event3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008 - Porto Sani, Greece
Duration: 13 Oct 200815 Oct 2008

Publication series

NameCommunications in Computer and Information Science
Volume17 CCIS
ISSN (Print)1865-0929

Conference

Conference3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008
CountryGreece
CityPorto Sani
Period13/10/0815/10/08

Cite this

Bocchi, L., Fiadeiro, J. L., & Lopes, A. (2008). A use-case driven approach to formal service-oriented modelling. In Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings (pp. 155-169). (Communications in Computer and Information Science; Vol. 17 CCIS). https://doi.org/10.1007/978-3-540-88479-8-12