Model-Driven Domain Analysis and Software Development: Architectures and Functions PDF
Preview Model-Driven Domain Analysis and Software Development: Architectures and Functions
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: 717-533-8845 Fax: 717-533-8661 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 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
Description:The list of books you might like
