Non-functional properties in service oriented architecture : requirements, models, and methods

424 Pages·2011·28.657 MB·English

by  Nikola Milanovic

Non-Functional Properties
in Service Oriented
Architecture:
Requirements, Models and
Methods
Nikola Milanovic
Model Labs - Berlin, Germany

INFORMATION SCIENCE REFERENCE
Hershey • New York
Senior Editorial Director: Kristin Klinger
Director of Book Publications: Julia Mosemann
Editorial Director: Lindsay Johnston
Acquisitions Editor: Erika Carter
Development Editor: Joel Gamon
Production Coordinator: Jamie Snavely
Typesetters: Keith Glazewski & Natalie Pronio
Cover Design: Nick Newcomer
Published in the United States of America by
Information Science Reference (an imprint of IGI Global)
701 E. Chocolate Avenue
Hershey PA 17033
Tel: [phone]
Fax: [phone]
E-mail: [email protected]
Web site: http://www.igi-global.com
Copyright © 2011 by IGI Global. All rights reserved. No part of this publication may be reproduced, stored or distributed in
any form or by any means, electronic or mechanical, including photocopying, without written permission from the publisher.
Product or company names used in this set are for identification purposes only. Inclusion of the names of the products or com-
panies does not indicate a claim of ownership by IGI Global of the trademark or registered trademark.
Library of Congress Cataloging-in-Publication Data
Non-functional properties in service oriented architecture : requirements,

models, and methods / Nikola Milanovic, editor.
p. cm.
Includes bibliographical references and index.
Summary: "This book offers a selection of chapters that cover three
important aspects related to the use of non-functional properties in SOA:
requirements specification with respect to non-functional properties, modeling
non-functional properties and implementation of non-functional properties"--
Provided by publisher.
ISBN 978-1-60566-794-2 (hardcover) -- ISBN 978-1-60566-795-9 (ebook) 1.
Service-oriented architecture (Computer science) 2. Non-functional
requirements (Systems engineering) I. Milanovic, Nikola.
TK5105.5828.N66 2011
004.6'54--dc22
2010033600
British Cataloguing in Publication Data
A Cataloguing in Publication record for this book is available from the British Library.
All work contributed to this book is new, previously-unpublished material. The views expressed in this book are those of the
authors, but not necessarily of the publisher.
Editorial Advisory Board
Daniel Amyot, University of Ottawa, Canada
Samik Basu, Iowa State University, USA
Marko Bošković, University of Oldenburg, Germany
Lawrence Chung, University of Texas, USA
Jörg Dörr, Fraunhofer Institute for Experimental Software Engineering, Germany
Kazi Farooqui, AT&T Labs, USA
Dragan Gašević, Athabasca University, Canada
Aniruddha S. Gokhale, Vanderbilt University, USA
Jeff Gray, University of Alabama at Birmingham, USA
Fuyuki Ishikawa, National Institute of Informatics, Japan
Jan Jürjens, The Open University, UK

Dimitris Karagiannis, University of Vienna, Austria
Nikola Milanovic, Berlin University of Technology, Germany
Katsuya Oba, OGIS International, Inc., USA
Michael Papazoglou, Tilburg University, The Netherlands
Claudia Raibulet, University of Milan, Italy
Michiaki Tatsubori, IBM Research - Tokyo Research Laboratory, Japan
Marcel Tilly, European Microsoft Innovation Center, Germany
Changzhou Wang, Boeing Phantom Works, USA
Eric Yu, University of Toronto, Canada
List of Reviewers
Roberto E. Lopez-Herrejon, University of Oxford, UK
Vander Alves, Fraunhofer Institute for Experimental Software Engineering, Germany
Christa Schwanninger, Siemens AG, Germany
Rob van Ommering, Philips Research, The Netherlands
Katerina Goseva-Popstojanova, West Virginia University, USA
Mei-Hwa Chen, State University of New York at Albany, USA
Bratislav Milic, Humboldt University, Germany
Vladimir Stantchev, Berlin University of Technology, Germany
Table of Contents
Foreword ............................................................................................................................................xiv
Preface ................................................................................................................................................xvi
Section 1
Requirement Specification in SOA
Chapter 1
Tracing the Implementation of Non-Functional Requirements .............................................................1
Stephan Bode, Ilmenau University of Technology, Germany
Matthias Riebisch, Ilmenau University of Technology, Germany

Chapter 2
Developing Non-Functional Requirements for a Service-Oriented Application Platform:
A Goal and Scenario-Oriented Approach .............................................................................................24
Daniel Gross, University of Toronto, Canada
Eric Yu, University of Toronto, Canada
Xiping Song, Siemens Corporate Research, USA
Chapter 3
Modeling and Analyzing Non-Functional Requirements in Service Oriented Architecture
with the User Requirements Notation ...................................................................................................48
Hanane Becha, University of Ottawa, Canada
Gunter Mussbacher, University of Ottawa, Canada
Daniel Amyot, University of Ottawa, Canada
Chapter 4
A Security Requirements Engineering Tool for Domain Engineering in Software Product Lines .......73
Jesús Rodríguez, University of Castilla – La Mancha, Spain
Eduardo Fernández-Medina, University of Castilla – La Mancha, Spain
Mario Piattini, University of Castilla – La Mancha, Spain
Daniel Mellado, National Competition Commission, Spain
Section 2
Modeling Non-Functional Properties in SOA
Chapter 5
A Look on Engineering Non-Functional Properties in Service Oriented Architectures .......................94
Nicolò Perino, University of Lugano, Switzerland
Marco Massarelli, Universitá degli Studi di Milano-Bicocca, Italy
Daniele Cammareri, Universitá degli Studi di Milano-Bicocca, Italy
Claudia Raibulet, Universitá degli Studi di Milano-Bicocca, Italy
Francesca Arcelli, Universitá degli Studi di Milano-Bicocca, Italy
Chapter 6
A Goal-Oriented Representation of Service-Oriented Software Design Principles ...........................120
Alireza Moayerzadeh, University of Toronto, Canada
Eric Yu, University of Toronto, Canada
Chapter 7
Model-Driven Engineering of Non-Functional Properties for Pervasive Service Creation ...............145
Achilleas Achilleos, University of Cyprus, Cyprus
Kun Yang, University of Essex, UK
Nektarios Georgalas, Centre of Information and Security Systems Research, UK

Chapter 8
Relational Service Quality Modeling ..................................................................................................172
Vladimir A. Shekhovtsov, National Technical University “Kharkiv Polytechnic Institute”, Ukraine
Roland Kaschek, Information Science Research Center, New Zealand
Christian Kop, Alpen-Adria-Universität Klagenfurt, Austria
Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria
Chapter 9
Model-Driven Development of Non-Functional Properties in Web Services:
An Aspect-Oriented Approach ............................................................................................................194
Guadalupe Ortiz, University of Extremadura, Spain
Juan Hernández, University of Extremadura, Spain
Chapter 10
A Unified Deployment and Management Model for Dynamic and Distributed Software
Architectures .......................................................................................................................................217
Mohamed Nadhmi Miladi, Université de Sfax, Tunisia
Mariam Lahami, Université de Sfax, Tunisia
Mohamed Jmaeil, Université de Sfax, Tunisia
Khalil Drira, Université de Toulouse, France
Section 3
Methods for Implementing Non-Functional Properties in SOA
Chapter 11
An Aspect-Oriented Framework to Model Non-Functional Requirements in Software
Product Lines of Service-Oriented Architectures ...............................................................................246
Germán Harvey Alférez Salinas, Universidad de Montemorelos, Mexico
Edward Mauricio Alférez Salinas, Universidade Nova de Lisboa, Portugal
Chapter 12
Model-Driven Approach for End-to-End SOA Security Configurations ............................................268
Fumiko Satoh, IBM Research – Tokyo, Japan
Yuichi Nakamura, IBM Research – Tokyo, Japan
Nirmal K. Mukhi, IBM Research – Thomas J. Watson Research Center, USA
Michiaki Tatsubori, IBM Research – Tokyo, Japan
Kouichi Ono, IBM Research – Tokyo, Japan
Chapter 13
Control Engineering for Scaling Service Oriented Architectures .......................................................299
Yixin Diao, IBM, USA
Joseph L. Hellerstein, Google, USA
Sujay Parekh, IBM, USA

Chapter 14
Addressing Non-Functional Properties of Services in IT Service Management ................................324
Vladimir Stantchev, Berlin Institute of Technology & FOM Hochschule für Ökonomie
und Management, Germany
Gerrit Tamm, Humboldt-University at Berlin, Germany
Chapter 15
Functional and QoS Semantics-Driven SOA-Based Biomedical Multimedia Processing .................335
Shih-Hsi Liu, California State University – Fresno, USA
Yu Cao, California State University – Fresno, USA
Ming Li, California State University – Fresno, USA
Thell Smith, California State University – Fresno, USA
John Harris, California State University – Fresno, USA
Jie Bao, Rensselaer Polytechnic Institute, USA
Barrett R. Bryant, University of Alabama at Birmingham, USA
Jeff Gray, University of Alabama at Birmingham, USA
Compilation of References ..............................................................................................................360
About the Contributors ...................................................................................................................387
Index ...................................................................................................................................................399
Detailed Table of Contents
Foreword ............................................................................................................................................xiv
Preface ................................................................................................................................................xvi
Section 1
Requirement Specification in SOA
Chapter 1
Tracing the Implementation of Non-Functional Requirements .............................................................1
Stephan Bode, Ilmenau University of Technology, Germany
Matthias Riebisch, Ilmenau University of Technology, Germany

Bode and Riebisch present a novel architectural design method supporting specification of non-func-
tional requirements in the design phase and, more importantly, traceability: mapping of requirements to
software solutions. In that way, not only specification, but also implementation of non-functional prop-
erties is architecturally supported. The case study is presented where a manufacturing execution system
has been reengineered to SOA and integrated with an ERP system using this methodology.
Chapter 2
Developing Non-Functional Requirements for a Service-Oriented Application Platform:
A Goal and Scenario-Oriented Approach .............................................................................................24
Daniel Gross, University of Toronto, Canada
Eric Yu, University of Toronto, Canada
Xiping Song, Siemens Corporate Research, USA
Gross, Yu, and Song argue that the true challenge of modeling non-functional properties is how to
support them in different platforms or application domains. For that purpose the authors present a
platform and a development method supporting goal and scenario oriented modeling and analysis of
non-functional properties. Special attention is given to such variations as domains specific meaning of
non-functional properties, different terminologies, load and configuration settings.
Chapter 3
Modeling and Analyzing Non-Functional Requirements in Service Oriented Architecture
with the User Requirements Notation ...................................................................................................48
Hanane Becha, University of Ottawa, Canada
Gunter Mussbacher, University of Ottawa, Canada
Daniel Amyot, University of Ottawa, Canada
Becha, Mussbacher, and Amyot present an aspect-oriented approach for analyzing non-functional re-
quirements in SOA applications. They describe how to apply User Requirements Notation (URN) to-
gether with aspect-oriented extensions for that purpose. The proposed notation enables quantitative
specification of non-functional properties and thus provides the foundation for service discovery, selec-
tion, and composition. In the accompanying case study, cost, response time, reliability, and availability
are the non-functional properties which are explicitly illustrated.
Chapter 4
A Security Requirements Engineering Tool for Domain Engineering in Software Product Lines .......73
Jesús Rodríguez, University of Castilla – La Mancha, Spain
Eduardo Fernández-Medina, University of Castilla – La Mancha, Spain
Mario Piattini, University of Castilla – La Mancha, Spain
Daniel Mellado, National Competition Commission, Spain
Rodríguez et al. present a novel tool for capturing security requirements in software product lines. It

facilitates management of complex security requirements by providing the possibility to specify those
requirements in the early development stage, manage and visualize them, as well as enable variability
and traceability in the implementation phase. Furthermore, the tool can integrate existing security stan-
dards.
Section 2
Modeling Non-Functional Properties in SOA
Chapter 5
A Look on Engineering Non-Functional Properties in Service Oriented Architectures .......................94
Nicolò Perino, University of Lugano, Switzerland
Marco Massarelli, Universitá degli Studi di Milano-Bicocca, Italy
Daniele Cammareri, Universitá degli Studi di Milano-Bicocca, Italy
Claudia Raibulet, Universitá degli Studi di Milano-Bicocca, Italy
Francesca Arcelli, Universitá degli Studi di Milano-Bicocca, Italy
Perino et al. provide an overview of non-functional properties in SOA. The authors propose the basic
set of non-functional properties (policy, security, transaction, and management), each with the corre-
sponding set of attributes. The main challenges are then discussed, such as modeling, dependencies and
conflicts, management through Service Level Agreements, and service compositions. Finally, future
trends and promising approaches for modeling non-functional properties in SOA are presented.
Chapter 6
A Goal-Oriented Representation of Service-Oriented Software Design Principles ...........................120
Alireza Moayerzadeh, University of Toronto, Canada
Eric Yu, University of Toronto, Canada
Moayerzadeh and Yu argue that although widely used, basic SOA principles such as abstraction, dis-
coverability, reusability, and composability are rarely collected and systematically organized. They
propose a goal-graph representation of SOA principles which can be used in system design. Non-func-
tional properties are automatically extracted from the text-based description (knowledge base) and then
formalized. Goal-graphs thus obtained can be then used in different phases of system design.
Chapter 7
Model-Driven Engineering of Non-Functional Properties for Pervasive Service Creation ...............145
Achilleas Achilleos, University of Cyprus, Cyprus
Kun Yang, University of Essex, UK
Nektarios Georgalas, Centre of Information and Security Systems Research, UK
Achilleos, Yang and Georgalas describe a model-based framework for engineering non-functional
properties in the context of pervasive service creation. High dynamicity of pervasive services requires
new approaches for their specification, development, and management. The authors propose a context
modeling language which can be used to generate platform independent context models describing
non-functional properties. These models are then transformed into platform specific source code. The

approach is illustrated with a case study showing all steps of this process, from the context model defi-
nition to code generation.
Chapter 8
Relational Service Quality Modeling ..................................................................................................172
Vladimir A. Shekhovtsov, National Technical University “Kharkiv Polytechnic Institute”, Ukraine
Roland Kaschek, Information Science Research Center, New Zealand
Christian Kop, Alpen-Adria-Universität Klagenfurt, Austria
Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria
Shekhovtsov et al. present an approach of using non-first-normal-form tables for modeling quality
of service in SOA. They argue that it is very suitable for communicating application design issues to
stakeholders with the business background. They show how to use such tables as an intermediate step
between requirements specification and system design to define functional and quality requirements of
services and business processes (service orchestrations).
Chapter 9
Model-Driven Development of Non-Functional Properties in Web Services:
An Aspect-Oriented Approach ............................................................................................................194
Guadalupe Ortiz, University of Extremadura, Spain
Juan Hernández, University of Extremadura, Spain