Model-Driven Domain Analysis and Software Development: Architectures and Functions

518 Pages·2010·9.12 MB·English

by  Janis Osis

Model-Driven Domain
Analysis and Software
Development:
Architectures and Functions
Janis Osis
Riga Technical University, Latvia
Erika Asnina
Riga Technical University, Latvia
INFORMATION SCIENCE REFERENCE
Hershey • New York
Director of Editorial Content: Kristin Klinger
Director of Book Publications: Julia Mosemann
Acquisitions Editor: Lindsay Johnston
Development Editor: Joel Gamon
Typesetter: Keith Glazewski
Production Editor: Jamie Snavely
Cover Design: Lisa Tosheff
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: [e-mail]
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
Model-driven domain analysis and software development : architectures and
functions / Janis Osis and Erika Asnina, editors.
p. cm.
Includes bibliographical references and index.
Summary: "This book displays how to effectively map and respond to the real-
world challenges and purposes which software must solve, covering domains such
as mechatronic, embedded and high risk systems, where failure could cost human
lives"--Provided by publisher.
ISBN 978-1-61692-874-2 (hardcover) -- ISBN 978-1-61692-876-6 (ebook) 1.
Automatic control. 2. Computer simulation. 3. Computer software--
Development. I. Osis, Janis, 1929- II. Asnina, Erika, 1978-
TJ213.M5373 2010
005.1--dc22
2010043567
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
Eduardo Fernández-Medina Patón, University of Castilla-La Mancha, Spain
Jeff Gray, University of Alabama, USA
Stan Hendryx, Hendryx & Associates, USA
Marite Kirikova, Riga Technical University, Latvia
Ricardo J. Machado, Universidade do Minho, Portugal
Jose-Norberto Mazón, University of Alicante, Spain
Gerardus Maria (Sjir) Nijssen, PNA Group, The Netherlands
Dilip Patel, London South Bank University, UK
Uldis Sukovskis, Riga Technical Univeristy, Latvia
Juan Trujillo, University of Alicante, Spain
Yiyu Yao, University of Regina, Canada
List of Reviewers
Mohammad Al Saad, Freie Universität Berlin, Germany
Gundars Alksnis, Riga Technical University, Latvia
Sofia Azevedo, Universidade do Minho, Portugal
Liliana Dobrica, University Politehnica of Bucharest, Romania
Uldis Donins, Lattelecom Technology Ltd, Latvia
Eduardo Fernández-Medina Patón, University of Castilla-La Mancha, Spain
Marcela Genero Bocco, University of Castilla-La Mancha, Spain
Anirüddhā Gokhālé, Vanderbilt University, USA
Jeff Gray, University of Alabama, USA
Stan Hendryx, Hendryx & Associates, USA
Zbigniew Huzar, Wrocław University of Technology, Poland
Audris Kalnins, University of Latvia, Latvia
Marite Kirikova, Riga Technical University, Latvia
Ricardo J. Machado, University of Minho, Portugal
Jose Norberto Mazón, University of Alicante, Spain
Eila Ovaska, VTT Technical Research Centre of Finland, Finland
Bazil Parv, Bolyai University, Romania
Dilip Patel, London South Bank University, UK
Natalya Pavlova, Riga Technical University, Latvia
Douglas C. Schmidt, Vanderbilt University, USA
Janis Silins, Mailmaster Ltd., Latvia
Uldis Sukovskis, Riga Technical University, Latvia
Juan Trujillo, University of Alicante, Spain
Jules White, Virginia Tech, USA
Jelena Zdravkovic, Stockholm University/KTH, Sweden
Table of Contents
Foreword ...........................................................................................................................................xvii
Preface ................................................................................................................................................xix
Acknowledgment .............................................................................................................................xxvii
Section 1
Theory-Driven Holistic Domain Modeling and Analysis in the Context of MDA
Chapter 1
Is Modeling a Treatment for the Weakness of Software Engineering? ...................................................1
Janis Osis, Riga Technical University, Latvia
Erika Asnina, Riga Technical University, Latvia
Chapter 2
Topological Modeling for Model-Driven Domain Analysis and Software Development:
Functions and Architectures ..................................................................................................................15
Janis Osis, Riga Technical University, Latvia
Erika Asnina, Riga Technical University, Latvia
Chapter 3
Topological Functioning Model as a CIM-Business Model .................................................................40
Erika Asnina, Riga Technical University, Latvia
Janis Osis, Riga Technical University, Latvia
Chapter 4
Derivation of Use Cases from the Topological Computation Independent Business Model ................65
Janis Osis, Riga Technical University, Latvia
Erika Asnina, Riga Technical University, Latvia
Chapter 5
A Multidimensional Approach for Concurrent Model-Driven Automation Engineering .....................90
Sebastian Rose, Technische Universität Darmstadt, Germany
Marius Lauder, Technische Universität Darmstadt, Germany
Michael Schlereth, Siemens AG, Germany
Andy Schürr, Technische Universität Darmstadt, Germany
Section 2
Model-Driven Engineering and Model-Driven Architecture
Chapter 6
Model-Driven Configuration of Distributed Real-Time and Embedded Systems ..............................115
Brian Dougherty, Vanderbilt University, USA
Jules White, Virginia Tech, USA
Douglas C. Schmidt, Vanderbilt University, USA
Chapter 7
Model-Driven Automated Error Recovery in Cloud Computing .......................................................136
Yu Sun, University of Alabama at Birmingham, USA
Jules White, Virginia Tech, USA
Jeff Gray, University of Alabama, USA
Aniruddha Gokhale, Vanderbilt University, USA
Chapter 8
Productivity Analysis of the Distributed QoS Modeling Language ...................................................156
Joe Hoffert, Vanderbilt University, USA
Douglas C. Schmidt, Vanderbilt University, USA
Aniruddha Gokhale, Vanderbilt University, USA
Chapter 9
Domain-Driven Reuse of Software Design Models ...........................................................................177
Audris Kalnins, IMCS University of Latvia, Latvia
Michał Śmiałek, Warsaw University of Technology, Poland
Elina Kalnina, IMCS University of Latvia, Latvia
Edgars Celms, IMCS University of Latvia, Latvia
Wiktor Nowakowski, Warsaw University of Technology, Poland
Tomasz Straszak, Warsaw University of Technology, Poland
Chapter 10
Quality-Driven Database System Development .................................................................................201
Iwona Dubielewicz, Wrocław University of Technology, Poland
Bogumila Hnatkowska, Wrocław University of Technology, Poland
Zbigniew Huzar, Wrocław University of Technology, Poland
Lech Tuzinkiewicz, Wrocław University of Technology, Poland
Chapter 11
Exploring Business Value Models for E-Service Design....................................................................232
Jelena Zdravkovic, Stockholm University & Royal Institute of Technology, Sweden
Tharaka Ilayperuma, Stockholm University & Royal Institute of Technology, Sweden
Chapter 12
An MDA Approach for Developing Executable UML Components ..................................................254
Simona Motogna, Babeş- Bolyai University, Romania
Bazil Pârv, Babeş- Bolyai University, Romania
Ioan Lazăr, Babeş- Bolyai University, Romania
Section 3
Modeling of Product Lines and Patterns
Chapter 13
Model-Driven Impact Analysis of Software Product Lines ................................................................275
Hyun Cho, University of Alabama, USA
Jeff Gray, University of Alabama, USA
Yuanfang Cai, Drexel University, USA
Sonny Wong, Drexel University, USA
Tao Xie, North Carolina State University, USA
Chapter 14
Systematic Use of Software Development Patterns through a Multilevel and Multistage
Classification .......................................................................................................................................304
Sofia Azevedo, Universidade do Minho, Portugal
Ricardo J. Machado, Universidade do Minho, Portugal
Alexandre Bragança, Instituto Superior de Engenharia do Porto, Portugal
Hugo Ribeiro, Primavera Business Software Solutions, Portugal
Chapter 15
Reducing Enterprise Product Line Architecture Deployment and Testing Costs via
Model Driven Deployment, Configuration, and Testing .....................................................................334
Jules White, Virginia Tech, USA
Brian Dougherty, Vanderbilt University, USA
Chapter 16
Applying UML Extensions in Modeling Software Product Line Architecture of a Distribution
Services Platform ...............................................................................................................................351
Liliana Dobrica, University Politehnica of Bucharest, Romania
Eila Ovaska, VTT Technical Research Centre of Finland, Finland
Chapter 17
Model-Driven Requirements Specification for Software Product Lines ............................................369
Mauricio Alférez, Universidade Nova de Lisboa, Portugal
Ana Moreira, Universidade Nova de Lisboa, Portugal
Vasco Amaral, Universidade Nova de Lisboa, Portugal
João Araújo, Universidade Nova de Lisboa, Portugal
Section 4
Surveys
Chapter 18
Domain Modeling Approaches in IS Engineering ..............................................................................388
Marite Kirikova, Riga Technical University, Latvia
Chapter 19
Model-Driven Performance Evaluation of Web Application Portals ..................................................407
Nilabja Roy, Vanderbilt University, USA
Douglas C. Schmidt, Vanderbilt University, USA
Compilation of References ..............................................................................................................438
About the Contributors ...................................................................................................................473
Index ...................................................................................................................................................483
Detailed Table of Contents
Foreword ...........................................................................................................................................xvii
Preface ................................................................................................................................................xix
Acknowledgment .............................................................................................................................xxvii
Section 1
Theory-Driven Holistic Domain Modeling and Analysis in the Context of MDA
Section 1 contains several discussions on application of formal theories and mechanisms for domain
modeling and analysis within Model Driven Architecture. The necessity of formal theories appeared
from the longstanding crisis in software engineering. Just unification of standards and use of models
without proper domain analysis will be not enough to get out of the crisis, while the very beginning of
software development lacks application of formal (mathematical and system) theories. Application of
Model Driven Architecture will be ministerial to wide understanding of this fact.
Chapter 1
Is Modeling a Treatment for the Weakness of Software Engineering? ...................................................1
Janis Osis, Riga Technical University, Latvia
Erika Asnina, Riga Technical University, Latvia
Chapter 1, Is Modeling a Treatment for the Weakness of Software Engineering? Crisis in software engi-
neering still is in progress. Software development was and is rather art than engineering discipline. Osis
and Asnina consider causes of weakness of software development and possible ways of improvement
suggested by software community. They believe that Model Driven Architecture, which put main focus
on models and modeling, can become a skeleton of software engineering, but it is not enough. In order
to become software engineering in its actual sense, software development requires, first, solid theory
(mathematics), and, second, standardization and critical assessment of development techniques.
Chapter 2
Topological Modeling for Model-Driven Domain Analysis and Software Development:
Functions and Architectures ..................................................................................................................15
Janis Osis, Riga Technical University, Latvia
Erika Asnina, Riga Technical University, Latvia