Non-functional properties in the model-driven development of service-oriented systems

Stephen Gilmore, L. Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, D. Varró

Research output: Contribution to journalArticle

26 Citations (Scopus)

Abstract

Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.

Original languageEnglish
Pages (from-to)287-311
Number of pages25
JournalSoftware and Systems Modeling
Volume10
Issue number3
DOIs
Publication statusPublished - Jul 2011

Fingerprint

Service-oriented
Service-oriented Architecture
Service oriented architecture (SOA)
Model
Maintainability
Software
Process Algebra
Formal Analysis
Service Composition
Reliability Analysis
Threefolds
Reliability analysis
Modeling
Application programs
Algebra
Reuse
Industry
Engine
Flexibility
Engines

Keywords

  • Model-driven engineering
  • Modeling
  • Non-functional properties
  • Service-oriented software
  • SOA

ASJC Scopus subject areas

  • Software
  • Modelling and Simulation

Cite this

Non-functional properties in the model-driven development of service-oriented systems. / Gilmore, Stephen; Gönczy, L.; Koch, Nora; Mayer, Philip; Tribastone, Mirco; Varró, D.

In: Software and Systems Modeling, Vol. 10, No. 3, 07.2011, p. 287-311.

Research output: Contribution to journalArticle

Gilmore, Stephen ; Gönczy, L. ; Koch, Nora ; Mayer, Philip ; Tribastone, Mirco ; Varró, D. / Non-functional properties in the model-driven development of service-oriented systems. In: Software and Systems Modeling. 2011 ; Vol. 10, No. 3. pp. 287-311.
@article{9ade5219bdb14828863ee5b6257075ff,
title = "Non-functional properties in the model-driven development of service-oriented systems",
abstract = "Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.",
keywords = "Model-driven engineering, Modeling, Non-functional properties, Service-oriented software, SOA",
author = "Stephen Gilmore and L. G{\"o}nczy and Nora Koch and Philip Mayer and Mirco Tribastone and D. Varr{\'o}",
year = "2011",
month = "7",
doi = "10.1007/s10270-010-0155-y",
language = "English",
volume = "10",
pages = "287--311",
journal = "Software and Systems Modeling",
issn = "1619-1366",
publisher = "Springer Verlag",
number = "3",

}

TY - JOUR

T1 - Non-functional properties in the model-driven development of service-oriented systems

AU - Gilmore, Stephen

AU - Gönczy, L.

AU - Koch, Nora

AU - Mayer, Philip

AU - Tribastone, Mirco

AU - Varró, D.

PY - 2011/7

Y1 - 2011/7

N2 - Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.

AB - Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.

KW - Model-driven engineering

KW - Modeling

KW - Non-functional properties

KW - Service-oriented software

KW - SOA

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

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

U2 - 10.1007/s10270-010-0155-y

DO - 10.1007/s10270-010-0155-y

M3 - Article

VL - 10

SP - 287

EP - 311

JO - Software and Systems Modeling

JF - Software and Systems Modeling

SN - 1619-1366

IS - 3

ER -