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

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

doi:10.1007/978-3-540-88479-8_12

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

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

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings
Editors	T Margaria, B Steffen
Publisher	Springer
Pages	155-169
Number of pages	15
ISBN (Electronic)	9783540884798
ISBN (Print)	9783540884781
DOIs	https://doi.org/10.1007/978-3-540-88479-8_12
Publication status	Published - 2008
Event	3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008 - Porto Sani, Greece Duration: 13 Oct 2008 → 15 Oct 2008

Publication series

Name	Communications in Computer and Information Science
Volume	17 CCIS
ISSN (Print)	1865-0929

Conference

Conference	3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008
Country/Territory	Greece
City	Porto Sani
Period	13/10/08 → 15/10/08

Keywords

Service Description
Service Module
Diagrammatic Notation
Shared Ontology
Statechart Diagram

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1007/978-3-540-88479-8_12

Cite this

Bocchi, L., Fiadeiro, J. L., & Lopes, A. (2008). A use-case driven approach to formal service-oriented modelling. In T. Margaria, & B. Steffen (Eds.), 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). Springer . https://doi.org/10.1007/978-3-540-88479-8_12

@inproceedings{1a60ddc1792e4cab951ab9397921d23a,

title = "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.",

keywords = "Service Description, Service Module, Diagrammatic Notation, Shared Ontology, Statechart Diagram",

author = "Laura Bocchi and Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes",

year = "2008",

doi = "10.1007/978-3-540-88479-8_12",

language = "English",

isbn = "9783540884781",

series = "Communications in Computer and Information Science",

publisher = "Springer ",

pages = "155--169",

editor = "T Margaria and B Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings",

note = "3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008 ; Conference date: 13-10-2008 Through 15-10-2008",

}

Bocchi, L, Fiadeiro, JL & Lopes, A 2008, A use-case driven approach to formal service-oriented modelling. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Communications in Computer and Information Science, vol. 17 CCIS, Springer , pp. 155-169, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008, Porto Sani, Greece, 13/10/08. https://doi.org/10.1007/978-3-540-88479-8_12

A use-case driven approach to formal service-oriented modelling. / Bocchi, Laura; Fiadeiro, José Luiz; Lopes, Antónia.
Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. ed. / T Margaria; B Steffen. Springer , 2008. p. 155-169 (Communications in Computer and Information Science; Vol. 17 CCIS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - Bocchi, Laura

AU - Fiadeiro, José Luiz

AU - Lopes, Antónia

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

KW - Service Description

KW - Service Module

KW - Diagrammatic Notation

KW - Shared Ontology

KW - Statechart Diagram

UR - http://www.scopus.com/inward/record.url?scp=78049329617&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-88479-8_12

DO - 10.1007/978-3-540-88479-8_12

M3 - Conference contribution

AN - SCOPUS:78049329617

SN - 9783540884781

T3 - Communications in Computer and Information Science

SP - 155

EP - 169

BT - Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings

A2 - Margaria, T

A2 - Steffen, B

PB - Springer

T2 - 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008

Y2 - 13 October 2008 through 15 October 2008

ER -

Bocchi L, Fiadeiro JL, Lopes A. A use-case driven approach to formal service-oriented modelling. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Springer . 2008. p. 155-169. (Communications in Computer and Information Science). doi: 10.1007/978-3-540-88479-8_12

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

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this