Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Non-functional Properties in the Model-Driven Development of Service-Oriented Systems
@ARTICLE{GGKMTV10,
title = {{Non-functional Properties in the Model-Driven Development of Service-Oriented Systems}},
author = {{Stephen} {Gilmore} and {L\'aszl\'o} {G\"onczy} and {Nora} {Koch} and {Philip} {Mayer} and {Mirco} {Tribastone} and {D\'aniel} {Varr\'o}},
journal = {Journal of Software and Sytems Modeling},
editor = {B. Schätz and C. Pahl and D. Gasevic and M. Boskovi},
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 nonfunctional 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 (UML4SOANFP) and the MARTE profiles. 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.},
publisher = {Springer Verlag},
year = {2010},
keywords = {non-functional properties},
main = {Y},
partner = {BUTE, CIR, LIF, UEDIN},
task = {T7.1},
}
|
