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
EditorsT Margaria, B Steffen
PublisherSpringer
Pages155-169
Number of pages15
ISBN (Electronic)9783540884798
ISBN (Print)9783540884781
DOIs
Publication statusPublished - 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

Keywords

  • Service Description
  • Service Module
  • Diagrammatic Notation
  • Shared Ontology
  • Statechart Diagram

Cite this